Formal solutions of differential equations

Authors:
Michael. F Singer
Affiliations:
Department of Mathematics North Carolina State University Box 8205 Raleigh, North Carolina 27695-8205, USA
Venue:
Journal of Symbolic Computation
Year:
1990

Citing 36
Cited 3

Integration in Finite Terms with Special Functions: the Error Function

Journal of Symbolic Computation
Theory of Summation in Finite Terms

Journal of Symbolic Computation
An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations

Journal of Symbolic Computation
An algorithm for solving second order linear homogeneous differential equations

Journal of Symbolic Computation
A tutorial introduction to Maple

Journal of Symbolic Computation
FINGER: A Symbolic System for Automatic Generation of Numerical Programs in Finite Element Analysis

Journal of Symbolic Computation
Elementary and Liouvillian Solutions of Linear Differential Equations

Journal of Symbolic Computation
Integration in finite terms with special functions: the logarithmic integral

SIAM Journal on Computing
The Risch differential equation problem

SIAM Journal on Computing
Perturbation methods, bifurcation theory and computer algebra

Perturbation methods, bifurcation theory and computer algebra
MACSYMS's inverse Laplace transform

ACM SIGSAM Bulletin
Application of NEWEUL in robot dynamics

Journal of Symbolic Computation
Computer algebra application for determining Lie and Lie-Bäcklund symmetries of differential equations

Journal of Symbolic Computation
Special function integration

ACM SIGSAM Bulletin
Non-commutative Gröbner bases in algebras of solvable type

Journal of Symbolic Computation
Integration of elementary functions

Journal of Symbolic Computation
Complexity of factoring and calculating the GCD of linear ordinary differential operators

Journal of Symbolic Computation
Integration in finite terms and simplification with dilogarithms: a progress report

Proceedings of the third conference on Computers and mathematics
Recipes for classes of definite integrals involving exponentials and logarithms

Proceedings of the third conference on Computers and mathematics
Computer algebra in the theory of ordinary differential equations of Halphen type

Proceedings of the third conference on Computers and mathematics
Symbolic derivation of equations for mixed formulation in finite element analysis

Proceedings of the third conference on Computers and mathematics
Summation in Finite Terms

Journal of the ACM (JACM)
Computing with Formal Power Series

ACM Transactions on Mathematical Software (TOMS)
Symbolic Solution of Finite-Difference Equations

ACM Transactions on Mathematical Software (TOMS)
Substitution methods for the automatic symbolic solution of differential equations of first order and first degree

EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
An algebraic form of a solution of a system of linear differential equations with constant coefficients

EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Convergence behavior of the Newton iteration for first order differential equations

EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
A Program in REDUCE for Finding Explicit Solutions to Certain Ordinary Differential Equations

EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
Algebraic Computation of the Solution of Some NonLinear Differential Equations

EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
An Algorithm to Obtain Formal Solutions of a Linear Homogeneous Differential Equation at an Irregular Singular Point

EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
Characterization of a linear differential system with a regular singularity

EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations

EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Automatically determining symmetries of ordinary differential equations

EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Algorithms for partial fraction decomposition and rational function integration

SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Algorithms using lie transformation groups to solve first order ordinary differential equations algebraically

Algorithms using lie transformation groups to solve first order ordinary differential equations algebraically
Explicit evaluation of certain definite integrals involving powers of logarithms

Journal of Symbolic Computation

Finding all hypergeometric solutions of linear differential equations

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Nested expansions and hardy fields

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Cited References

Computer algebra handbook

Quantified Score

Hi-index	0.00

Visualization

Abstract

We give a survey of some methods for finding formal solutions of differential equations. These include methods for finding power series solutions, elementary and liouvillian solutions, first integrals, Lie theoretic methods, transform methods, asymptotic methods. A brief discussion of difference equations is also included.