A program to create new geometry proof problems
DOI10.1007/s10472-023-09854-1zbMath1530.68272OpenAlexW4376647291MaRDI QIDQ6185788
Publication date: 8 January 2024
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-023-09854-1
Computer science support for mathematical research and practice (68V99) Symbolic computation and algebraic computation (68W30) Graphs and linear algebra (matrices, eigenvalues, etc.) (05C50) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Elementary problems in Euclidean geometries (51M04) Software, source code, etc. for problems pertaining to geometry (51-04)
Cites Work
- Unnamed Item
- Automated theorem proving in GeoGebra: current achievements
- A complete algorithm for automated discovering of a class of inequality-type theorems
- On the application of Buchberger's algorithm to automated geometry theorem proving
- Basic principles of mechanical theorem proving in elementary geometries
- A symbolic dynamic geometry system using the analytical geometry method
- A mechanical geometer
- Matrices with Two Nonzero Entries per Row
- Machine Proofs in Geometry
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
- Discovering Geometry Theorems in Regular Polygons
- Towards an Automated Geometer
This page was built for publication: A program to create new geometry proof problems
