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

@@ Property / describes a project that uses @@
+OpenGeoProver
@@ Property / describes a project that uses: OpenGeoProver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Xcas
@@ Property / describes a project that uses: Xcas / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Giac
@@ Property / describes a project that uses: Giac / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GEX
@@ Property / describes a project that uses: GEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JGEX
@@ Property / describes a project that uses: JGEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Emscripten
@@ Property / describes a project that uses: Emscripten / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SINGULAR
@@ Property / describes a project that uses: SINGULAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoProof
@@ Property / describes a project that uses: GeoProof / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GEOTHER 1.1
@@ Property / describes a project that uses: GEOTHER 1.1 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDUCE
@@ Property / describes a project that uses: REDUCE / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3452276