Parallel telescoping and parameterized Picard-Vessiot theory

DOI10.1145/2608628.2608638zbMath1325.68269arXiv1401.4666OpenAlexW2118513104MaRDI QIDQ3452383

Ruyong Feng, Ziming Li, Shaoshi Chen, Michael F. Singer

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://arxiv.org/abs/1401.4666

zbMATH Keywords

creative telescopingparameterized Picard-Vessiot theory\(D\)-finite functionsparallel telescopers

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential algebra (12H05) Abstract differential equations (12H20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters ⋮ Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation ⋮ Telescopers for differential forms with one parameter ⋮ On the existence of telescopers for rational functions in three variables

Uses Software

• Jordan

Cites Work

• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Parallel telescoping and parameterized Picard-Vessiot theory