MATH 371 - Experimental Mathematics

Credits: 3
A study of the role of computation and experimentation in mathematical proof. Students will learn to write code in a mathematical programming language (e.g. Maple), and then apply programming skills to a variety of mathematical problems. Topics include enumeration, continued fractions, high precision computing, and numerical integration, among others. Students will also study famous proofs that integrate computation in nontrivial ways, and the current state of automated theorem proving/automated proof-checking software. Usually offered in the spring semester of odd numbered years.

Prerequisite(s): MATH 220, or MATH 266.