A mechanical geometer

DOI10.1007/S11786-020-00497-7MaRDI QIDQ2071524zbMATH OpenOpenAlexFDO

Authors Zoltán Kovács, Francisco Botana, Tomas 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)

Recommendations

• Towards an Automated Geometer
• Automated reasoning tools in GeoGebra discovery
• Towards the Automatic Discovery of Theorems in GeoGebra
• Automatic discovery of theorems in elementary geometry
• Automated Deduction in Geometry

Cites work

• scientific article; zbMATH DE number 3898269 (Why is no real title available?)
• scientific article; zbMATH DE number 5221779 (Why is no real title available?)
• A deductive database approach to automated geometry theorem proving and discovering
• A systematic methodology for automated theorem finding
• Automated generation of geometric theorems from images of diagrams
• Automated theorem proving in GeoGebra: current achievements
• Automatic discovery of theorems in elementary geometry
• Detecting truth, just on parts
• Development of automatic reasoning tools in GeoGebra
• Giac and GeoGebra -- improved Gröbner basis computations
• On protocols for the automated discovery of theorems in elementary geometry
• Retrieving geometric information from images: the case of hand-drawn diagrams
• Towards an Automated Geometer

Cited in

(6)

• Detecting truth, just on parts
• A program to create new geometry proof problems
• Automated discovery of angle theorems
• GeoGebra discovery in context
• Reasoning about linkages with dynamic geometry
• Open geometry prover community project

Describes a project that uses

Uses Software

• Giac
• GeoGebra

This page was built for publication: A mechanical geometer

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