.:. Browse > By laboratory > ARENAIRE .:.

13 documents ordered by : Date Title first author name document type Submit date

Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program Boldo S., Clement F., Filliâtre J.-C., Mayero M., Melquiond G., Weis P. Journal of Automated Reasoning 50, 4 (2013) 423-456 [hal-00649240 - version 3]

Divers algorithmes de produits de matrices intervalles Théveny P. Dans RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique" (2012) [hal-00750017 - version 1]

Perturbation Analysis of the QR Factor R in the Context of LLL Lattice Basis Reduction Chang X.-W., Stehlé D., Villard G. Mathematics of Computation (2012) 0-0 [ensl-00529425 - version 2]

Practical polynomial factoring in polynomial time Hart W., Van Hoeij M., Novocin A. [ensl-00546114 - version 1]

A Practical Univariate Polynomial Composition Algorithm Hart W., Novocin A. [ensl-00546102 - version 1]

Rigorous Perturbation Bounds of Some Matrix Factorizations Chang X.-W., Stehlé D. SIAM Journal on Matrix Analysis and Applications 31, 5 (2010) 2841--2859 [hal-00546885 - version 1]

Formal Proof of a Wave Equation Resolution Scheme: the Method Error Boldo S., Clément F., Filliâtre J.-C., Mayero M., Melquiond G., Weis P. Dans ITP'10 - Interactive Theorem Proving 6172 (2010) 147-162 [inria-00450789 - version 3]

Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings Hanrot G., Morain F., Thomé E. Springer-Verlag (Ed.) (2010) 397 [inria-00544503 - version 1]

Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing Brisebarre N., Joldes M. Maria Dans ISSAC '10, 2010 International Symposium on Symbolic and Algebraic Computation 147-154 [ensl-00472509 - version 2]

Erreurs en arithmétique des ordinateurs Lefèvre V., Muller J.-M. Images des Mathématiques (2009) .. [hal-00598554 - version 1]

Relaxed method to certify the solution of a linear system Nguyen H. D., Revol N. Dans SWIM (Small Workshop on Interval Methods) (2009) [hal-00748631 - version 1]

Worst-Case Hermite-Korkine-Zolotarev Reduced Lattice Bases Hanrot G., Stehlé D. N° RR-6422 (2008) [inria-00211875 - version 2]

Computing the Kalman form Pernet C., Rondepierre A., Villard G. [hal-00009558 - version 4]