Fredrik Johansson's website

photo

Contact: fredrik.johansson@gmail.com

I'm interested in arbitrary-precision arithmetic, polynomial arithmetic, and computation of special functions. I'm the main author of mpmath and Arb, and coauthor of FLINT.

Starting in September 2014, I'm a postdoc at Inria Bordeaux-Sud-Ouest and Institut de Mathématiques de Bordeaux, working in the LFANT project-team headed by Andreas Enge and Karim Belabas.

From 2010 to 2014, I did my PhD in symbolic computation at RISC, Linz, where Manuel Kauers was my advisor. I have an MSc in engineering physics from Chalmers University of Technology, Gothenburg. I was born in Sweden.

Updates

Publications

This list is also available in BibTeX format (txt file).

  1. F. Johansson. Efficient implementation of elementary functions in the medium-precision range. Submitted. [PDF] [arXiv]
  2. R. P. Brent, F. Johansson. A bound for the error term in the Brent-McMillan algorithm. To appear in Mathematics of Computation. [PDF] [arXiv]
  3. F. Johansson. A fast algorithm for reversion of power series. Mathematics of Computation, vol 84, 2015, 475-484. [PDF] [arXiv] [DOI] [info]
  4. F. Johansson. Fast and rigorous computation of special functions to high precision. PhD thesis, RISC, Johannes Kepler University, Linz, 2014. [PDF] [info]
  5. F. Johansson. Evaluating parametric holonomic sequences using rectangular splitting. ISSAC 2014, 256-263. [PDF] [slides] [arXiv] [DOI] [info]
  6. F. Johansson, B. Nakamura. Using functional equations to enumerate 1324-avoiding permutations. Advances in Applied Mathematics, vol 56, 2014, 20-34. [PDF] [arXiv] [DOI] [info]
  7. F. Johansson. Rigorous high-precision computation of the Hurwitz zeta function and its derivatives. Numerical Algorithms, 2014. [PDF] [arXiv] [DOI] [info]
  8. M. Kauers, M. Jaroschek, F. Johansson. Ore polynomials in Sage. To appear in Computer Algebra and Polynomials, Springer Lecture Notes in Computer Science. [PDF] [arXiv] [info]
  9. F. Johansson. Arb: a C library for ball arithmetic. ACM Communications in Computer Algebra, vol 47, issue 4, December 2013, 166-169. [PDF] [slides] [DOI] [info]
  10. F. Johansson, M. Kauers, M. Mezzarobba. Finding hyperexponential solutions of linear ODEs by numerical evaluation. ISSAC 2013, 211-218. [PDF] [arXiv] [DOI] [info]
  11. F. Johansson. Efficient implementation of the Hardy-Ramanujan-Rademacher formula. LMS Journal of Computation and Mathematics, vol 15, 2012, 341-359. [PDF] [arXiv] [DOI] [info]

Mathematical software

Talks

Music

Doom

My Doom maps and related information.