Improved projection for cylindrical algebraic decomposition (Q5950980): Difference between revisions

@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ISOLATE
@@ Property / describes a project that uses: ISOLATE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2021431116
@@ Property / OpenAlex ID: W2021431116 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+Q4232513
@@ Property / cites work: Q4232513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391213
@@ Property / cites work: Q4391213 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4293510
@@ Property / cites work: Q4293510 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of deciding Tarski algebra
@@ Property / cites work: Complexity of deciding Tarski algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234240
@@ Property / cites work: Q4234240 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing stability by quantifier elimination
@@ Property / cites work: Testing stability by quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination: Optimal solution for two classical examples
+Normal rank
@@ Property / cites work @@
+Q4295433
@@ Property / cites work: Q4295433 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional systems through the rational univariate representation
+Normal rank
@@ Property / cites work @@
+Solving systems of strict polynomial inequalities
@@ Property / cites work: Solving systems of strict polynomial inequalities / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5950980