The Real Algebra Playground

Research on automatic theorem proving methods for nonlinear arithmetics and high-dimensional spaces.

Epsilon-baked, raw, unpolished ideas and code are encouraged!

Who Are We?

1. Staff

   • Paul B. Jackson - http://homepages.inf.ed.ac.uk/pbj/
   • Grant Olney Passmore - http://www.cl.cam.ac.uk/~gp351/

2. PhD Students

   • Kristjan Liiva
   • Andrew Sogokon

Contact

Grant Olney Passmore - [email protected]