Power series solutions of algebraic differential equations
type: Item
instance of: scholarly article
title: Power series solutions of algebraic differential equations
zbMATH Open document ID: 0518.12015
DOI: 10.1007/BF01579200
published in: Mathematische Annalen
publication date: 1984-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/163890
Mathematics Subject Classification ID: 12H20
Mathematics Subject Classification ID: 13N05
Mathematics Subject Classification ID: 13J05
Mathematics Subject Classification ID: 14B12
Mathematics Subject Classification ID: 34G20
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C60
zbMATH DE Number: 3819890
zbMATH Keywords: algebraic differential equations
zbMATH Keywords: Artin approximation theorem
zbMATH Keywords: decidability
zbMATH Keywords: undecidability
zbMATH Keywords: algorithm
zbMATH Keywords: ADE
author: Jan Denef
author: Leonard Lipshitz
MaRDI profile type: Publication
cites work: The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
cites work: On the solutions of analytic equations
cites work: Algebraic approximation of structures over complete local rings
cites work: Diophantine problems over local fields. III: Decidable fields
cites work: Q3898594
cites work: Ultraproducts and approximation in local rings. I
cites work: A CRITERION FOR THE p-ADIC SOLUBILITY OF DIOPHANTINE EQUATIONS
cites work: The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
cites work: Rational points in Henselian discrete valuation rings
cites work: Q5588717
cites work: Lectures on transcendental numbers. Edited and completed by B. Diviš and W. J. LeVeque
cites work: Sur les points singuliers des équations différentielles
cites work: Further Pathologies in Algebraic Geometry
cites work: A computable ordinary differential equation which possesses no computable solution
cites work: The wave equation with computable initial data such that its unique solution is not computable
cites work: Q5795628
cites work: Q5625310
cites work: Q4746840
cites work: Contribution to the Picard-Vessiot Theory of Homogeneous Linear Differential Equations
cites work: Arithmetic properties of power series solutions of algebraic differential equations
cites work: The model theory of ordered differential fields
cites work: The model theory of differential fields revisited
description: scientific article; zbMATH DE number 3819890