Arb is a C library for arbitrary-precision floating-point ball arithmetic, developed by Fredrik Johansson ( It supports efficient high-precision computation with polynomials, power series, matrices and special functions over the real and complex numbers, with automatic, rigorous error control.

References in zbMATH (referenced in 53 articles )

Showing results 1 to 20 of 53.
Sorted by year (citations)

1 2 3 next

  1. Hertel, Tobias; Besse, Nicolas; Frisch, Uriel: The Cauchy-Lagrange method for 3D-axisymmetric wall-bounded and potentially singular incompressible Euler flows (2022)
  2. Morrill, Thomas; Platt, Dave; Trudgian, Tim: Sign changes in the prime number theorem (2022)
  3. Brent, Richard P.; Platt, David J.; Trudgian, Timothy S.: Accurate estimation of sums over zeros of the Riemann zeta-function (2021)
  4. Chirre, Andrés; Pereira Júnior, Valdir José; De Laat, David: Primes in arithmetic progressions and semidefinite programming (2021)
  5. Dahne, Joel; Gómez-Serrano, Javier; Hou, Kimberly: A counterexample to Payne’s nodal line conjecture with few holes (2021)
  6. Friedman, Eduardo; Johansson, Fredrik; Ramirez-Raposo, Gabriel: The minimal Fried average entropy for higher-rank Cartan actions (2021)
  7. Gómez-Serrano, Javier; Orriols, Gerard: Any three eigenvalues do not determine a triangle (2021)
  8. Imbach, Rémi; Pan, Victor Y.: Root radii and subdivision for polynomial root-finding (2021)
  9. Imbach, Rémi; Pouget, Marc; Yap, Chee: Clustering complex zeros of triangular systems of polynomials (2021)
  10. Lange, Marko; Rump, Siegfried M.: Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin’s (\sin(\theta)) theorem (2021)
  11. Odžak, Almasa; Zubača, Medina: On the discretized Li coefficients for a certain class of (L)-functions (2021)
  12. Barucq, Hélène; Faucher, Florian; Fournier, Damien; Gizon, Laurent; Pham, Ha: Efficient and accurate algorithm for the full modal Green’s kernel of the scalar wave equation in helioseismology (2020)
  13. Barucq, Hélène; Faucher, Florian; Pham, Ha: Outgoing solutions and radiation boundary conditions for the ideal atmospheric scalar wave equation in helioseismology (2020)
  14. Chirre, Andrés; Gonçalves, Felipe; de Laat, David: Pair correlation estimates for the zeros of the zeta function via semidefinite programming (2020)
  15. Dahne, Joel; Salvy, Bruno: Computation of tight enclosures for Laplacian eigenvalues (2020)
  16. Fredrik Johansson: FunGrim: a symbolic library for special functions (2020) arXiv
  17. Frommer, Andreas; Hashemi, Behnam: Computing enclosures for the matrix exponential (2020)
  18. Heuberger, Clemens; Krenn, Daniel: Asymptotic analysis of regular sequences (2020)
  19. Johansson, Fredrik: Computing the Lambert (W) function in arbitrary-precision complex interval arithmetic (2020)
  20. Marendet, Antoine; Goldsztejn, Alexandre; Chabert, Gilles; Jermann, Christophe: A standard branch-and-bound approach for nonlinear semi-infinite problems (2020)

1 2 3 next

Further publications can be found at: