Dynamic evaluation and real closure. (Q1565836): Difference between revisions

@@ Property / cites work @@
+The complexity of elementary algebra and geometry
@@ Property / cites work: The complexity of elementary algebra and geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q3770650
@@ Property / cites work: Q3770650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316585
@@ Property / cites work: Q3316585 / rank @@
+Normal rank
@@ Property / cites work @@
+Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
+Normal rank
@@ Property / cites work @@
+Q3973331
@@ Property / cites work: Q3973331 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic evaluation and algebraic closure in Axiom
@@ Property / cites work: Dynamic evaluation and algebraic closure in Axiom / rank @@
+Normal rank
@@ Property / cites work @@
+Sketches and computations over fields.
@@ Property / cites work: Sketches and computations over fields. / rank @@
+Normal rank
@@ Property / cites work @@
+Examples of using dynamic constructible closure.
@@ Property / cites work: Examples of using dynamic constructible closure. / rank @@
+Normal rank
@@ Property / cites work @@
+Generic computation of the real closure of an ordered field.
+Normal rank
@@ Property / cites work @@
+Q4234243
@@ Property / cites work: Q4234243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5749405
@@ Property / cites work: Q5749405 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of computation on real algebraic numbers
+Normal rank
@@ Property / cites work @@
+Q3973349
@@ Property / cites work: Q3973349 / rank @@
+Normal rank