Paul Zimmermann

extended CV [HAL version]
recommendations to send me a document
Publications Software
Talks Research Interests
Contact Lectures (in french)
Events: (past events)
March 2019: post-doctoral position available on the formal proof of GNU MPFR
January 2019: proposition de stage L3
December 2018: Computational Mathematics with SageMath has appeared!

Some useful links

Valid HTML 4.01 Transitional