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

@@ Property / author @@
+Jing-Zhong Zhang
@@ Property / author: Jing-Zhong Zhang / rank @@
+Normal rank
@@ Property / author @@
+Xiao-Shan Gao
@@ Property / author: Xiao-Shan Gao / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01531326
+Normal rank
@@ Property / OpenAlex ID @@
+W1479887426
@@ Property / OpenAlex ID: W1479887426 / rank @@
+Normal rank