Section: Partnerships and Cooperations

National Initiatives


  • FastRelax (ANR-14-CE25-0018).

  • Goal: Develop computer-aided proofs of numerical values, with certified and reasonably tight error bounds, without sacrificing efficiency.

  • Coordinator: Bruno Salvy (Inria, ENS Lyon).

  • Participant: A. Mahboubi.

  • Duration: 2014-2019.

  • Website:

  • Note: This project started when A. Mahboubi was still in the Specfun project at the Saclay Île-de-France CRI. The budget is still managed there, within the Toccata project, but remains available to A. Mahboubi.