MATH 571 - Experimental Mathematics

Credits: 3
A study of the role of computation and experimentation in mathematical proof. Students 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.