author-photo

Ioana Pasca

French Institute for Research in Computer Science and Automation

6

Papers

353

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

Certified, Efficient and Sharp Univariate Taylor Models in COQ

2013 SYNASC | Symbolic and Numeric Algorithms for Scientific Computing
Show All
- Source
- Cite
- Save
Citations (10)
A machine-checked proof of the odd order theorem

2013 ITP | Interactive Theorem Proving
Show All
- Source
- Cite
- Save
Citations (223)
Formal Proofs for Theoretical Properties of Newton's Method

2011 Mathematical Structures in Computer Science
- Ioana Pasca
Show All
- Source
- Cite
- Save
Citations (7)
Formal Verification of Exact Computations Using Newton's Method

2009 TPHOLs | Theorem Proving in Higher Order Logics
- Nicolas Julien
- Ioana Pasca
Show All
- Source
- Cite
- Save
Citations (11)
Canonical Big Operators

2008 TPHOLs | Theorem Proving in Higher Order Logics
Show All
- Source
- Cite
- Save
Citations (92)