Open AccessSynthesis of Geometry Proof Problems
Author(s) -
Chris Alvin,
Sumit Gulwani,
Rupak Majumdar,
Supratik Mukhopadhyay
Publication year - 2014
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v28i1.8745
Subject(s) - geometry , computer assisted proof , proof of concept , computer science , algorithm , calculus (dental) , analytic geometry , mathematics , algebra over a field , automated theorem proving , pure mathematics , medicine , dentistry , operating system