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

@@ 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