On protocols for the automated discovery of theorems in elementary geometry (Q846167): Difference between revisions

@@ Property / describes a project that uses @@
+CoCoA
@@ Property / describes a project that uses: CoCoA / 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-9133-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1983376640
@@ Property / OpenAlex ID: W1983376640 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531856
@@ Property / cites work: Q4531856 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531857
@@ Property / cites work: Q4531857 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+A method for the mechanical derivation of formulas in elementary geometry
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4352795
@@ Property / cites work: Q4352795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531855
@@ Property / cites work: Q4531855 / rank @@
+Normal rank
@@ Property / cites work @@
+Wu's method and its application to perspective viewing
+Normal rank
@@ Property / cites work @@
+Q4507801
@@ Property / cites work: Q4507801 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
+Normal rank
@@ Property / cites work @@
+Q4238968
@@ Property / cites work: Q4238968 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic discovery of theorems in elementary geometry
+Normal rank
@@ Property / cites work @@
+Computational Science and Its Applications – ICCSA 2004
+Normal rank
@@ Property / cites work @@
+A new theorem discovered by computer prover
@@ Property / cites work: A new theorem discovered by computer prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394960
@@ Property / cites work: Q4394960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823164
@@ Property / cites work: Q4823164 / rank @@
+Normal rank