PASCALINE

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.