The relation tool in GeoGebra 5

DOI10.1007/978-3-319-21362-0_4MaRDI QIDQ3452276zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

• A deductive database approach to automated geometry theorem proving and discovering
• A graphical user interface for formal proofs in geometry
• An introduction to Java geometry expert. (Extended abstract)
• Automated Deduction in Geometry
• Automated theorem proving in GeoGebra: current achievements
• Automatic discovery of theorems in elementary geometry
• GeoThms -- a web system for Euclidean constructive geometry
• Giac and GeoGebra -- improved Gröbner basis computations
• The area method. A recapitulation
• Using Gröbner bases to reason about geometry problems
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• 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

(11)

• Development of automatic reasoning tools in GeoGebra
• Detecting truth, just on parts
• Automated deduction and knowledge management in geometry
• Online generation of proofs without words
• Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
• Automated theorem proving in GeoGebra: current achievements
• Understanding more mathematics with GeoGebra. Examples of promoting a deeper understanding of mathematics from the GeoGebra Institute Köln/Bonn
• Open geometry prover community project
• GeoGebra
• Towards an intelligent and dynamic geometry book
• Giac and GeoGebra -- improved Gröbner basis computations

Describes a project that uses

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)