Partial cylindrical algebraic decomposition for quantifier elimination (Q1186711): Difference between revisions

@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A cluster-based cylindrical algebraic decomposition algorithm
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+On mechanical quantifier elimination for elementary algebra and geometry
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+Q3697106
@@ Property / cites work: Q3697106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0747-7171(08)80152-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2007074311
@@ Property / OpenAlex ID: W2007074311 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1186711