On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669): Difference between revisions

Some well-known elementary geometry statements are rewritten in a form of formulas with universal quantifiers and appropriate boolean formulas of polynomial equations as quantifier-free parts. This algebraic reformulation is used for mechanical proving of geometrical statements involving Nullstellensatz.

0 references

Mathematics Subject Classification ID

68W30

0 references

0 references

0 references

0 references

Gröbner basis

0 references

polynomial equations

0 references

nondegenerate conditions

0 references

Ritt's algorithms

0 references

Wu's method

0 references

algebraically (or real) closed field

0 references

algebraic geometry

0 references

irreducible variety

0 references

nondegenerate component

0 references

Simson's theorem

0 references

Pappus' theorem

0 references

0 references

0 references

MaRDI publication profile

0 references

cites work

Q3241211

0 references

Die metrische Form in der absoluten und der elliptischen Geometrie

0 references

Q3700871

0 references

An introduction to Wu's method for mechanical theorem proving in geometry

0 references

Q3994509

0 references

Proving geometry theorems with rewrite rules

0 references

Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer

0 references

Proof, Completeness, Transcendentals, and Sampling

0 references

Q5532192

0 references

Q5635941

0 references

On the application of Buchberger's algorithm to automated geometry theorem proving

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1121669

@@ Property / author @@
-Shang-Ching Chou
@@ Property / author: Shang-Ching Chou / rank @@
-Normal rank
@@ Property / author @@
-Jin-Gen Yang
@@ Property / author: Jin-Gen Yang / rank @@
-Normal rank
@@ Property / author @@
+Shang-Ching Chou
@@ Property / author: Shang-Ching Chou / rank @@
+Normal rank
@@ Property / author @@
+Jin-Gen Yang
@@ Property / author: Jin-Gen Yang / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241211
@@ Property / cites work: Q3241211 / rank @@
+Normal rank
@@ Property / cites work @@
+Die metrische Form in der absoluten und der elliptischen Geometrie
+Normal rank
@@ Property / cites work @@
+Q3700871
@@ Property / cites work: Q3700871 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to Wu's method for mechanical theorem proving in geometry
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / 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 @@
+Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer
+Normal rank
@@ Property / cites work @@
+Proof, Completeness, Transcendentals, and Sampling
+Normal rank
@@ Property / cites work @@
+Q5532192
@@ Property / cites work: Q5532192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5635941
@@ Property / cites work: Q5635941 / rank @@
+Normal rank
@@ Property / cites work @@
+On the application of Buchberger's algorithm to automated geometry theorem proving
+Normal rank
@@ Property / cites work @@
+Q5795628
@@ Property / cites work: Q5795628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3279752
@@ Property / cites work: Q3279752 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268765
@@ Property / cites work: Q3268765 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268764
@@ Property / cites work: Q3268764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4153620
@@ Property / cites work: Q4153620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668379
@@ Property / cites work: Q3668379 / rank @@
+Normal rank