Arb
From MaRDI portal
Cited in
(only showing first 100 items - show all)- ACETAF
- C-XSC 2.0
- FLINT
- Mathemagix
- curve_reconstruction
- CharFunTool
- MPFI
- PARI/GP
- Lazysets.jl
- HypergeometricFunctions.jl
- ReproBLAS
- fdslrm
- SumCracker
- WAPR
- MPFR
- Numerical integration in arbitrary-precision ball arithmetic
- MPIR
- LBNL
- MuPAD-Combinat
- Turing's method for the Selberg zeta-function
- 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
- On asymptotic behavior of generalized Li coefficients
- Kiss FFT
- gaol
- mpmath
- NumGfun
- ARPREC
- LMFDB
- MPC
- Clustering complex zeros of triangular systems of polynomials
- SimplifySum
- Sign changes in the prime number theorem
- DDMF
- iRRAM
- NAG4M2
- Rigorous computation of Maass cusp forms of squarefree level
- Charge asymmetry in electron/positron energy loss in nuclear Bremsstrahlung
- Asyrec
- 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
- PaCAL
- \(k\)-point semidefinite programming bounds for equiangular lines
- On the discretized Li coefficients for a certain class of L-functions
- A counterexample to Payne's nodal line conjecture with few holes
- A standard branch-and-bound approach for nonlinear semi-infinite problems
- VERSOFT
- 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
- On approximate solutions of the equations of incompressible magnetohydrodynamics
- Computer-assisted proofs in PDE: a survey
- Truncation bounds for differentially finite series
- Linnik's approximation to Goldbach's conjecture, and other problems
- Rigorous high-precision computation of the Hurwitz zeta function and its derivatives
- Cephes
- NumericalAlgebraicGeometry
- minFunc
- MPFUN
- Octave Interval
- Wolfram Functions Site
- Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem
- On the Atkinson formula for the \(\zeta\) function
- MPIGMP
- GPUprec
- CUMP
- QD
- SIROCCO
- CAMPARY
- Antic
- Riemann's zeta function and finite Dirichlet series
- On the fast Lanczos method for computation of eigenvalues of Hankel matrices using multiprecision arithmetics.
- IncgamNEG
- A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic
- On a Li-type criterion for zero-free regions of certain Dirichlet series with real coefficients
- Moore
- JInterval
- Mmxlib
- ANewDsc
- Algorithm 917
- Algorithm 912
- Hecke
- Nemo
- Improved Bounds on Brun’s Constant
- ProDy
- Algorithm 978
- Algorithm 539
- zoverw
- Ccluster
- Ooura
- NormalizInterface
- Algorithm 443
- hcperiods
- ecdata
- LambertW
- MatchPy
- endomorphisms
This page was built for software: Arb
