Back to Results
First PageMeta Content
Mathematical analysis / Mathematics / Numerical analysis / Algebra / Polynomial / Taylor series / Interval arithmetic


Formal Proofs for Taylor Models in Coq Ioana Paşca LIP, ENS Lyon joint work with Nicolas Brisebarre, Mioara Joldeş, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Laurence Rideau & Laurent Théry
Add to Reading List

Document Date: 2012-07-16 09:24:56


Open Document

File Size: 515,78 KB

Share Result on Facebook
UPDATE