Computing constraint sets for differential fields (Q402682): Difference between revisions

@@ Property / arXiv ID @@
+.1152
@@ Property / arXiv ID: 1208.1152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145810
@@ Property / cites work: Q4145810 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3313943
@@ Property / cites work: Q3313943 / rank @@
+Normal rank
@@ Property / cites work @@
+Field Arithmetic
@@ Property / cites work: Field Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+A bound for the Rosenfeld-Gröbner algorithm
@@ Property / cites work: A bound for the Rosenfeld-Gröbner algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively presentable prime models
@@ Property / cites work: Recursively presentable prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4425662
@@ Property / cites work: Q4425662 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of differential fields. I, II
@@ Property / cites work: Extensions of differential fields. I, II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680222
@@ Property / cites work: Q5680222 / rank @@
+Normal rank
@@ Property / cites work @@
+Constrained extensions of differential fields
@@ Property / cites work: Constrained extensions of differential fields / rank @@
+Normal rank
@@ Property / cites work @@
+Q4872381
@@ Property / cites work: Q4872381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3588177
@@ Property / cites work: Q3588177 / rank @@
+Normal rank
@@ Property / cites work @@
+Is it harder to factor a polynomial or to find a root?
+Normal rank
@@ Property / cites work @@
+Adapting Rabin’s Theorem for Differential Fields
+Normal rank
@@ Property / cites work @@
+A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
+Normal rank
@@ Property / cites work @@
+Q4790565
@@ Property / cites work: Q4790565 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+The Problem of Integration in Finite Terms
@@ Property / cites work: The Problem of Integration in Finite Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Associative differential operations
@@ Property / cites work: Associative differential operations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625310
@@ Property / cites work: Q5625310 / rank @@
+Normal rank
@@ Property / cites work @@
+On Liouville's theory of elementary functions
@@ Property / cites work: On Liouville's theory of elementary functions / rank @@
+Normal rank
@@ Property / cites work @@
+Uniqueness and characterization of prime models over sets for totally transcendental first-order theories
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Fields and Weak Truth-Table Reducibility
+Normal rank