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 48 articles )

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

1 2 3 next

  1. Brent, Richard P.; Platt, David J.; Trudgian, Timothy S.: Accurate estimation of sums over zeros of the Riemann zeta-function (2021)
  2. Chirre, Andrés; Pereira Júnior, Valdir José; De Laat, David: Primes in arithmetic progressions and semidefinite programming (2021)
  3. Friedman, Eduardo; Johansson, Fredrik; Ramirez-Raposo, Gabriel: The minimal Fried average entropy for higher-rank Cartan actions (2021)
  4. Gómez-Serrano, Javier; Orriols, Gerard: Any three eigenvalues do not determine a triangle (2021)
  5. Imbach, Rémi; Pouget, Marc; Yap, Chee: Clustering complex zeros of triangular systems of polynomials (2021)
  6. 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)
  7. 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)
  8. Barucq, Hélène; Faucher, Florian; Pham, Ha: Outgoing solutions and radiation boundary conditions for the ideal atmospheric scalar wave equation in helioseismology (2020)
  9. Chirre, Andrés; Gonçalves, Felipe; de Laat, David: Pair correlation estimates for the zeros of the zeta function via semidefinite programming (2020)
  10. Dahne, Joel; Salvy, Bruno: Computation of tight enclosures for Laplacian eigenvalues (2020)
  11. Fredrik Johansson: FunGrim: a symbolic library for special functions (2020) arXiv
  12. Frommer, Andreas; Hashemi, Behnam: Computing enclosures for the matrix exponential (2020)
  13. Heuberger, Clemens; Krenn, Daniel: Asymptotic analysis of regular sequences (2020)
  14. Johansson, Fredrik: Computing the Lambert (W) function in arbitrary-precision complex interval arithmetic (2020)
  15. Marendet, Antoine; Goldsztejn, Alexandre; Chabert, Gilles; Jermann, Christophe: A standard branch-and-bound approach for nonlinear semi-infinite problems (2020)
  16. Pizzocchero, Livio; Tassi, Emanuele: On approximate solutions of the equations of incompressible magnetohydrodynamics (2020)
  17. Platt, Dave; Trudgian, Tim: Improved bounds on Brun’s constant (2020)
  18. van Bommel, Raymond; Holmes, David; Müller, J. Steffen: Explicit arithmetic intersection theory and computation of Néron-Tate heights (2020)
  19. Belkić, Dževad: 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 (2019)
  20. Booker, Andrew R.; Platt, David J.: Turing’s method for the Selberg zeta-function (2019)

1 2 3 next

Further publications can be found at: