Présentation
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 des performance, précision et robustesse des calculs numériques.
Notre travail s'organise autour de quatre grands axes.
- Outils intégrés pour le développement et la vérification de fonctions mathématiques : il est temps d'aider aussi le développeur !
- Toute dimension, toute précision : des petits formats pour l'apprentissage automatique aux résultats garantis pour les transformations rapides ou l'évaluation des réseaux de neurones.
- Une chaîne complète d'approximation rigoureuse : d'une intégrale multiple à son approximation polynomiale avec une erreur formellement certifiée.
- Sujets transversaux : augmenter la confiance dans les outils par la vérification formelle ; disséminer notre expertise par la rédaction d'articles de synthèse et de livres.
