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

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