Evaluating parametric holonomic sequences using rectangular splitting

DOI10.1145/2608628.2608629zbMath1325.65178arXiv1310.3741OpenAlexW2126751952MaRDI QIDQ3452403

Fredrik Johansson

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

zbMATH Keywords

gamma functionhypergeometric functionsnumerical evaluationlinearly recurrent sequencesfast arithmetic

Mathematics Subject Classification ID

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)

Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights ⋮ Fast evaluation and root finding for polynomials with floating-point coefficients ⋮ Computing Hypergeometric Functions Rigorously ⋮ Short addition sequences for theta functions

Uses Software

• Jordan

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