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 / 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