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! |