On the Implementation of CGS Real QE (Q2819213): 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 @@
+SYNRAC
@@ Property / describes a project that uses: SYNRAC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / 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/978-3-319-42432-3_21
+Normal rank
@@ Property / OpenAlex ID @@
+W2484096404
@@ Property / OpenAlex ID: W2484096404 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2819213