Overview
Pascaline is a research team of the LIP laboratory, jointly supported by CNRS, ENS de Lyon, Inria, and Université Claude Bernard (Lyon 1).
The goal of the Pascaline team is to advance the fields of computer arithmetic and computer algebra, their interaction with formal verification, and their applications, in order to achieve unprecedented performance, accuracy, and reliability of numerical calculations.
Our work is organized according to four axes.
- New integrated tools for the development and the verification of mathematical functions: it is time to help the developer too!
- Any dimension, any precision: from small formats for machine learning to guaranteed results for fast transforms or evaluation of neural networks.
- A comprehensive chain for rigorous approximation: from a multiple integral to its polynomial approximation with a formally certified error.
- Transverse topics: increasing the confidence in the tools through formal verification; disseminating our expertise through the writing of surveys and books.
