Towards an Automated Geometer

DOI10.1007/978-3-319-99957-9_15MaRDI QIDQ6108828zbMATH OpenFDO

Authors Francisco Botana, Zoltán Kovács, Tomas Recio

Publication date 30 June 2023

Published in Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99957-9_15

zbMATH Keywords

automated discoveryautomated theorem provingcomputer algebraGeoGebra

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Symbolic computation and algebraic computation (68W30)

Recommendations

• Towards the Automatic Discovery of Theorems in GeoGebra
• Development of automatic reasoning tools in GeoGebra
• An introduction to automated discovery in geometry through symbolic computation
• Automatic discovery of theorems in elementary geometry
• Automated Deduction in Geometry

Cites work

• A deductive database approach to automated geometry theorem proving and discovering
• Automated generation of geometric theorems from images of diagrams
• Automated theorem proving in GeoGebra: current achievements
• Automatic discovery of theorems in elementary geometry
• Development of automatic reasoning tools in GeoGebra
• Giac and GeoGebra -- improved Gröbner basis computations
• scientific article; zbMATH DE number 3898269 (Why is no real title available?)

Cited in

(26)

• Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools
• Automated deduction and knowledge management in geometry
• Automated detection of interesting properties in regular polygons
• Automatically building diagrams for olympiad geometry problems
• A mechanical geometer
• Reasoning about linkages with dynamic geometry
• Automated theorem proving in GeoGebra: current achievements
• GeoThms -- a web system for Euclidean constructive geometry
• An introduction to automated discovery in geometry through symbolic computation
• A sustainable geometry automated reasoning platform
• On the unavoidable uncertainty of truth in dynamic geometry proving
• scientific article; zbMATH DE number 2089089 (Why is no real title available?)
• The relation tool in GeoGebra 5
• scientific article; zbMATH DE number 2009901 (Why is no real title available?)
• Automated reasoning tools in GeoGebra discovery
• Towards an automatic geometer
• Development of automatic reasoning tools in GeoGebra
• Dynamical discovery of mathematics beginning with Apollonios -- throwing with Cabri some light in little known and unknown quiet corners of geometry
• Automated Deduction in Geometry
• Automated discovery of angle theorems
• A program to create new geometry proof problems
• Automated triangle constructions in hyperbolic geometry
• On automating triangle constructions in absolute and hyperbolic geometry
• GeoGebra discovery in context
• A method for the automated discovery of angle theorems
• On protocols for the automated discovery of theorems in elementary geometry

This page was built for publication: Towards an Automated Geometer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6108828)