Ioana Pasca

Formal Verifcation for Numerical Methods. (Vérification formelle pour les méthodes numériques)

Ioana Pasca, 2010 .

Canonical Big Operators

Ioana Pasca, Georges Gonthier, Yves Bertot, 2008, TPHOLs.

Formal proofs for theoretical properties of Newton's method

Ioana Pasca, 2011, Math. Struct. Comput. Sci..

Certified, Efficient and Sharp Univariate Taylor Models in COQ

Ioana Pasca, Laurence Rideau, Laurent Théry, 2013, 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

Formal Verification of Exact Computations Using Newton's Method

Ioana Pasca, Nicolas Julien, 2009, TPHOLs.