Course Syllabus

Jump to Today

MAT280:  AI+Computer Assisted Mathematics

This class will be co-taught by Professors Jesus De Loera, Dan Romik, and Anne Schilling.

CRN: 28259

Class time: MWF 2:10-3pm in Olson Hall 151

Schedule of classes:

  • January 5-23, 2026 taught by Anne Schilling
  • January 26-February 11, 2026 taught by Dan Romik
  • February 13-March 6, 2026 taught by Jesus DeLoera
  • March 9-13, 2026 final presentations

Topics include:

  • Anne Schilling: (1) Symbolic Mathematical Software: SageMath, object oriented programming, SageMath development, (2) AI-based Tools: funsearch and openevolve
  • Dan Romik: TBA
  • Jesus DeLoera: (1) Algebraic/Symbolic Automatic Theorem Proving, (2) Logic-based Automatic Theorem Proving

Grading:

The class will have homework assignments and final projects.

  • 20% homework Schilling
  • 20% homework Romik
  • 20% homework DeLoera
  • 40% final project

Please team up in groups of 3-4 participants for the homeworks and the final project. A 1-page final project proposal with a brief description of the project and its goals including references should be submitted by January 26. The instructors will get back to you whether any adjustments need to be made.

Course Summary:

Course Summary
Date Details Due