Project Search Options
Enter one or more search options below then click the Search button.
Click on a project's title to view more details.
Mina Aganagic - Professor, Mathematics
Status: Current Term Now Closed Weekly Hours: to be negotiated Location: On Campus
Today’s gold standard for establishing new theoretical results in mathematics is an accompanying formal computer-verification of the main theorems and their proofs (see reference below). Systems known as interactive theorem provers (ITPs), first designed to formally verify computer algorithms, have recently gained significant momentum in many mathematics communities. These...
Mathematical and Physical SciencesOlga Holtz - Professor, Mathematics
Status: Current Term Now Closed Weekly Hours: to be negotiated Location: On Campus
The four color theorem was famously proved in the 1970s, and again in the 1990s and 2000s, using heavy assistance from computer calculations; a purely human-readable proof, free of complicated calculations, has never been found. In this project, we will use the certifying datasets in the modern proofs of...