A class of mechanically decidable problems beyond Tarski's model (Q2475316): Difference between revisions

@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4153620
@@ Property / cites work: Q4153620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+On the application of Buchberger's algorithm to automated geometry theorem proving
+Normal rank
@@ Property / cites work @@
+The parallel numerical method of mechanical theorem proving
+Normal rank
@@ Property / cites work @@
+Machine Proofs in Geometry
@@ Property / cites work: Machine Proofs in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+On the positivity of symmetric polynomial functions. I: General results
+Normal rank
@@ Property / cites work @@
+On the positivity of symmetric polynomial functions. II: Lattice general results and positivity criteria for degrees 4 and 5
+Normal rank
@@ Property / cites work @@
+Even symmetric sextics
@@ Property / cites work: Even symmetric sextics / rank @@
+Normal rank
@@ Property / cites work @@
+A complete algorithm for automated discovering of a class of inequality-type theorems
+Normal rank
@@ Property / cites work @@
+Q4531854
@@ Property / cites work: Q4531854 / rank @@
+Normal rank