COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Everything's Bigger in Texas: ``The Largest Math Proof Ever''

## Everything's Bigger in Texas: ``The Largest Math Proof Ever''Add to your list(s) Download to your calendar using vCal - Marijn Heule (University of Texas at Austin)
- Wednesday 12 July 2017, 16:00-17:00
- Seminar Room 1, Newton Institute.
If you have a question about this talk, please contact info@newton.ac.uk. BPRW01 - Computer-aided mathematical proof Co-authors: Oliver Kullmann (Swansea University) and Victor Marek (University of Kentucky) This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 1, Newton Institute
- bld31
Note that ex-directory lists are not shown. |
## Other listsOliver Wyman lecture : "The economic outlook: The news behind the headlines" Heritage Research Group Weekly Seminar Series Theoretical Chemistry Informal Seminars## Other talks"Itsa me! Luigi!" [citation needed] - unlocking your referencing skills Not 'just a GP' Electrophysiological approaches in Lewy body dementia: helpful or not? Action Stations! Nonlinear nonmodal stability theory |