Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745): Difference between revisions

@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264711
@@ Property / cites work: Q4264711 / 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 @@
+Q5635941
@@ Property / cites work: Q5635941 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745318
@@ Property / cites work: Q3745318 / rank @@
+Normal rank
@@ Property / cites work @@
+On the application of Buchberger's algorithm to automated geometry theorem proving
+Normal rank
@@ Property / cites work @@
+Problems and Experiments for and with Automated Theorem-Proving Programs
+Normal rank
@@ Property / cites work @@
+Plane geometry theorem proving using forward chaining
+Normal rank
@@ Property / cites work @@
+Q4153620
@@ Property / cites work: Q4153620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668379
@@ Property / cites work: Q3668379 / rank @@
+Normal rank
@@ Property / cites work @@
+The parallel numerical method of mechanical theorem proving
+Normal rank