Arb
From MaRDI portal
Cited in
(only showing first 100 items - show all)- On a Li-type criterion for zero-free regions of certain Dirichlet series with real coefficients
- A practical, effective calculation of gamma difference distributions with open data science tools
- Fast and accurate algorithm for the generalized exponential integral \(E_{\nu}(x)\) for positive real order
- On certain multiples of Littlewood and Newman polynomials
- Fujii's development on Chebyshev's conjecture
- 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)
- Any three eigenvalues do not determine a triangle
- Root radii and subdivision for polynomial root-finding
- On Littlewood and Newman polynomial multiples of Borwein polynomials
- Linnik's approximation to Goldbach's conjecture, and other problems
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights
- 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
- Short addition sequences for theta functions
- On the discretized Li coefficients for a certain class of \(L\)-functions
- Clustering complex zeros of triangular systems of polynomials
- High-precision computation of the confluent hypergeometric functions via Franklin-Friedman expansion
- On approximate solutions of the equations of incompressible magnetohydrodynamics
- Computing enclosures for the matrix exponential
- Computing hypergeometric functions rigorously
- Efficient and accurate algorithm for the full modal Green's kernel of the scalar wave equation in helioseismology
- 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
- A certificate-based approach to formally verified approximations
- Computer-assisted proofs in PDE: a survey
- Primes in arithmetic progressions and semidefinite programming
- \(k\)-point semidefinite programming bounds for equiangular lines
- Computing period matrices and the Abel-Jacobi map of superelliptic curves
- Algebraic polytopes in Normaliz
- The minimal Fried average entropy for higher-rank Cartan actions
- Hausdorff dimension of Gauss-Cantor sets and two applications to classical Lagrange and Markov spectra
- DLMF
- ACETAF
- C-XSC 2.0
- FLINT
- Mathemagix
- MPFI
- PARI/GP
- SumCracker
- WAPR
- MPFR
- MPIR
- LBNL
- MuPAD-Combinat
- Kiss FFT
- gaol
- mpmath
- NumGfun
- ARPREC
- LMFDB
- MPC
- SimplifySum
- DDMF
- Asyrec
- iRRAM
- NAG4M2
- PaCAL
- VERSOFT
- Cephes
- NumericalAlgebraicGeometry
- minFunc
- MPFUN
- Octave Interval
- Wolfram Functions Site
- CUMP
- CAMPARY
- Antic
- GPUprec
- MPIGMP
- QD
- SIROCCO
- IncgamNEG
- LambertW
- JInterval
- Moore
- Mmxlib
- ANewDsc
- Algorithm 917
- Algorithm 912
- Hecke
- Nemo
- ProDy
- Algorithm 978
- Algorithm 539
- Ccluster
- Ooura
- Algorithm 443
- NormalizInterface
- hcperiods
- zoverw
- ecdata
- MatchPy
- endomorphisms
- RODES
- cutgeneratingfunctionology
- kv
- WMINCON
- FunGrim
This page was built for software: Arb
