21746 articles – 15574 Notices  [english version]
.:. Consultation > Liste par unité de recherche > ARENAIRE .:.
13 documents classés par :
fulltext access Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program
Boldo S. et al
Journal of Automated Reasoning 50, 4 (2013) 423-456 [hal-00649240 - version 3]
Divers algorithmes de produits de matrices intervalles
Théveny P.
RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", France (2012) [hal-00750017 - version 1]
fulltext access Perturbation Analysis of the QR Factor R in the Context of LLL Lattice Basis Reduction
Chang X.-W. et al
Mathematics of Computation (2012) 0-0 [ensl-00529425 - version 2]
fulltext access Practical polynomial factoring in polynomial time
Hart W. et al
[ensl-00546114 - version 1] (2010-12-13)
fulltext access A Practical Univariate Polynomial Composition Algorithm
Hart W. et al
[ensl-00546102 - version 1] (2010-12-13)
Rigorous Perturbation Bounds of Some Matrix Factorizations
Chang X.-W. et al
SIAM Journal on Matrix Analysis and Applications 31, 5 (2010) 2841--2859 [hal-00546885 - version 1]
fulltext access Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Boldo S. et al
ITP'10 - Interactive Theorem Proving, United Kingdom (2010) [inria-00450789 - version 3]
Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings
Hanrot G. et al
(2010) 397 [inria-00544503 - version 1]
fulltext access Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing
Brisebarre N. et al
In Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation - ISSAC '10, 2010 International Symposium on Symbolic and Algebraic Computation, Germany [ensl-00472509 - version 2]
fulltext access Erreurs en arithmétique des ordinateurs
Lefèvre V. et al
Images des Mathématiques (2009) .. [hal-00598554 - version 1]
Relaxed method to certify the solution of a linear system
Nguyen H. D. et al
SWIM (Small Workshop on Interval Methods), France (2009) [hal-00748631 - version 1]
fulltext access Worst-Case Hermite-Korkine-Zolotarev Reduced Lattice Bases
Hanrot G. et al
Rapport de recherche (2008) 25 [inria-00211875 - version 2]
fulltext access Computing the Kalman form
Pernet C. et al
[hal-00009558 - version 4] (06/02/2006)