Power series solutions of algebraic differential equations
From MaRDI portal
(Redirected from Publication:1053752)
Decidability of theories and sets of sentences (03B25) Model-theoretic algebra (03C60) Abstract differential equations (12H20) Power series rings (13J05) Modules of differentials (13N05) Local deformation theory, Artin approximation, etc. (14B12) Nonlinear differential equations in abstract spaces (34G20)
Cites work
- A computable ordinary differential equation which possesses no computable solution
- A CRITERION FOR THE p-ADIC SOLUBILITY OF DIOPHANTINE EQUATIONS
- Algebraic approximation of structures over complete local rings
- Arithmetic properties of power series solutions of algebraic differential equations
- Contribution to the Picard-Vessiot Theory of Homogeneous Linear Differential Equations
- Diophantine problems over local fields. III: Decidable fields
- Further Pathologies in Algebraic Geometry
- scientific article; zbMATH DE number 3706580 (Why is no real title available?)
- scientific article; zbMATH DE number 3803909 (Why is no real title available?)
- scientific article; zbMATH DE number 3307642 (Why is no real title available?)
- scientific article; zbMATH DE number 3349995 (Why is no real title available?)
- scientific article; zbMATH DE number 3056446 (Why is no real title available?)
- Lectures on transcendental numbers. Edited and completed by B. Diviš and W. J. LeVeque
- On the solutions of analytic equations
- Rational points in Henselian discrete valuation rings
- Sur les points singuliers des équations différentielles
- The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
- The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
- The model theory of differential fields revisited
- The model theory of ordered differential fields
- The wave equation with computable initial data such that its unique solution is not computable
- Ultraproducts and approximation in local rings. I
Cited in
(43)- The reciprocals of solutions of linear ordinary differential equations
- Differential and difference algebra
- The differential counting polynomial
- Combinatorial resolution of systems of differential equations. III: A special class of differentially algebraic series
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
- On rational solutions of linear partial differential or difference equations
- Checking existence of solutions of partial differential equations in the fields of Laurent series
- Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one
- A logic based approach to finding real singularities of implicit ordinary differential equations
- On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations
- Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
- Initial forms and a notion of basis for tropical differential equations
- On testing the existence of universal denominators for partial differential and difference equations
- On generating series of finitely presented operads
- Remarks on Artin approximation with constraints
- Counting coloured planar maps: differential equations
- Effective power series computations
- Effective analytic functions
- On checking existence of infinitely differentiable solutions of partial differential equations with boundary conditions
- On initials and the fundamental theorem of tropical partial differential algebraic geometry
- Toward a model theory for transseries
- An Undecidability Result for Power Series Rings of Positive Characteristic
- Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations
- Decision problems for differential equations
- Digital simulation of analog computation and Church's thesis
- Mappings of Real Algebraic Hypersurfaces
- On ramification indices of formal solutions of constructive linear ordinary differential systems
- The classical Artin approximation theorems
- Formulae and asymptotics for coefficients of algebraic functions
- The uniform companion for large differential fields of characteristic 0
- Exploring tropical differential equations
- On formal power series solutions of regular differential chains
- A zero test for -algebraic power Series
- Computing with D-algebraic power series
- Infinite matroids in tropical differential algebra
- Differentially algebraic formal power series over fields of positive characteristic
- Bounds for D-algebraic closure properties
- On ordinary differentially large fields
- What can and cannot be done with Diophantine problems
- Solving first order autonomous algebraic ordinary differential equations by places
- Formal solutions of differential equations
- Singularities of algebraic differential equations
- On the relationship between differential algebra and tropical differential algebraic geometry
This page was built for publication: Power series solutions of algebraic differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1053752)
