Researcher, Automatic Proof Procedures for Polynomials and Special Functions

Research Associate,
LFCS, University of Edinburgh

Life Member,
Clare Hall, University of Cambridge

Co-Director,
LABORES - Laboratoire de Recherche Scientifique, Paris

Contact
Room 4.38
Informatics Forum
10 Crichton Street
Edinburgh, UK EH8 9AB

Email
grant.passmore@cl.cam.ac.uk

New Course on Algebro-Geometric Decision Methods at Cambridge

During Lent term, 2012, I taught a Part IV pure mathematics course called Decision Methods over Real and Algebraically Closed Fields at DPMMS, Cambridge. I had a wonderful time and am very keen to teach such a course again. Please let me know if you'd like the notes (feedback appreciated!). Thank you to those of you who joined! (A rough lecture roadmap)

Inspiration

Reznick's moving ``The Secret Lives of Polynomial Identities'' : pdf
Kuga's indescribable ``Galois' Dream: Group Theory and Differential Equations'' : Google Books preview ; truly a work of beauty
Natalie Wolchover's wonderful 2013 article ``In Computers We Trust?'' on the use of computers in both discovery and proof in mathematics
Instrument - Ten Years of the Band Fugazi : imdb ; nevermind what's been selling, it's what you're buying
Killing a Camera - The Braid Documentary : insound ; new nathan detroits!
Björk interviewing Arvo Pärt : YouTube (i, ii)
Paul Cohen on his relationship with Gödel and the discovery of forcing : YouTube (i, ii, iii, iv, v, vi) ; beyond words
The work of Alex Wilkie
Real algebraic and analytic geometry preprint server
Model theory preprint server