PASCALINE

Pascaline est une équipe de recherche du laboratoire LIP, sous la cotutelle du CNRS, de l'ENS de Lyon, d'Inria et de l'Université Claude Bernard (Lyon 1).

Le but de l'équipe Pascaline est de faire progresser les domaines de l'arithmétique des ordinateurs et du calcul formel, leur interaction avec la vérification formelle et leurs applications, afin d'obtenir une amélioration sans précédent de la performance, la précision et la robustesse des calculs numériques.