Challenging theorem provers with Mathematical Olympiad problems in solid geometry
DOI10.1007/S11786-016-0256-2zbMATH Open1358.68265OpenAlexW2326082881MaRDI QIDQ294381FDOQ294381
Authors: Changpeng Shao, Lei Huang, Hongbo Li 
Publication date: 16 June 2016
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-016-0256-2
Recommendations
- Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
- Evaluation of automated theorem proving on the Mizar mathematical library
- Thousands of geometric problems for geometric theorem provers (TGTP)
- Mechanical geometry theorem proving
- Automated theorem provers: a practical tool for the working mathematician?
[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+basis&go=Go Gr��bner basis]automated geometric theorem provingcharacteristic setnon-degeneracy condition (NDG)vector algebra
Software, source code, etc. for problems pertaining to geometry (51-04) Plane and solid geometry (educational aspects) (97G40)
Cites Work
- Ideals, Varieties, and Algorithms
- Title not available (Why is that?)
- Using Gröbner bases to reason about geometry problems
- Title not available (Why is that?)
- Machine Proofs in Geometry
- On the application of Buchberger's algorithm to automated geometry theorem proving
- Elimination methods
- Decomposing polynomial systems into simple systems
- Vectorial equations solving for mechanical geometry theorem proving
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Symbolic computation in the homogeneous geometric model with clifford algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: Challenging theorem provers with Mathematical Olympiad problems in solid geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q294381)
