Formal solutions of differential equations
type: Item
instance of: scholarly article
title: Formal solutions of differential equations
zbMATH Open document ID: 0727.12011
DOI: 10.1016/S0747-7171(08)80037-5
author: Michael F. Singer
published in: Journal of Symbolic Computation
publication date: 1990-01-01T00:00:00Z
review text: The author gives a survey of recent results in the theory of differential equations. The survey is made up from the viewpoint of differential algebra in general and connected with the first problem of Galois theory mainly. It includes methods for finding power series solutions, asymptotic methods etc. The methods of computer algebra systems such as MACSYMA are also discussed. The author poses some open questions and provides vast references.
Mathematics Subject Classification ID: 12H05
Mathematics Subject Classification ID: 34A05
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 34E05
Mathematics Subject Classification ID: 34-02
Mathematics Subject Classification ID: 12-02
zbMATH DE Number: 4200343
zbMATH Keywords: survey
zbMATH Keywords: differential algebra
zbMATH Keywords: first problem of Galois theory
zbMATH Keywords: power series solutions
zbMATH Keywords: asymptotic methods
zbMATH Keywords: computer algebra systems
zbMATH Keywords: MACSYMA
reviewed by: Mykola Grygorenko
cites work: DEtools
cites work: Q3794286
cites work: Q4206841
cites work: On Second Order Linear Differential Equations with Algebraic Solutions on Algebraic Curves
cites work: On Second Order Linear Differential Equations with Algebraic Solutions
cites work: Characterization of regular singular linear systems of difference equations
cites work: An Introduction to Lie Groups and Lie Algebras, with Applications. III: Computational Methods and Applications of Representation Theory
cites work: Functional equations in the theory of dynamic programming. XV: Layered functionals and partial differential equations
cites work: Q3720709
cites work: Siegel normality
cites work: Asymptotic phase amplitude for a modified Coulomb potential in scattering theory. An application of invariant imbedding
cites work: Similarity methods for differential equations
cites work: An extension of Hardy's class L of ''orders of infinity''
cites work: New ''orders of infinity''
cites work: "Orders of Infinity" Generated by Difference Equations
cites work: Discrete "Orders of Infinity"
cites work: Hardy fields and existence of transexponential functions
cites work: Q5339415
cites work: Integration of elementary functions
cites work: Q5540521
cites work: Q3811115
cites work: Q3947110
cites work: Integration in finite terms with special functions: the error function
cites work: Integration in Finite Terms with Special Functions: The Logarithmic Integral
cites work: Q5184974
cites work: MACSYMS's inverse Laplace transform
cites work: Q5848416
cites work: Symbolic Solution of Finite-Difference Equations
cites work: Q3810036
cites work: Q3783452
cites work: The Risch Differential Equation Problem
cites work: Q3749151
cites work: Elementary and Liouvillian solutions of linear differential equations
cites work: Q3994492
cites work: Approximants de Padé-Hermite. I.: Théorie
cites work: Q3342912
cites work: Q3940110
cites work: Q3222658
cites work: Power series solutions of algebraic differential equations
cites work: Q4000867
cites work: Q5820721
cites work: Q3947113
cites work: Computer algebra application for determining Lie and Lie-Bäcklund symmetries of differential equations
cites work: Q3772359
cites work: Q3672585
cites work: Q3995740
cites work: Symbolic Computation of Padé Approximants
cites work: Q4187258
cites work: Q3835015
cites work: Invariants mesurant l'irrégularité en un point singulier des systèmes d'équations différentielles linéaires
cites work: Q4203812
cites work: Q3346783
cites work: Integrals of multinomial systems of ordinary differential equations
cites work: Integrals of \(\nu\)-graded systems of ordinary differential equations
cites work: Decision procedure for indefinite hypergeometric summation
cites work: Q3727928

Formal solutions of differential equations (cites work)
cites work: Complexity of quantifier elimination in the theory of ordinary differentially closed fields

Formal solutions of differential equations (cites work)
cites work: Solving Ordinary Differential Equations in Terms of Series with Real Exponents

Formal solutions of differential equations (cites work)
cites work: Q3961775

Formal solutions of differential equations (cites work)
cites work: Q3326048

Formal solutions of differential equations (cites work)
cites work: Q1089482

Formal solutions of differential equations (cites work)
cites work: On the algebraic and differential Newton-Puiseux polygons

Formal solutions of differential equations (cites work)
cites work: Un algorithme de calcul de l'invariant de Katz d'un système différentiel linéaire. (An algorithm for the calculation of the Katz invariant of a linear differential system)

Formal solutions of differential equations (cites work)
cites work: Formes super-irréductibles des systèmes différentiels linéaires. (Super-irreducible forms of linear differential systems)

Formal solutions of differential equations (cites work)
cites work: Q4112233

Formal solutions of differential equations (cites work)
cites work: Application of NEWEUL in robot dynamics

Formal solutions of differential equations (cites work)
cites work: Classification of Second-Order Ordinary Differential Equations Admitting Lie Groups of Fibre-Preserving Point Symmetries

Formal solutions of differential equations (cites work)
cites work: Q5843703

Formal solutions of differential equations (cites work)
cites work: Equations de Pfaff algébriques

Formal solutions of differential equations (cites work)
cites work: Q3706495

Formal solutions of differential equations (cites work)
cites work: Non-commutative Gröbner bases in algebras of solvable type

Formal solutions of differential equations (cites work)
cites work: Q3255437

Formal solutions of differential equations (cites work)
cites work: Summation in Finite Terms

Formal solutions of differential equations (cites work)
cites work: Theory of summation in finite terms

Formal solutions of differential equations (cites work)
cites work: Q4116553

Formal solutions of differential equations (cites work)
cites work: A Simple Algorithm for Cyclic Vectors

Formal solutions of differential equations (cites work)
cites work: On the calculation of some differential Galois groups

Formal solutions of differential equations (cites work)
cites work: A note on pseudo-CM representations and differential Galois groups

Formal solutions of differential equations (cites work)
cites work: Q3935355

Formal solutions of differential equations (cites work)
cites work: Explicit evaluation of certain definite integrals involving powers of logarithms

Formal solutions of differential equations (cites work)
cites work: Q5680222

Formal solutions of differential equations (cites work)
cites work: An algorithm for solving second order linear homogeneous differential equations

Formal solutions of differential equations (cites work)
cites work: Q3959425

Formal solutions of differential equations (cites work)
cites work: Q3342911

Formal solutions of differential equations (cites work)
cites work: Q3334003

Formal solutions of differential equations (cites work)
cites work: Jordan decomposition for a class of singular differential operators

Formal solutions of differential equations (cites work)
cites work: The diagonal of a D-finite power series is D-finite

Formal solutions of differential equations (cites work)
cites work: The Similarity Method for Difference Equations

Formal solutions of differential equations (cites work)
cites work: Q3325026

Formal solutions of differential equations (cites work)
cites work: Q3744256

Formal solutions of differential equations (cites work)
cites work: Lie theory and special functions

Formal solutions of differential equations (cites work)
cites work: Q4063667

Formal solutions of differential equations (cites work)
cites work: Q4145991

Formal solutions of differential equations (cites work)
cites work: Q3470572

Formal solutions of differential equations (cites work)
cites work: The order of a singularity in Fuchs' theory

Formal solutions of differential equations (cites work)
cites work: Criterion of global equivalence of linear differential equations

Formal solutions of differential equations (cites work)
cites work: Q3759161

Formal solutions of differential equations (cites work)
cites work: Computing with Formal Power Series

Formal solutions of differential equations (cites work)
cites work: Q3957936

Formal solutions of differential equations (cites work)
cites work: Q4184331

Formal solutions of differential equations (cites work)
cites work: Q4184334

Formal solutions of differential equations (cites work)
cites work: Q4065978

Formal solutions of differential equations (cites work)
cites work: Asymptotic Approximations and Error Bounds

Formal solutions of differential equations (cites work)
cites work: Q3715336

Formal solutions of differential equations (cites work)
cites work: Sur l'intégrabilite élémentaire de quelques classes d'expressions

Formal solutions of differential equations (cites work)
cites work: Q3945260

Formal solutions of differential equations (cites work)
cites work: Elementary First Integrals of Differential Equations

Formal solutions of differential equations (cites work)
cites work: Q4196713

Formal solutions of differential equations (cites work)
cites work: Théorèmes d’indices Gevrey pour les équations différentielles ordinaires

Formal solutions of differential equations (cites work)
cites work: Q3722598

Formal solutions of differential equations (cites work)
cites work: Q3706491

Formal solutions of differential equations (cites work)
cites work: Perturbation methods, bifurcation theory and computer algebra

Formal solutions of differential equations (cites work)
cites work: The solution of the problem of integration in finite terms

Formal solutions of differential equations (cites work)
cites work: Implicity Elementary Integrals

Formal solutions of differential equations (cites work)
cites work: Algebraic Properties of the Elementary Functions of Analysis

Formal solutions of differential equations (cites work)
cites work: Q5787786

Formal solutions of differential equations (cites work)
cites work: Associative differential operations

Formal solutions of differential equations (cites work)
cites work: Symbolic manipulation and computational fluid dynamics

Formal solutions of differential equations (cites work)
cites work: Liouville's theorem on functions with elementary integrals

Formal solutions of differential equations (cites work)
cites work: Integration in Finite Terms

Formal solutions of differential equations (cites work)
cites work: On Liouville's theory of elementary functions

Formal solutions of differential equations (cites work)
cites work: On the Value Group of a Differential Valuation

Formal solutions of differential equations (cites work)
cites work: Differential valuations

Formal solutions of differential equations (cites work)
cites work: On the Value Group of a Differential Valuation II

Formal solutions of differential equations (cites work)
cites work: Hardy fields

Formal solutions of differential equations (cites work)
cites work: The Rank of a Hardy Field

Formal solutions of differential equations (cites work)
cites work: Rank change on adjoining real powers to Hardy fields

Formal solutions of differential equations (cites work)
cites work: Q4148075

Formal solutions of differential equations (cites work)
cites work: A counterexample to elimination in systems of algebraic differential equations

Formal solutions of differential equations (cites work)
cites work: Q3947111

Formal solutions of differential equations (cites work)
cites work: Q3871924

Formal solutions of differential equations (cites work)
cites work: Automatically determining symmetries of partial differential equations

Formal solutions of differential equations (cites work)
cites work: The Riquier-Janet theory and its application to nonlinear evolution equations

Formal solutions of differential equations (cites work)
cites work: An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations

Formal solutions of differential equations (cites work)
cites work: Q3973015

Formal solutions of differential equations (cites work)
cites work: Symmetries of Differential Equations: From Sophus Lie to Computer Algebra

Formal solutions of differential equations (cites work)
cites work: Q3255438

Formal solutions of differential equations (cites work)
cites work: Elementary solutions of differential equations

Formal solutions of differential equations (cites work)
cites work: Functions Satisfying Elementary Relations

Formal solutions of differential equations (cites work)
cites work: Q3900155

Formal solutions of differential equations (cites work)
cites work: Liouvillian Solutions of n-th Order Homogeneous Linear Differential Equations

Formal solutions of differential equations (cites work)
cites work: Solving Homogeneous Linear Differential Equations in Terms of Second Order Linear Differential Equations

Formal solutions of differential equations (cites work)
cites work: Algebraic Relations Among Solutions of Linear Differential Equations: Fano's Theorem

Formal solutions of differential equations (cites work)
cites work: Q3197951

Formal solutions of differential equations (cites work)
cites work: Liouvillian solutions of linear differential equations with Liouvillian coefficients

Formal solutions of differential equations (cites work)
cites work: An Extension of Liouville’s Theorem on Integration in Finite Terms

Formal solutions of differential equations (cites work)
cites work: Some Applications of Linear Groups to Differential Equations

Formal solutions of differential equations (cites work)
cites work: Q3482057

Formal solutions of differential equations (cites work)
cites work: Meromorphic families of compact operators

Formal solutions of differential equations (cites work)
cites work: Lie series and nonlinear ordinary differential equations

Formal solutions of differential equations (cites work)
cites work: Q3736595

Formal solutions of differential equations (cites work)
cites work: Q3963106

Formal solutions of differential equations (cites work)
cites work: Q4198858

Formal solutions of differential equations (cites work)
cites work: Solution of the Inverse Problem of Differential Galois Theory in the Classical Case

Formal solutions of differential equations (cites work)
cites work: Q4191541

Formal solutions of differential equations (cites work)
cites work: Q3833554

Formal solutions of differential equations (cites work)
cites work: Analytic Hardy Fields and Exponential Curves in the Real Plane

Formal solutions of differential equations (cites work)
cites work: Exponential rings, exponential polynomials and exponential functions

Formal solutions of differential equations (cites work)
cites work: FINGER: A symbolic system for automatic generation of numerical programs in finite element analysis

Formal solutions of differential equations (cites work)
cites work: Formula manipulations solving linear ordinary differential equations. II

Formal solutions of differential equations (cites work)
cites work: Q3955676

Formal solutions of differential equations (cites work)
cites work: Q3345780

Formal solutions of differential equations (cites work)
cites work: An analytic algorithm for decoupling and integrating systems of nonlinear partial differential equations

Formal solutions of differential equations (cites work)
cites work: Q3822143

Formal solutions of differential equations (cites work)
cites work: Q4153620

Formal solutions of differential equations (cites work)
cites work: Q4845203

Formal solutions of differential equations (cites work)
cites work: Q4139546

Formal solutions of differential equations (cites work)
cites work: The method of creative telescoping

Formal solutions of differential equations (cites work)
cites work: Q3994494

Formal solutions of differential equations (describes a project that uses)
describes a project that uses: DEtools

Formal solutions of differential equations (describes a project that uses)
describes a project that uses: FINGER

Formal solutions of differential equations (describes a project that uses)
describes a project that uses: SPDE

Formal solutions of differential equations (describes a project that uses)
describes a project that uses: Maple

Formal solutions of differential equations (describes a project that uses)
describes a project that uses: MACSYMA

Formal solutions of differential equations (describes a project that uses)
describes a project that uses: LIE0

Formal solutions of differential equations (describes a project that uses)
describes a project that uses: NEWEUL

Formal solutions of differential equations (describes a project that uses)
describes a project that uses: Alkahest III

Formal solutions of differential equations (describes a project that uses)
describes a project that uses: REDUCE

Formal solutions of differential equations (MaRDI profile type)
MaRDI profile type: Publication