Cylindrical algebraic decomposition using validated numerics (Q2457384): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2006.06.004
@@ Property / DOI: 10.1016/j.jsc.2006.06.004 / rank @@
-Normal rank
@@ Property / author @@
-Adam Wojciech Strzeboński
@@ Property / author: Adam Wojciech Strzeboński / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / author @@
+Adam Wojciech Strzeboński
@@ Property / author: Adam Wojciech Strzeboński / 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.1016/j.jsc.2006.06.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2075348750
@@ Property / OpenAlex ID: W2075348750 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / 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 @@
+Interval arithmetic in cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Robust multi-objective feedback design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Testing stability by quantifier elimination
@@ Property / cites work: Testing stability by quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear control system design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q5651510
@@ Property / cites work: Q5651510 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank
@@ Property / cites work @@
+On propagation of equational constraints in CAD-based quantifier elimination
+Normal rank
@@ Property / cites work @@
+Computing in the field of complex algebraic numbers
+Normal rank
@@ Property / cites work @@
+Q4949370
@@ Property / cites work: Q4949370 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving systems of strict polynomial inequalities
@@ Property / cites work: Solving systems of strict polynomial inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2006.06.004
@@ Property / DOI: 10.1016/J.JSC.2006.06.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2457384