Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
From MaRDI portal
Publication:4589506
Abstract: Arb is a C library for arbitrary-precision interval arithmetic using the midpoint-radius representation, also known as ball arithmetic. It supports real and complex numbers, polynomials, power series, matrices, and evaluation of many special functions. The core number types are designed for versatility and speed in a range of scenarios, allowing performance that is competitive with non-interval arbitrary-precision types such as MPFR and MPC floating-point numbers. We discuss the low-level number representation, strategies for precision and error bounds, and the implementation of efficient polynomial arithmetic with interval coefficients.
Cited in
(95)- All the trinomial roots, their powers and logarithms from the Lambert series, Bell polynomials and Fox-Wright function: illustration for genome multiplicity in survival of irradiated cells
- Clustering complex zeros of triangular systems of polynomials
- Rigorous computation of Maass cusp forms of squarefree level
- Charge asymmetry in electron/positron energy loss in nuclear Bremsstrahlung
- Hausdorff dimension of Gauss-Cantor sets and two applications to classical Lagrange and Markov spectra
- Computing groups of Hecke characters
- Inclusive rates from smeared spectral densities in the two-dimensional O(3) non-linear \(\sigma\)-model
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- The Cauchy-Lagrange method for 3D-axisymmetric wall-bounded and potentially singular incompressible Euler flows
- \(k\)-point semidefinite programming bounds for equiangular lines
- Floer homology, group orderability, and taut foliations of hyperbolic 3-manifolds
- A counterexample to Payne's nodal line conjecture with few holes
- A standard branch-and-bound approach for nonlinear semi-infinite problems
- Computing the Lambert \(W\) function in arbitrary-precision complex interval arithmetic
- Pair correlation estimates for the zeros of the zeta function via semidefinite programming
- Asymptotic analysis of regular sequences
- Computer-assisted proofs in PDE: a survey
- Truncation bounds for differentially finite series
- Improved Bounds on Brun’s Constant
- Twist-minimal trace formulas and the Selberg eigenvalue conjecture
- On certain multiples of Littlewood and Newman polynomials
- Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights
- The stretch to stray on time: Resonant length of random walks in a transient
- Fujii's development on Chebyshev's conjecture
- Computing Stieltjes constants using complex integration
- Accurate estimation of sums over zeros of the Riemann zeta-function
- Computing hypergeometric functions rigorously
- The expected signature of Brownian motion stopped on the boundary of a circle has finite radius of convergence
- Primes in arithmetic progressions and semidefinite programming
- The Riemann hypothesis is true up to 3·1012
- FunGrim: A Symbolic Library for Special Functions
- Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes
- Efficient computation of the Wright function and its applications to fractional diffusion-wave equations
- Outgoing solutions and radiation boundary conditions for the ideal atmospheric scalar wave equation in helioseismology
- Computation of tight enclosures for Laplacian eigenvalues
- The minimal Fried average entropy for higher-rank Cartan actions
- Computing enclosures for the matrix exponential
- Efficient and accurate algorithm for the full modal Green's kernel of the scalar wave equation in helioseismology
- Explicit arithmetic intersection theory and computation of Néron-Tate heights
- An Arbitrary Precision Scaling and Squaring Algorithm for the Matrix Exponential
- Hausdorff dimension estimates applied to Lagrange and Markov spectra, Zaremba theory, and limit sets of Fuchsian groups
- A certificate-based approach to formally verified approximations
- Time- and ensemble-average statistical mechanics of the Gaussian network model
- Numerical finite-gap integration of the Zabusky–Kruskal problem
- Validated Root Enclosures for Interval Polynomials with Multiplicities
- Analytical representation and efficient computation of the effective conductivity of two‐phase composite materials
- Computational Number Theory, Past, Present, and Future
- Burgers' equation in the complex plane
- Band-Limited Maximizers for a Fourier Extension Inequality on the Circle, II
- Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
- Fitting Matérn smoothness parameters using automatic differentiation
- Highest cusped waves for the Burgers-Hilbert equation
- Explicit bounds for the Riemann zeta function and a new zero-free region
- On the computation of general vector-valued modular forms
- Smooth self-similar imploding profiles to 3D compressible Euler
- Computing error bounds for asymptotic expansions of regular P-recursive sequences
- On the computation of modular forms on noncongruence subgroups
- Unconditional computation of the class groups of real quadratic fields
- Complexity of a root clustering algorithm for holomorphic functions
- Delbrück scattering above the pair production threshold: going beyond the Born approximation
- An extremal problem and inequalities for entire functions of exponential type
- Effective estimates of ergodic quantities illustrated on the Bolyai-Rényi map
- Highest cusped waves for the fractional KdV equations
- Accurate calculation of Euclidean norms using double-word arithmetic
- Certifying zeros of polynomial systems using interval arithmetic
- Efficient and validated numerical evaluation of abelian integrals
- The Klein quartic maximizes the multiplicity of the first positive eigenvalue of the Laplacian
- On perfectly friendly bisections of random graphs
- Solving clustered low-rank semidefinite programs arising from polynomial optimization
- Approximation and interpolation of singular measures by trigonometric polynomials
- On counterexamples to the Mertens conjecture
- Fast adaptive Fourier integration for spectral densities of Gaussian processes
- Fast and stable rational approximation of generalized hypergeometric functions
- Calcium. Computing in exact real and complex fields
- Computationally assisted proof of a novel \(\mathsf{O}(3)\times \mathsf{O}(10)\)-invariant Einstein metric on \(S^{12} \)
- Isoperimetric inequalities on slabs with applications to cubes and Gaussian slabs
- Asymptotic analysis and efficient random sampling of directed ordered acyclic graphs
- Computer validation of open gaps for the almost Mathieu operator with critical coupling
- Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces
- Existence of analytic non-convex V-states
- On the sign changes of (x)-x
- Idoneal genera and K3 surfaces covering an Enriques surface
- Hyperbolic generalized triangle groups, property (T) and finite simple quotients
- The extremal length systole of the Bolza surface
- Smooth imploding solutions for 3D compressible fluids
- Validated numerics for algebraic path tracking
- Validated numerical Hensel lifting
- Computer-assisted construction of SU(2)-invariant negative Einstein metrics
- Sampling cubic rings
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Any three eigenvalues do not determine a triangle
- Root radii and subdivision for polynomial root-finding
This page was built for publication: Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4589506)
