Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Verification of Algorithms, Languages and Systems
FASTRELAX

ANR
Oct 2014 - Oct 2018

Group : Verification of Algorithms, Languages and Systems
Principal investigator : 

Administrator : 
Affiliation : 

Fast and Reliable Approximation

Our aim is to develop computer-aided proofs of numerical values, with certified and reasonably tight error bounds, without sacrificing efficiency. Applications to zero-finding, numerical quadrature or global optimization can all benefit from using our results as building blocks. We expect our work to initiate a "fast and reliable" trend in the symbolic-numeric community. This will be achieved by developing interactions between our fields, designing and implementing prototype libraries and applying our results to concrete problems originating in optimal control theory.

Research activities
  Formalisation and Proof of Numerical Programs

Participants
BOLDO Sylvie
MELQUIOND Guillaume

Publications : http://fastrelax.gforge.inria.fr/publications.html
More information : http://fastrelax.gforge.inria.fr/
Contracts & grants
° VOCAL
VOCAL
ANR

° PARDI
PARDI
ANR

° LCHIP
LCHIP

° DATACERT
DATACERT
ANR