Arb

Arb is a C library for arbitrary-precision floating-point ball arithmetic, developed by Fredrik Johansson (fredrik.johansson@gmail.com). 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 39 articles )

Showing results 1 to 20 of 39.
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. Fredrik Johansson: FunGrim: a symbolic library for special functions (2020) arXiv
  4. Heuberger, Clemens; Krenn, Daniel: Asymptotic analysis of regular sequences (2020)
  5. Johansson, Fredrik: Computing the Lambert (W) function in arbitrary-precision complex interval arithmetic (2020)
  6. Marendet, Antoine; Goldsztejn, Alexandre; Chabert, Gilles; Jermann, Christophe: A standard branch-and-bound approach for nonlinear semi-infinite problems (2020)
  7. Pizzocchero, Livio; Tassi, Emanuele: On approximate solutions of the equations of incompressible magnetohydrodynamics (2020)
  8. Platt, Dave; Trudgian, Tim: Improved bounds on Brun’s constant (2020)
  9. van Bommel, Raymond; Holmes, David; Müller, J. Steffen: Explicit arithmetic intersection theory and computation of Néron-Tate heights (2020)
  10. 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)
  11. Booker, Andrew R.; Platt, David J.: Turing’s method for the Selberg zeta-function (2019)
  12. Fasi, Massimiliano; Higham, Nicholas J.: An arbitrary precision scaling and squaring algorithm for the matrix exponential (2019)
  13. Gómez-Serrano, Javier: Computer-assisted proofs in PDE: a survey (2019)
  14. Johansson, Fredrik: Computing hypergeometric functions rigorously (2019)
  15. Johansson, Fredrik; Blagouchine, Iaroslav V.: Computing Stieltjes constants using complex integration (2019)
  16. Mezzarobba, Marc: Truncation bounds for differentially finite series (2019)
  17. Molin, Pascal; Neurohr, Christian: Computing period matrices and the Abel-Jacobi map of superelliptic curves (2019)
  18. Odžak, Almasa; Šćeta, Lamija: On the zeros of some (L) functions from the extended Selberg class (2019)
  19. Platt, Dave; Trudgian, Tim: Fujii’s development on Chebyshev’s conjecture (2019)
  20. Zimmermann, Paul; Casamayou, Alexandre; Cohen, Nathann; Connan, Guillaume; Dumont, Thierry; Fousse, Laurent; Maltey, François; Meulien, Matthias; Mezzarobba, Marc; Pernet, Clément; Thiéry, Nicolas M.; Bray, Eric; Cremona, John; Forets, Marcelo; Ghitza, Alexandru; Thomas, Hugh: Computational mathematics with SageMath. Translated from the 2013 French original by the authors (2019)

1 2 next


Further publications can be found at: http://fredrikj.net/arb/credits.html#bibliography