Solving systems of strict polynomial inequalities (Q1976673): Difference between revisions

@@ Property / author @@
-Adam Wojciech Strzeboński
@@ Property / author: Adam Wojciech Strzeboński / rank @@
-Normal rank
@@ Property / author @@
+Adam Wojciech Strzeboński
@@ Property / author: Adam Wojciech Strzeboński / rank @@
+Normal rank
@@ 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 / OpenAlex ID @@
+W2149652522
@@ Property / OpenAlex ID: W2149652522 / 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 @@
+An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
+Normal rank
@@ Property / cites work @@
+Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in the field of complex algebraic numbers
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1976673