Towards an Automated Geometer
From MaRDI portal
Publication:6108828
DOI10.1007/978-3-319-99957-9_15zbMath1515.68340MaRDI QIDQ6108828
Zoltán Kovács, Tomás Recio, Francisco Botana
Publication date: 30 June 2023
Published in: Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to geometry (51-04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (4)
Automated discovery of angle theorems ⋮ A program to create new geometry proof problems ⋮ Automated deduction and knowledge management in geometry ⋮ A mechanical geometer
Cites Work
- Unnamed Item
- Automated theorem proving in GeoGebra: current achievements
- A deductive database approach to automated geometry theorem proving and discovering
- Automatic discovery of theorems in elementary geometry
- Automated generation of geometric theorems from images of diagrams
- Giac and GeoGebra – Improved Gröbner Basis Computations
- Development of automatic reasoning tools in GeoGebra
This page was built for publication: Towards an Automated Geometer
