Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846): Difference between revisions

@@ Property / describes a project that uses @@
+Cinderella
@@ Property / describes a project that uses: Cinderella / 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 @@
+GEX
@@ Property / describes a project that uses: GEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MMP/Geometer
@@ Property / describes a project that uses: MMP/Geometer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Geometer's Sketchpad
@@ Property / describes a project that uses: Geometer's Sketchpad / 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/s10817-009-9162-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1515021858
@@ Property / OpenAlex ID: W1515021858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523518
@@ Property / cites work: Q4523518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4522880
@@ Property / cites work: Q4522880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5290004
@@ Property / cites work: Q5290004 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488104
@@ Property / cites work: Q4488104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837707
@@ Property / cites work: Q3837707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4153620
@@ Property / cites work: Q4153620 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving geometry theorems with rewrite rules
@@ Property / cites work: Proving geometry theorems with rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+On the application of Buchberger's algorithm to automated geometry theorem proving
+Normal rank
@@ Property / cites work @@
+Plane geometry theorem proving using forward chaining
+Normal rank
@@ Property / cites work @@
+Automated reasoning in geometry theorem proving with Prolog
+Normal rank
@@ Property / cites work @@
+Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
+Normal rank
@@ Property / cites work @@
+A deductive database approach to automated geometry theorem proving and discovering
+Normal rank
@@ Property / cites work @@
+Q4789490
@@ Property / cites work: Q4789490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531863
@@ Property / cites work: Q4531863 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Theorem Proving in Tarski’s Geometry
@@ Property / cites work: Mechanical Theorem Proving in Tarski’s Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Symbolic Computation
@@ Property / cites work: Artificial Intelligence and Symbolic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4548193
@@ Property / cites work: Q4548193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391232
@@ Property / cites work: Q4391232 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:616846