Cited in
(only showing first 100 items - show all)- A counterexample to Payne's nodal line conjecture with few holes
- Computing groups of Hecke characters
- Clustering complex zeros of triangular systems of polynomials
- Hausdorff dimension of Gauss-Cantor sets and two applications to classical Lagrange and Markov spectra
- Truncation bounds for differentially finite series
- Hausdorff dimension estimates applied to Lagrange and Markov spectra, Zaremba theory, and limit sets of Fuchsian groups
- Asymptotic analysis of regular sequences
- Explicit arithmetic intersection theory and computation of Néron-Tate heights
- Numerical integration in arbitrary-precision ball arithmetic
- On a Li-type criterion for zero-free regions of certain Dirichlet series with real coefficients
- Charge asymmetry in electron/positron energy loss in nuclear Bremsstrahlung
- Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem
- Pair correlation estimates for the zeros of the zeta function via semidefinite programming
- Short addition sequences for theta functions
- Primes in arithmetic progressions and semidefinite programming
- A certificate-based approach to formally verified approximations
- Improved Bounds on Brun’s Constant
- Rubi
- The Cauchy-Lagrange method for 3D-axisymmetric wall-bounded and potentially singular incompressible Euler flows
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- Computing Stieltjes constants using complex integration
- Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights
- Riemann's zeta function and finite Dirichlet series
- On approximate solutions of the equations of incompressible magnetohydrodynamics
- The stretch to stray on time: Resonant length of random walks in a transient
- A standard branch-and-bound approach for nonlinear semi-infinite problems
- 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
- curve_reconstruction
- CharFunTool
- Efficient computation of the Wright function and its applications to fractional diffusion-wave equations
- Turing's method for the Selberg zeta-function
- On the discretized Li coefficients for a certain class of \(L\)-functions
- Rigorous computation of Maass cusp forms of squarefree level
- Inclusive rates from smeared spectral densities in the two-dimensional O(3) non-linear \(\sigma\)-model
- Lazysets.jl
- HypergeometricFunctions.jl
- fdslrm
- ReproBLAS
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- An Arbitrary Precision Scaling and Squaring Algorithm for the Matrix Exponential
- Accurate estimation of sums over zeros of the Riemann zeta-function
- On the Atkinson formula for the \(\zeta\) function
- Computing period matrices and the Abel-Jacobi map of superelliptic curves
- Sign changes in the prime number theorem
- 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
- On certain multiples of Littlewood and Newman polynomials
- Computation of tight enclosures for Laplacian eigenvalues
- \(k\)-point semidefinite programming bounds for equiangular lines
- Fujii's development on Chebyshev's conjecture
- On the fast Lanczos method for computation of eigenvalues of Hankel matrices using multiprecision arithmetics.
- On Littlewood and Newman polynomial multiples of Borwein polynomials
- BesselK.jl
- PariTwine
- Maass-Form-Trace-Formula-Code
- HofstadterTools
- FiniteDifferences.jl
- The minimal Fried average entropy for higher-rank Cartan actions
- Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes
- A practical, effective calculation of gamma difference distributions with open data science tools
- Asymptotic Expansions
- Algorithm 1014
- Time- and ensemble-average statistical mechanics of the Gaussian network model
- On asymptotic behavior of generalized Li coefficients
- Any three eigenvalues do not determine a triangle
- LAMBERTW
- Root radii and subdivision for polynomial root-finding
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic
- Computational mathematics with SageMath. Translated from the 2013 French original by the authors
- Linnik's approximation to Goldbach's conjecture, and other problems
- On the zeros of some \(L\) functions from the extended Selberg class
- Computing enclosures for the matrix exponential
- tangent Graeffe
- Fast and accurate algorithm for the generalized exponential integral \(E_{\nu}(x)\) for positive real order
- 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
- FunGrim: A Symbolic Library for Special Functions
- Rigorous high-precision computation of the Hurwitz zeta function and its derivatives
- SimplifySum
- DDMF
- Asyrec
This page was built for software: Arb
