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 Sciences