Decision problems for differential equations

DOI10.2307/2274755MaRDI QIDQ4732470zbMATH OpenOpenAlexFDO

Authors Jan Denef, Leonard Lipshitz

Publication date 1989

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274755

zbMATH Keywords

power seriesanalytic solutionundecidabilityalgebraic differential equations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Abstract differential equations (12H20) Constructive and recursive analysis (03F60)

Recommendations

• Solving Ordinary Differential Equations in Terms of Series with Real Exponents
• An essay on diophantine equations for analytic functions
• On an undecidable problem related to difference equations with parameters
• Checking existence of solutions of partial differential equations in the fields of Laurent series
• A Differentially Algebraic Elimination Theorem with Application to Analog Computability in the Calculus of Variations

Cites work

• A computable ordinary differential equation which possesses no computable solution
• Exponential rings, exponential polynomials and exponential functions
• Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
• Power series solutions of algebraic differential equations
• Solution of the identity problem for integral exponential functions
• Some undecidable problems involving elementary functions of a real variable
• Zwei Unentscheidbare Probleme Der Analysis

Cited in

(18)

• Guessing singular dependencies
• Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations
• Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations
• Undecidability through Fourier series
• An essay on diophantine equations for analytic functions
• A Differentially Algebraic Elimination Theorem with Application to Analog Computability in the Calculus of Variations
• Effective power series computations
• The Undecidability of the Existence of Zeros of Real Elementary Functions
• scientific article; zbMATH DE number 16661 (Why is no real title available?)
• An undecidable property of definite integrals
• Effective analytic functions
• Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
• On an undecidable problem related to difference equations with parameters
• Computability, noncomputability and undecidability of maximal intervals of IVPs
• Solving difference equations whose coefficients are not transcendental
• A zero test for -algebraic power Series
• Solvable (and unsolvable) cases of the decision problem for fragments of analysis
• Computing with D-algebraic power series

This page was built for publication: Decision problems for differential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4732470)