TY - GEN
T1 - Polynomialization of Ordinary Differential Equations Given by Straight-Line Programs
AU - Van Der Hoeven, Joris
AU - Lecerf, Grégoire
AU - Minondo, Arnaud
N1 - Publisher Copyright:
© 2026 Copyright held by the owner/author(s).
PY - 2026/7/12
Y1 - 2026/7/12
N2 - Given a system of ordinary differential equations represented by a straight-line program, we show how to compute an equivalent ordinary differential system represented by a straight-line program which only uses ring operations. Under mild assumptions, our method essentially runs in linear time.
AB - Given a system of ordinary differential equations represented by a straight-line program, we show how to compute an equivalent ordinary differential system represented by a straight-line program which only uses ring operations. Under mild assumptions, our method essentially runs in linear time.
KW - Complexity
KW - Ordinary differential equations
KW - Polynomialization
KW - Software
KW - Straight-line program
UR - https://www.scopus.com/pages/publications/105045832971
U2 - 10.1145/3815436.3815452
DO - 10.1145/3815436.3815452
M3 - Conference contribution
AN - SCOPUS:105045832971
T3 - Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
SP - 201
EP - 208
BT - ISSAC 2026 - Proceedings of the 2026 International Symposium on Symbolic and Algebraic Computation
A2 - Koutschan, Christoph
A2 - Bostan, Alin
A2 - Pernet, Clement
A2 - Vu, Thi Xuan
PB - Association for Computing Machinery
T2 - International Symposium on Symbolic and Algebraic Computation, ISSAC 2026
Y2 - 13 July 2026 through 17 July 2026
ER -