The Relation Tool in GeoGebra 5

DOI10.1007/978-3-319-21362-0_4zbMath1434.97015OpenAlexW2295907021MaRDI QIDQ3452276

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)

Related Items (3)

Towards an intelligent and dynamic geometry book ⋮ Automated deduction and knowledge management in geometry ⋮ GeoGebra

Uses Software

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

Cites Work

• Automated theorem proving in GeoGebra: current achievements
• The area method. A recapitulation
• 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
• Using Gröbner bases to reason about geometry problems
• A deductive database approach to automated geometry theorem proving and discovering
• Automatic discovery of theorems in elementary geometry
• A graphical user interface for formal proofs in geometry
• Giac and GeoGebra – Improved Gröbner Basis Computations
• GeoThms — a Web System for Euclidean Constructive Geometry
• An Introduction to Java Geometry Expert
• Automated Deduction in Geometry

This page was built for publication: The Relation Tool in GeoGebra 5