Fredrik Johansson

Don't like the portrait? Refresh for another one.

Contact: fredrik.johansson@gmail.com

My blog  |  Twitter  |  GitHub  |  Office @ IMB

I'm a researcher in the LFANT team at INRIA Bordeaux and Institut de Mathématiques de Bordeaux (IMB).

My research interests include mathematical software, computer algebra, symbolic computation, numerical analysis, computational number theory, arbitrary-precision arithmetic, effective complex analysis, and special functions. Feel free to contact me if you are interested in doing a master's thesis or PhD in this area.

Mathematical software

A big part of my work is to develop free scientific software.

Publications

This list is available (possibly out of date) in BibTeX format (txt file). I also have a Google Scholar profile.

  1. Arbitrary-precision computation of the gamma function
    Preprint, 2021. [arXiv] [HAL]
  2. Computing isolated coefficients of the j-function
    Preprint, 2020. [arXiv] [HAL]
  3. On a fast and nearly division-free algorithm for the characteristic polynomial
    Technical report, 2020. [arXiv] [HAL]
  4. Calcium: computing in exact real and complex fields
    To appear in ISSAC '21. [arXiv] [HAL] [DOI]
  5. The minimal Fried average entropy for higher-rank Cartan actions
    With Eduardo Friedman and Gabriel Ramirez-Raposo. To appear in Mathematics of Computation, 2020. [HAL]
  6. Calculer avec les nombres réels (published French translation by Xavier Caruso) / Computing with real numbers (original English manuscript)
    Informatique Mathématique - Une photographie en 2020 edited by Sébastien Labbé, Vincent Penelle. CNRS Éditions, 2020, pp. 115-147.
  7. FunGrim: a symbolic library for special functions
    ICMS 2020: Mathematical Software, pp 315-323, Springer LNCS, 2020. [arXiv] [HAL] [DOI]
  8. Faster arbitrary-precision dot product and matrix multiplication
    26th IEEE Symposium on Computer Arithmetic (ARITH26), 2019. [arXiv] [HAL] [DOI]
  9. Numerical evaluation of elliptic functions, elliptic integrals and modular forms
    Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory, Springer, 2019, pp. 269-293. [arXiv] [HAL] [DOI]
  10. Computing Stieltjes constants using complex integration
    With Iaroslav V. Blagouchine. Mathematics of Computation, vol 88, 2019, pp. 1829-1850. [arXiv] [HAL] [DOI]
  11. Numerical integration in arbitrary-precision ball arithmetic
    Mathematical Software - ICMS 2018, Springer LNCS, 2018, pp. 255-263. [arXiv] [HAL] [DOI]
  12. Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights
    With Marc Mezzarobba. SIAM Journal on Scientific Computing 40(6), 2018, pp. C726-C747. [arXiv] [HAL] [DOI]
  13. Computing the Lambert W function in arbitrary-precision complex interval arithmetic
    Numerical Algorithms, 2019 (to appear). [arXiv] [HAL] [DOI]
  14. Nemo/Hecke: computer algebra and number theory packages for the Julia programming language
    With Claus Fieker, William Hart and Tommy Hofmann. 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC'17), 2017, pp. 157-164. [arXiv] [HAL]
  15. Arb: efficient arbitrary-precision midpoint-radius interval arithmetic
    IEEE Transactions on Computers, vol 66, issue 8, 2017, pp. 1281-1292. [DOI] [PDF] [arXiv] [HAL]
  16. Short addition sequences for theta functions
    With Andreas Enge and William Hart. Journal of Integer Sequences, vol 21, 2018, article 18.2.4. [arXiv] [HAL]
  17. Computing hypergeometric functions rigorously
    ACM Transactions on Mathematical Software, 2019 (to appear). [PDF] [arXiv] [HAL]
  18. SymPy: Symbolic computing in Python
    With Aaron Meurer et al. PeerJ Computer Science 3:e103, 2017. [DOI] [HAL]
  19. Efficient implementation of elementary functions in the medium-precision range
    22nd IEEE Symposium on Computer Arithmetic (ARITH22), 2015, pp. 83-89. [PDF] [arXiv] [DOI]
  20. A bound for the error term in the Brent-McMillan algorithm
    With Richard P. Brent. Mathematics of Computation, vol 84, 2015, pp. 2351-2359. [PDF] [arXiv] [DOI]
  21. A fast algorithm for reversion of power series
    Mathematics of Computation, vol 84, 2015, pp. 475-484. [PDF] [arXiv] [DOI] [info]
  22. Fast and rigorous computation of special functions to high precision
    PhD thesis, RISC, Johannes Kepler University, Linz, 2014. [PDF] [info]
  23. Evaluating parametric holonomic sequences using rectangular splitting
    39th International Symposium on Symbolic and Algebraic Computation (ISSAC'14), 2014, pp. 256-263. [PDF] [slides] [arXiv] [DOI] [info]
  24. Using functional equations to enumerate 1324-avoiding permutations
    With Brian Nakamura. Advances in Applied Mathematics, vol 56, 2014, pp. 20-34. [PDF] [arXiv] [DOI] [info]
  25. Rigorous high-precision computation of the Hurwitz zeta function and its derivatives
    Numerical Algorithms, vol 69, issue 2, 2015, pp. 253-270. [PDF] [arXiv] [DOI] [info]
  26. Ore polynomials in Sage
    With Manuel Kauers and Maximilian Jaroschek. Computer Algebra and Polynomials, Springer LNCS, 2015, pp. 105-125. [PDF] [arXiv] [DOI] [info]
  27. Arb: a C library for ball arithmetic
    ACM Communications in Computer Algebra, vol 47, issue 4, December 2013, pp. 166-169. [PDF] [slides] [DOI] [info]
    Note: the 2017 IEEE TC paper largely supersedes this extended abstract.
  28. Finding hyperexponential solutions of linear ODEs by numerical evaluation
    With Manuel Kauers and Marc Mezzarobba. 38th International Symposium on Symbolic and Algebraic Computation (ISSAC'13), 2013, pp. 211-218. [PDF] [arXiv] [DOI] [info]
  29. Efficient implementation of the Hardy-Ramanujan-Rademacher formula
    LMS Journal of Computation and Mathematics, vol 15, 2012, pp. 341-359. [PDF] [arXiv] [DOI] [info]
  30. Simulation of the Maxwell-Dirac and Schrödinger-Poisson systems
    Master's thesis, Chalmers University of Technology, Gothenburg, 2010. [PDF] [slides] [info]

Erdős number

My Erdős number is 3 (0-1, 1-2, 2-3).

Awards

Talks

Academic history

Other professional activity

Conference organization

Reviewing

I've reviewed papers for a number of journals and conferences, including Mathematics of Computation, Journal of Symbolic Computation, Numerical Algorithms, BIT Numerical Mathematics, Advances in Applied Mathematics, Mathematics, ACM Transactions on Mathematical Software, IEEE Transactions on Circuits and Systems, IEEE Transactions on Computers.

Summers of code

I've taken part in Google Summer of Code once as a student and three times as a mentor:

In summer 2009 and 2010, I worked on Sage and mpmath as a contractor for the American Institute of Mathematics, thanks to funding provided by William Stein.

Unprofessional activity

Sports

I have an account on Strava for tracking running, cycling, hiking activities.

Music

Doom levels

My old Doom maps and related info.