Computing hypergeometric functions rigorously
From MaRDI portal
Publication:4960950
Abstract: We present an efficient implementation of hypergeometric functions in arbitrary-precision interval arithmetic. The functions , , and (or the Kummer -function) are supported for unrestricted complex parameters and argument, and by extension, we cover exponential and trigonometric integrals, error functions, Fresnel integrals, incomplete gamma and beta functions, Bessel functions, Airy functions, Legendre functions, Jacobi polynomials, complete elliptic integrals, and other special functions. The output can be used directly for interval computations or to generate provably correct floating-point approximations in any format. Performance is competitive with earlier arbitrary-precision software, and sometimes orders of magnitude faster. We also partially cover the generalized hypergeometric function and computation of high-order parameter derivatives.
Recommendations
Cites work
- scientific article; zbMATH DE number 994432 (Why is no real title available?)
- scientific article; zbMATH DE number 4171064 (Why is no real title available?)
- scientific article; zbMATH DE number 4055695 (Why is no real title available?)
- scientific article; zbMATH DE number 1186953 (Why is no real title available?)
- scientific article; zbMATH DE number 1552275 (Why is no real title available?)
- scientific article; zbMATH DE number 1867368 (Why is no real title available?)
- scientific article; zbMATH DE number 5486283 (Why is no real title available?)
- scientific article; zbMATH DE number 3273551 (Why is no real title available?)
- A Precision Approximation of the Gamma Function
- A bound for the error term in the Brent-McMillan algorithm
- Acceleration of generalized hypergeometric functions through precise remainder asymptotics
- Algorithm 814
- Algorithm 912: A module for calculating cylindrical functions of complex order and complex argument
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- Computation of the Gamma, Digamma, and Trigamma Functions
- Computational strategies for the Riemann zeta function
- Computing the Gamma Function Using Contour Integrals and Rational Approximations
- Computing the Principal Branch of log-Gamma
- Computing the confluent hypergeometric function, \(M(a,b,x)\)
- Computing the hypergeometric function
- Connection formulas between Coulomb wave functions
- Effective bounds for P-recursive sequences
- Effective computation of Maass cusp forms
- Efficient Multiple-Precision Evaluation of Elementary Functions
- Efficient accelero-summation of holonomic functions
- Evaluating parametric holonomic sequences using rectangular splitting
- Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights
- Fast computation of Bernoulli, tangent and secant numbers
- Fast computation of the Gauss hypergeometric function with all its parameters complex with application to the Pöschl-Teller-Ginocchio potential wave functions
- Fast evaluation of holonomic functions
- Fast evaluation of holonomic functions near and in regular singularities
- Fast evaluation of the Hurwitz zeta function and Dirichlet \(L\)-series
- Fast evaluation of the gamma function for small rational fractions using complete elliptic integrals of the first kind
- Fast evaluation of the hypergeometric function \(_pF_{p-1}\)(a;b;z) at the singular point \(z = 1\) by means of the Hurwitz zeta function \(\xi(\alpha,s)\).
- Faster computation of Bernoulli numbers
- High-precision arithmetic in mathematical physics
- Hypergeometric functions in exact geometric computation
- Integrals of the Ising class
- Linear Recurrences with Polynomial Coefficients and Application to Integer Factorization and Cartier–Manin Operator
- MPFR
- Modern computer arithmetic
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- NIST handbook of mathematical functions
- NumGfun: a package for numerical and analytic computation with D-finite functions
- Numerical Methods for Special Functions
- Numerical calculation of Bessel, Hankel and Airy functions
- Numerical evaluation of the confluent hypergeometric function for complex arguments of large magnitudes
- Numerical methods for the computation of the confluent and Gauss hypergeometric functions
- Precise numerical computation
- Reduced complexity evaluation of hypergeometric functions
- Rigorous high-precision computation of the Hurwitz zeta function and its derivatives
- The analytic continuation of the Gaussian hypergeometric function \(_2F_1(a,b;c;z)\) for arbitrary parameters
- The numerical computation of the confluent hypergeometric function U(a,b,z)
- Validated computation of certain hypergeometric functions
- Validated numerics. A short introduction to rigorous computations.
Cited in
(22)- Truncation bounds for differentially finite series
- Hypergeometric functions in exact geometric computation
- Validated computation of certain hypergeometric functions
- The minimal Fried average entropy for higher-rank Cartan actions
- Numerically satisfactory solutions of hypergeometric recursions
- Range Functions of Any Convergence Order and Their Amortized Complexity Analysis
- Highest cusped waves for the Burgers-Hilbert equation
- A practical, effective calculation of gamma difference distributions with open data science tools
- Efficient higher-order derivatives of the hypergeometric function
- Validated Evaluation of Special Mathematical Functions
- Highest cusped waves for the fractional KdV equations
- Fast and accurate algorithm for the generalized exponential integral \(E_{\nu}(x)\) for positive real order
- Asymptotic expansions of Kummer hypergeometric functions with three asymptotic parameters \(a\), \(b\) and \(z\)
- Numerical approximation of the fractional Laplacian on \(\mathbb{R}\) using orthogonal families
- Fast and stable rational approximation of generalized hypergeometric functions
- A novel and simple spectral method for nonlocal PDEs with the fractional Laplacian
- Stieltjes moment sequences for pattern-avoiding permutations
- Outgoing solutions and radiation boundary conditions for the ideal atmospheric scalar wave equation in helioseismology
- Efficient and Reliable Multiprecision Implementation of Elementary and Special Functions
- Computational problems of multivariate hypergeometric theory
- Time- and ensemble-average statistical mechanics of the Gaussian network model
- Computation of the confluent hypergeometric function \(U(a,b,x)\) and its derivative for positive arguments
Describes a project that uses
Uses Software
This page was built for publication: Computing hypergeometric functions rigorously
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4960950)