CGSQE/SyNRAC (Q5270200): Difference between revisions

@@ 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.1145/3015306.3015313
+Normal rank
@@ Property / OpenAlex ID @@
+W2547396449
@@ Property / OpenAlex ID: W2547396449 / 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 @@
+SyNRAC: A Toolbox for Solving Real Algebraic Constraints
+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 @@
+Comprehensive Gröbner bases
@@ Property / cites work: Comprehensive Gröbner bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234321
@@ Property / cites work: Q4234321 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / cites work @@
+Q4391232
@@ Property / cites work: Q4391232 / rank @@
+Normal rank