Solving higher order linear differential equations having elliptic function coefficients
DOI10.1145/2608628.2608675zbMath1325.34001OpenAlexW2046580591MaRDI QIDQ3452382
Publication date: 11 November 2015
Published in: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2608628.2608675
linear differential equationselliptic functionsPicard's theoremdoubly periodic functionshyperexponential solutions
Symbolic computation and algebraic computation (68W30) Explicit solutions, first integrals of ordinary differential equations (34A05) Linear ordinary differential equations and systems (34A30)
Uses Software
Cites Work
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Cylindrical algebraic decomposition using validated numerics
- The Jordan Curve Theorem, Formally and Informally
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Definability and decision problems in arithmetic
- Unnamed Item
- Unnamed Item
This page was built for publication: Solving higher order linear differential equations having elliptic function coefficients