On the Implementation of CGS Real QE (Q2819213): Difference between revisions

@@ Property / cites work @@
+Q4295701
@@ Property / cites work: Q4295701 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination by cylindrical algebraic decomposition based on regular chains
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Symbolic Computation
@@ Property / cites work: Artificial Intelligence and Symbolic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems
+Normal rank
@@ Property / cites work @@
+Improving a CGS-QE Algorithm
@@ Property / cites work: Improving a CGS-QE Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135183
@@ Property / cites work: Q3135183 / rank @@
+Normal rank
@@ Property / cites work @@
+A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
+Normal rank
@@ Property / cites work @@
+Q4391232
@@ Property / cites work: Q4391232 / rank @@
+Normal rank