Spring 2021 catalog is now live!

To determine if a course is remote, hybrid, or in-person use the catalog search tool to narrow results. Otherwise, when browsing courses, the section indicates teaching mode:

R = Remote
H = Hybrid
0 = In-person

Teaching modes (remote, hybrid, in-person) are subject to change at any point. Please pay close attention when registering. Depending on the timing of a teaching mode change, faculty also may be in contact with students.

MATH 391
Introduction to computer algebra Fall 2020
Division III Quantative/Formal Reasoning

Class Details

Students will learn new mathematics in the context of computer-based exposition, experimentation, and interaction. They will gain proficiency with Sage, GAP, Macaulay2, or Mathematica, and possibly one of the more-specialized systems SnapPea, kenzo, magma, MATLAB, Perseus, coq, etc. Individuals and teams will build interactive demonstrations of mathematical theorems, which will then be appreciated by the instructor and the rest of the class. No prior programming experience is expected.
The Class: Format: lecture; Class will be held online, but there will be recorded components, asynchronous interactive components, and outside-of-class small-group online meetings.
Limit: 20
Expected: 15
Class#: 2637
Grading: yes pass/fail option, no fifth course option
Requirements/Evaluation: exams, homework, projects
Prerequisites: Math 355 or permission of instructor
Enrollment Preferences: math majors
Distributions: Division III Quantative/Formal Reasoning
QFR Notes: Mathematical programming requires complete synthesis of abstract concepts to produce computer code, which is necessarily formal.

Class Grid

Updated 7:57 am ET

Course Catalog Search


(searches Title and Course Description only)
TERM




TEACHING MODE
SUBJECT
DIVISION



DISTRIBUTION



ENROLLMENT LIMIT
COURSE TYPE
Start Time
End Time
Day(s)