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, ÉNS Lyon). Participants: Assia Mahboubi, Th. Sibut-Pinote.

  Website: http://fastrelax.gforge.inria.fr/.