Section: Partnerships and Cooperations

National Initiatives

ANR

• 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: http://fastrelax.gforge.inria.fr/.

• 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.