An algorithm for solving second order linear homogeneous differential equations
Journal of Symbolic Computation
Integration of elementary functions
Journal of Symbolic Computation
On Liouvillian solutions of homogeneous linear differential equations
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
The general solution of an ordinary differential equation
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Modern computer algebra
On Liouvillian solutions of linear differential equations of order 4 and 5
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Linear differential operators for polynomial equations
Journal of Symbolic Computation
Solutions of linear ordinary differential equations in terms of special functions
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Rational general solutions of algebraic ordinary differential equations
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Hi-index | 0.00 |
In this paper, we give a necessary and sufficient condition for an algebraic ODE to have an algebraic general solution. For a first order autonomous ODE, we give an optimal bound for the degree of its algebraic general solutions and a polynomial-time algorithm to compute an algebraic general solution if it exists. Here an algebraic ODE means that an ODE given by a differential polynomial.