Automating Mathematics?

Siddhartha Gadgil

Department of Mathematics

Indian Institute of Science

Bangalore

http://math.iisc.ac.in/~gadgil/

https://github.com/siddhartha-gadgil/ProvingGround

Automating Mathematics? Siddhartha Gadgil Department of Mathematics Indian Institute of Science Bangalore http://math.iisc.ac.in/~gadgil/ https://github.com/siddhartha-gadgil/ProvingGround