The relation tool in GeoGebra 5
DOI10.1007/978-3-319-21362-0_4zbMATH Open1434.97015OpenAlexW2295907021MaRDI QIDQ3452276FDOQ3452276
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
computer algebraautomated theorem provingGeoGebracomputer-aided mathematics educationportfolio solver
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
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)