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

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

1 2 3 next

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

1 2 3 next


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