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

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

1 2 next

  1. Barucq, Hélène; Faucher, Florian; Pham, Ha: Outgoing solutions and radiation boundary conditions for the ideal atmospheric scalar wave equation in helioseismology (2020)
  2. Chirre, Andrés; Gonçalves, Felipe; de Laat, David: Pair correlation estimates for the zeros of the zeta function via semidefinite programming (2020)
  3. Dahne, Joel; Salvy, Bruno: Computation of tight enclosures for Laplacian eigenvalues (2020)
  4. Fredrik Johansson: FunGrim: a symbolic library for special functions (2020) arXiv
  5. Heuberger, Clemens; Krenn, Daniel: Asymptotic analysis of regular sequences (2020)
  6. Johansson, Fredrik: Computing the Lambert (W) function in arbitrary-precision complex interval arithmetic (2020)
  7. Marendet, Antoine; Goldsztejn, Alexandre; Chabert, Gilles; Jermann, Christophe: A standard branch-and-bound approach for nonlinear semi-infinite problems (2020)
  8. Pizzocchero, Livio; Tassi, Emanuele: On approximate solutions of the equations of incompressible magnetohydrodynamics (2020)
  9. Platt, Dave; Trudgian, Tim: Improved bounds on Brun’s constant (2020)
  10. van Bommel, Raymond; Holmes, David; Müller, J. Steffen: Explicit arithmetic intersection theory and computation of Néron-Tate heights (2020)
  11. 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)
  12. Booker, Andrew R.; Platt, David J.: Turing’s method for the Selberg zeta-function (2019)
  13. Fasi, Massimiliano; Higham, Nicholas J.: An arbitrary precision scaling and squaring algorithm for the matrix exponential (2019)
  14. Gómez-Serrano, Javier: Computer-assisted proofs in PDE: a survey (2019)
  15. Johansson, Fredrik: Computing hypergeometric functions rigorously (2019)
  16. Johansson, Fredrik; Blagouchine, Iaroslav V.: Computing Stieltjes constants using complex integration (2019)
  17. Mezzarobba, Marc: Truncation bounds for differentially finite series (2019)
  18. Molin, Pascal; Neurohr, Christian: Computing period matrices and the Abel-Jacobi map of superelliptic curves (2019)
  19. Odžak, Almasa; Šćeta, Lamija: On the zeros of some (L) functions from the extended Selberg class (2019)
  20. Platt, Dave; Trudgian, Tim: Fujii’s development on Chebyshev’s conjecture (2019)

1 2 next

Further publications can be found at: