Winter 2027: MAT 280 - AI and Computer Assisted Mathematics

A brief informational page for the course MAT280: AI and Computer Assisted Mathematics in Winter 2027.

Course instructors: Jesus De Loera, Anne Schilling, Dan Romik
Course meetings: MWF 3:10-4:00, location TBD

Topics

• will be added soon

This page is under construction. Check back soon for more details.