Abstract
Let F be a differential field generated from the rational functions over some constant field by one hyperexponential extension. We present an algorithm to compute the solutions in F^n of systems of n first-order linear ODEs. Solutions in F of a scalar ODE of higher order can be determined by an algorithm of Bronstein and Fredet. Our approach avoids reduction to the scalar case. We also give examples to show how this can be applied to integration.
| Original language | English |
|---|---|
| Title of host publication | ISSAC 2012 - Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation |
| Editors | Joris von der Hoeven, Mark von Hoej |
| Pages | 51-58 |
| Number of pages | 8 |
| DOIs | |
| Publication status | Published - 2012 |
Fields of science
- 101001 Algebra
- 101002 Analysis
- 101 Mathematics
- 102 Computer Sciences
- 102011 Formal languages
- 101009 Geometry
- 101013 Mathematical logic
- 101020 Technical mathematics
- 101025 Number theory
- 101012 Combinatorics
- 101005 Computer algebra
- 101006 Differential geometry
- 101003 Applied geometry
- 102025 Distributed systems
JKU Focus areas
- Computation in Informatics and Mathematics