On mechanical quantifier elimination for elementary algebra and geometry (Q1102744): Difference between revisions

@@ Property / author @@
-Maurice Mignotte
@@ Property / author: Maurice Mignotte / rank @@
-Normal rank
@@ Property / author @@
+Maurice Mignotte
@@ Property / author: Maurice Mignotte / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216141
@@ Property / cites work: Q3216141 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+A cluster-based cylindrical algebraic decomposition algorithm
+Normal rank
@@ Property / cites work @@
+Geometric reasoning with logic and algebra
@@ Property / cites work: Geometric reasoning with logic and algebra / rank @@
+Normal rank
@@ Property / cites work @@
+An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
+Normal rank
@@ Property / cites work @@
+Q3958439
@@ Property / cites work: Q3958439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3952057
@@ Property / cites work: Q3952057 / rank @@
+Normal rank
@@ Property / cites work @@
+A continuous, constructive solution to Hilbert's \(17^{th}\) problem
+Normal rank
@@ Property / cites work @@
+A solution to Kahan's problem (SIGSAM problem no. 9)
+Normal rank
@@ Property / cites work @@
+Quantifier elimination: Optimal solution for two classical examples
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank