Lp2a)

Identifiers

No identifiers captured yet.

Papers (3)

1. Certification of bounds on expressions involving rounded operators cs.MS · 2007 · author #2
2. Stochastic Formal Methods: An application to accuracy of numeric software cs.MS · 2006 · author #2
3. A library of Taylor models for PVS automatic proof checker cs.MS · 2006 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Marc Daumas (LIRMM 3 shared papers
• David Lester (LP2A 1 shared papers
• Francisco Ch\'aves (LIP) 1 shared papers
• Guillaume Melquiond (LIP 1 shared papers
• INRIA Rh\^one-Alpes) 1 shared papers
• University of Manchester) 1 shared papers