Ioana Pasca

According to our database, Ioana Pasca authored at least 8 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Certified, Efficient and Sharp Univariate Taylor Models in COQ.

Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

A Machine-Checked Proof of the Odd Order Theorem.

Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Rigorous Polynomial Approximation Using Taylor Models in Coq.

Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry

Proceedings of the NASA Formal Methods, 2012

2011

Formal proofs for theoretical properties of Newton's method.

Ioana Pasca

Math. Struct. Comput. Sci., 2011

2010

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

Ioana Pasca

PhD thesis, 2010

Formally Verified Conditions for Regularity of Interval Matrices.

Ioana Pasca

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Formal Verification of Exact Computations Using Newton's Method.

Nicolas Julien, Ioana Pasca

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2008

Canonical Big Operators.

Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008