Computing constraint sets for differential fields
type: Item
instance of: scholarly article
title: Computing constraint sets for differential fields
zbMATH Open document ID: 1328.12012
author: Alexey Ovchinnikov
author: Dmitry Trushin
author: Russell Miller
published in: Journal of Algebra
publication date: 2014-08-28T00:00:00Z
full work available at URL: https://arxiv.org/abs/1208.1152
Mathematics Subject Classification ID: 12H05
Mathematics Subject Classification ID: 03D25
Mathematics Subject Classification ID: 13N10
Mathematics Subject Classification ID: 34M15
zbMATH DE Number: 6335290
zbMATH Keywords: differential algebra
zbMATH Keywords: computable differential fields
zbMATH Keywords: differential closure
MaRDI profile type: Publication
OpenAlex ID: W2158914341
arXiv ID: 1208.1152
cites work: Q4145810
cites work: Q3313943
cites work: Field Arithmetic
cites work: Effective procedures in field theory
cites work: A bound for the Rosenfeld-Gröbner algorithm
cites work: Recursively presentable prime models
cites work: Q4425662
cites work: Extensions of differential fields. I, II
cites work: Q5680222
cites work: Constrained extensions of differential fields
cites work: Q4872381
cites work: Q3588177
cites work: Is it harder to factor a polynomial or to find a root?
cites work: Adapting Rabin’s Theorem for Differential Fields
cites work: A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
cites work: Q4790565
cites work: Computable Algebra, General Theory and Theory of Computable Fields
cites work: The Problem of Integration in Finite Terms
cites work: Associative differential operations
cites work: Q5625310
cites work: On Liouville's theory of elementary functions
cites work: Uniqueness and characterization of prime models over sets for totally transcendental first-order theories
cites work: Q4040892
cites work: Computable Fields and Weak Truth-Table Reducibility
DOI: 10.1016/J.JALGEBRA.2014.02.032
description: scientific article; zbMATH DE number 6335290