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