Section: Partnerships and Cooperations

National Initiatives

ANR

• ParalITP (ANR-11-INSE-001).

  Goal: Improve the performances and the ergonomics of interactive provers by taking advantage of modern, parallel hardware.

  Leader: B. Wolff (University of Orsay, Paris Paris-Sud). Participants: A. Mahboubi, C. Tankink, E. Tassi.

  Website: http://paral-itp.lri.fr/ .

• 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: A. Mahboubi, Th. Sibut-Pinote.

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