A mechanical geometer

DOI10.1007/s11786-020-00497-7OpenAlexW3100860774MaRDI QIDQ2071524

Zoltán Kovács, Francisco Botana, Tomás Recio

Publication date: 28 January 2022

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-020-00497-7

zbMATH Keywords

computer algebraautomated theorem provingGeoGebraautomated discovery

Mathematics Subject Classification ID

Plane and space curves (14H50) Plane and solid geometry (educational aspects) (97G40)

Related Items (2)

Automated discovery of angle theorems ⋮ A program to create new geometry proof problems

Uses Software

• GeoGebra
• Giac

Cites Work

• Unnamed Item
• Unnamed Item
• Automated theorem proving in GeoGebra: current achievements
• A systematic methodology for automated theorem finding
• On protocols for the automated discovery of theorems in elementary geometry
• A deductive database approach to automated geometry theorem proving and discovering
• Retrieving geometric information from images: the case of hand-drawn diagrams
• Automatic discovery of theorems in elementary geometry
• Automated generation of geometric theorems from images of diagrams
• Detecting truth, just on parts
• Giac and GeoGebra – Improved Gröbner Basis Computations
• Development of automatic reasoning tools in GeoGebra
• Towards an Automated Geometer

This page was built for publication: A mechanical geometer