[1] |
Ioana Pasca.
Formally Verified Conditions for Regularity of Interval Matrices.
Submitted at Calculemus, 2010. Available on HAL. |
[2] |
Ioana Pasca.
Formal Proofs for Theoretical Properties of Newton's Method.
INRIA Research Report RR-7228, 2010. [ bib | author version] |
[3] |
Nicolas Julien and Ioana Pasca.
Formal Verification of Exact Computations Using Newton's Method.
In TPHOLs 2009, volume 5674 of LNCS, pages 408-423,
2009. [ bib | publisher version | author version | web page ] |
[4] |
Yves Bertot, Georges Gonthier, Sidi Ould Biha, and Ioana Pasca.
Canonical Big Operators.
In TPHOLs 2008, volume 5170 of LNCS, pages 86-101,
2008. [ bib | publisher version | author version | web page ] |
[5] |
Ioana Pasca.
A Formal Verification for Kantorovitch's Theorem.
In Journées Francophones des Langages Applicatifs, January
2008. [ bib | final version ] |