The Relation Tool in GeoGebra 5 (Q3452276): Difference between revisions

@@ Property / describes a project that uses @@
+GeoThms
@@ Property / describes a project that uses: GeoThms / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-21362-0_4
+Normal rank
@@ Property / OpenAlex ID @@
+W2295907021
@@ Property / OpenAlex ID: W2295907021 / rank @@
+Normal rank
@@ Property / cites work @@
+A graphical user interface for formal proofs in geometry
+Normal rank
@@ Property / cites work @@
+An Introduction to Java Geometry Expert
@@ Property / cites work: An Introduction to Java Geometry Expert / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+GeoThms — a Web System for Euclidean Constructive Geometry
+Normal rank
@@ Property / cites work @@
+Automated theorem proving in GeoGebra: current achievements
+Normal rank
@@ Property / cites work @@
+Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Using Gröbner bases to reason about geometry problems
+Normal rank
@@ Property / cites work @@
+The area method. A recapitulation
@@ Property / cites work: The area method. A recapitulation / rank @@
+Normal rank
@@ Property / cites work @@
+A deductive database approach to automated geometry theorem proving and discovering
+Normal rank
@@ Property / cites work @@
+Automatic discovery of theorems in elementary geometry
+Normal rank
@@ Property / cites work @@
+Giac and GeoGebra – Improved Gröbner Basis Computations
+Normal rank