The relation tool in GeoGebra 5
From MaRDI portal
Publication:3452276
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)
Recommendations
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
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)