Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381): Difference between revisions

@@ Property / DOI @@
-.1007/s11786-016-0256-2
@@ Property / DOI: 10.1007/s11786-016-0256-2 / rank @@
-Normal rank
@@ Property / author @@
-Hong-Bo Li
@@ Property / author: Hong-Bo Li / rank @@
-Normal rank
@@ Property / author @@
+Hong-Bo Li
@@ Property / author: Hong-Bo Li / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-04
@@ Property / Mathematics Subject Classification ID: 51-04 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G40
@@ Property / Mathematics Subject Classification ID: 97G40 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6593825
@@ Property / zbMATH DE Number: 6593825 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated geometric theorem proving
@@ Property / zbMATH Keywords: automated geometric theorem proving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+characteristic set
@@ Property / zbMATH Keywords: characteristic set / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Gröbner basis
@@ Property / zbMATH Keywords: Gröbner basis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+vector algebra
@@ Property / zbMATH Keywords: vector algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+non-degeneracy condition (NDG)
@@ Property / zbMATH Keywords: non-degeneracy condition (NDG) / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Wsolve
@@ Property / describes a project that uses: Wsolve / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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/s11786-016-0256-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2326082881
@@ Property / OpenAlex ID: W2326082881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Machine Proofs in Geometry
@@ Property / cites work: Machine Proofs in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Vectorial equations solving for mechanical geometry theorem proving
+Normal rank
@@ Property / cites work @@
+Ideals, Varieties, and Algorithms
@@ Property / cites work: Ideals, Varieties, and Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Using Gröbner bases to reason about geometry problems
+Normal rank
@@ Property / cites work @@
+On the application of Buchberger's algorithm to automated geometry theorem proving
+Normal rank
@@ Property / cites work @@
+Q4392227
@@ Property / cites work: Q4392227 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic computation in the homogeneous geometric model with clifford algebra
+Normal rank
@@ Property / cites work @@
+Q4238968
@@ Property / cites work: Q4238968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5690444
@@ Property / cites work: Q5690444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234211
@@ Property / cites work: Q4234211 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing polynomial systems into simple systems
+Normal rank
@@ Property / cites work @@
+Elimination methods
@@ Property / cites work: Elimination methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q5203713
@@ Property / cites work: Q5203713 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11786-016-0256-2
@@ Property / DOI: 10.1007/S11786-016-0256-2 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:294381