The relation tool in GeoGebra 5

DOI10.1007/978-3-319-21362-0_4zbMATH Open1434.97015OpenAlexW2295907021MaRDI QIDQ3452276FDOQ3452276

Zoltán Kovács

Publication date: 11 November 2015

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-21362-0_4

Recommendations

• Automated theorem proving in GeoGebra: current achievements
• Development of automatic reasoning tools in GeoGebra
• Towards the Automatic Discovery of Theorems in GeoGebra
• Towards an Automated Geometer
• Automated Deduction in Geometry

zbMATH Keywords

computer algebraautomated theorem provingGeoGebracomputer-aided mathematics educationportfolio solver

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Technological tools, calculators (aspects of mathematics education) (97U70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Comprehensive works on geometry education (97G10) Mathematical software, computer programs (educational aspects) (97N80)

Cites Work

• A graphical user interface for formal proofs in geometry
• Giac and GeoGebra – Improved Gröbner Basis Computations
• Automated Deduction in Geometry
• An Introduction to Java Geometry Expert
• Using Gröbner bases to reason about geometry problems
• Automatic discovery of theorems in elementary geometry
• Automated theorem proving in GeoGebra: current achievements
• GeoThms -- a web system for Euclidean constructive geometry
• The area method. A recapitulation
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• A deductive database approach to automated geometry theorem proving and discovering
• Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method

Cited In (7)

• Detecting truth, just on parts
• Automated deduction and knowledge management in geometry
• GeoGebra
• Online generation of proofs without words
• Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
• Towards an intelligent and dynamic geometry book
• Open geometry prover community project

Uses Software

• Coq
• REDUCE
• SINGULAR
• GEOTHER 1.1
• GeoProof
• GeoThms
• Xcas
• Giac
• OpenGeoProver
• GEX
• JGEX
• Emscripten

This page was built for publication: The relation tool in GeoGebra 5

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