Interval arithmetic in cylindrical algebraic decomposition (Q1864882): Difference between revisions

@@ Property / cites work @@
+Q3235904
@@ Property / cites work: Q3235904 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Q4391215
@@ Property / cites work: Q4391215 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4464929
@@ Property / cites work: Q4464929 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiprecision floating point addition
@@ Property / cites work: Multiprecision floating point addition / rank @@
+Normal rank
@@ Property / cites work @@
+Computing GCDs of polynomials over algebraic number fields
+Normal rank
@@ Property / cites work @@
+Interval arithmetic
@@ Property / cites work: Interval arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4226967
@@ Property / cites work: Q4226967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank