Arb
From MaRDI portal
Software:19838
swMATH7822MaRDI QIDQ19838FDOQ19838
Author name not available (Why is that?)
Cited In (67)
- On a Li-type criterion for zero-free regions of certain Dirichlet series with real coefficients
- On certain multiples of Littlewood and Newman polynomials
- Algebraic Polytopes in Normaliz
- Fast and accurate algorithm for the generalized exponential integral \(E_{\nu}(x)\) for positive real order
- 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)
- On Littlewood and Newman polynomial multiples of Borwein polynomials
- Any three eigenvalues do not determine a triangle
- Root radii and subdivision for polynomial root-finding
- Linnik's approximation to Goldbach's conjecture, and other problems
- Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- Rigorous high-precision computation of the Hurwitz zeta function and its derivatives
- A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic
- On the zeros of some đż functions from the extended Selberg class
- On the discretized Li coefficients for a certain class of \(L\)-functions
- Clustering complex zeros of triangular systems of polynomials
- On approximate solutions of the equations of incompressible magnetohydrodynamics
- High-precision computation of the confluent hypergeometric functions via Franklin-Friedman expansion
- Computation of Tight Enclosures for Laplacian Eigenvalues
- A certificate-based approach to formally verified approximations
- The Cauchy-Lagrange method for 3D-axisymmetric wall-bounded and potentially singular incompressible Euler flows
- Computing the Lambert \(W\) function in arbitrary-precision complex interval arithmetic
- Primes in arithmetic progressions and semidefinite programming
- Computer-assisted proofs in PDE: a survey
- Computational Mathematics with SageMath
- Computing period matrices and the Abel-Jacobi map of superelliptic curves
- \(k\)-point semidefinite programming bounds for equiangular lines
- Hausdorff dimension of Gauss-Cantor sets and two applications to classical Lagrange and Markov spectra
- On the Atkinson formula for the \(\zeta\) function
- Numerical integration in arbitrary-precision ball arithmetic
- A standard branch-and-bound approach for nonlinear semi-infinite problems
- Fujiiâs development on Chebyshevâs conjecture
- Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem
- FunGrim: A Symbolic Library for Special Functions
- Pair correlation estimates for the zeros of the zeta function via semidefinite programming
- Riemann's zeta function and finite Dirichlet series
- Hausdorff dimension estimates applied to Lagrange and Markov spectra, Zaremba theory, and limit sets of Fuchsian groups
- Computing Stieltjes constants using complex integration
- Asymptotic analysis of regular sequences
- Efficient computation of the Wright function and its applications to fractional diffusion-wave equations
- On the fast Lanczos method for computation of eigenvalues of Hankel matrices using multiprecision arithmetics.
- A counterexample to Payne's nodal line conjecture with few holes
- Explicit arithmetic intersection theory and computation of Néron-Tate heights
- Sign changes in the prime number theorem
- An Arbitrary Precision Scaling and Squaring Algorithm for the Matrix Exponential
- The stretch to stray on time: Resonant length of random walks in a transient
- Rigorous computation of Maass cusp forms of squarefree level
- Truncation bounds for differentially finite series
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- Improved Bounds on Brunâs Constant
- On the evaluation of some sparse polynomials
- Computing Hypergeometric Functions Rigorously
- Charge asymmetry in electron/positron energy loss in nuclear bremsstrahlung
- Computing Enclosures for the Matrix Exponential
- Turing's method for the Selberg zeta-function
- Outgoing solutions and radiation boundary conditions for the ideal atmospheric scalar wave equation in helioseismology
- Efficient and Accurate Algorithm for the Full Modal Green's Kernel of the Scalar Wave Equation in Helioseismology
- Accurate estimation of sums over zeros of the Riemann zeta-function
- Computing groups of Hecke characters
- On asymptotic behavior of generalized Li coefficients
- 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
- A practical, effective calculation of gamma difference distributions with open data science tools
- Short addition sequences for theta functions
- The minimal Fried average entropy for higher-rank Cartan actions
- Time- and ensemble-average statistical mechanics of the Gaussian network model
- Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes
This page was built for software: Arb