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

@@ Property / DOI @@
-.1007/s11425-007-0090-8
@@ Property / DOI: 10.1007/s11425-007-0090-8 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DISCOVERER
@@ Property / describes a project that uses: DISCOVERER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BOTTEMA
@@ Property / describes a project that uses: BOTTEMA / 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/s11425-007-0090-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1975113638
@@ Property / OpenAlex ID: W1975113638 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S11425-007-0090-8
@@ Property / DOI: 10.1007/S11425-007-0090-8 / rank @@
+Normal rank