Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


Participants : Nicolas Brisebarre [CNRS] , Mioara Joldes, Érik Martin-Dorel, Micaela Mayero [Iut de Villetaneuse] , Jean-Michel Muller, Ioana Paşca [Iut de Nimes] , Laurence Rideau, Laurent Théry [correspondant] .

We develop a formalization of rigorous polynomial approximation using Taylor models inside the Coq proof assistant, with a special focus on genericity and efficiency for the computations. In 2014, this library has been included in CoqInterval, distributed by the Toccata research team.