Evaluating parametric holonomic sequences using rectangular splitting
DOI10.1145/2608628.2608629zbMath1325.65178arXiv1310.3741OpenAlexW2126751952MaRDI QIDQ3452403
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/1310.3741
gamma functionhypergeometric functionsnumerical evaluationlinearly recurrent sequencesfast arithmetic
Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Numerical aspects of recurrence relations (65Q30)
Related Items (4)
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: Evaluating parametric holonomic sequences using rectangular splitting