Computing constraint sets for differential fields
From MaRDI portal
Publication:402682
DOI10.1016/j.jalgebra.2014.02.032zbMath1328.12012arXiv1208.1152OpenAlexW2158914341MaRDI QIDQ402682
Dmitry Trushin, Alexey Ovchinnikov, Russell G. Miller
Publication date: 28 August 2014
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1208.1152
Commutative rings of differential operators and their modules (13N10) Differential algebra (12H05) Recursively (computably) enumerable sets and degrees (03D25) Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain (34M15)
Related Items
Computable valued fields ⋮ TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS ⋮ A primitive element theorem for fields with commuting derivations and automorphisms ⋮ The primitive element theorem for differential fields with zero derivation on the ground field
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A bound for the Rosenfeld-Gröbner algorithm
- On Liouville's theory of elementary functions
- Constrained extensions of differential fields
- A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
- Associative differential operations
- Extensions of differential fields. I, II
- Is it harder to factor a polynomial or to find a root?
- Adapting Rabin’s Theorem for Differential Fields
- Effective procedures in field theory
- Field Arithmetic
- Computable Fields and Weak Truth-Table Reducibility
- Recursively presentable prime models
- Computable Algebra, General Theory and Theory of Computable Fields
- The Problem of Integration in Finite Terms
- Uniqueness and characterization of prime models over sets for totally transcendental first-order theories