Software
-
Algorithmic non-integrability testing for planar homogeneous potentials
Maple code corresponding to the algorithms decribed in the paper. -
Integrable homogeneous potentials of degree -1 in the plane with small eigenvalues
Maple code for testing the validity of the conjecture at the end of the paper for an arbitrary eigenvalue. -
Symbolic Computations of First Integrals for Polynomial Vector Fields
Implementation of the rational, Darboux, Liouvillian and Ricatti first integral algorithm for planar rational vector fields.
New version of the implementation with considerable time improvements -
A symplectic Kovacic’s algorithm in dimension 4
Implementation of the algorithm described in the paper to find Liouvillian solutions to symplectic differential operators in dimension 4. -
Symbolic integration of hyperexponential 1-forms
Implementation of the algorithms described in the paper for symbolic integration and cohomology of hyperexponential 1-forms. -
Elementary integration of superelliptic integrals
Implementation of the algorithms described in the paper Elementary integration of superelliptic integrals. -
Symbolic integration on planar differential foliations
Implementation of the algorithms described in the paper Symbolic integration on planar differential foliations. -
Hyperelliptic integrals to elliptic integrals
Implementation of the algorithms described in the paper Hyperelliptic Integrals to Elliptic Integrals.
Combinatorial data used in the above file to improve performance