| [1] |
Ioana Pasca.
Formal Verification for Numerical Methods
PhD Thesis, University of Nice Sophia Antipolis, November 2010
[ bib | TEL version | web page ] |
| [2] |
Ioana Pasca.
Formally Verified Conditions for Regularity of Interval Matrices.
17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Calculemus 2010,
volume 6167 of Lecture Notes in Artificial Intelligence, pages 219 - 233, Springer 2010. [ bib | publisher version | author version | web page ] |
| [3] |
Ioana Pasca.
Formal Proofs for Theoretical Properties of Newton's Method.
INRIA Research Report RR-7228, 2010. Revised version accepted for publication in MSCS special issue "Interactive theorem proving and the formalization of mathematics". [ bib | author version] |
| [4] |
Nicolas Julien and Ioana Pasca.
Formal Verification of Exact Computations Using Newton's Method.
Theorem Proving in Higher Order Logics 2009, volume 5674 of Lecture Notes in Computer Science, pages 408-423, Springer, 2009. [ bib | publisher version | author version | web page ] |
| [5] |
Yves Bertot, Georges Gonthier, Sidi Ould Biha, and Ioana Pasca.
Canonical Big Operators.
In Theorem Proving in Higher Order Logics 2009 2008, volume 5170 of Lecture Notes in Computer Science, pages 86-101, Springer 2008. [ bib | publisher version | author version | web page ] |
| [6] |
Ioana Pasca.
A Formal Verification for Kantorovitch's Theorem.
In Journées Francophones des Langages Applicatifs, January
2008. [ bib | final version ] |