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. Leader: B. Salvy (Inria, ENS Lyon). Participants: Assia Mahboubi, Th. Sibut-Pinote. Website: http://fastrelax.gforge.inria.fr/.