Modern Computer Arithmetic Version 0.5.1, 2010. ,
Affine arithmetic and its applications to computer graphics, VI Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (SIBGRAPI'93), pp.9-18, 1993. ,
Correctly Rounded mathematical library) ,
Certification of bounds on expressions involving rounded operators, ACM Transactions on Mathematical Software, vol.37, issue.1, 2009. ,
DOI : 10.1145/1644001.1644003
URL : https://hal.archives-ouvertes.fr/hal-00127769
OpenMath Content Dictionary: bigfloat1, 1999. ,
Assisted verification of elementary functions using Gappa, Proceedings of the 2006 ACM Symposium on Applied Computing, pp.1318-1322, 2006. ,
Self-Validated Numerical Methods and Applications, Brazilian Mathematics Colloquium monographs. IMPA/CNPq, 1997. ,
Computer Generation of Efficient Software Viterbi Decoders, International Conference on High Performance Embedded Architectures and Compilers (HiPEAC), pp.353-368, 2010. ,
DOI : 10.1007/978-3-642-11515-8_26
A floating-point technique for extending the available precision, Numerische Mathematik, vol.18, issue.3, pp.224-242, 1971. ,
Why: a multi-language multi-prover verification tool, 2003. ,
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification, CAV, pp.173-177, 2007. ,
DOI : 10.1007/978-3-540-73368-3_21
MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007. ,
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266
Operator Language: A Program Generation Framework for Fast Kernels, IFIP Working Conference on Domain Specific Languages (DSL WC), pp.385-410, 2009. ,
DOI : 10.1109/TIT.1967.1054010
Moyens arithmétiques pour un calcul fiable, 2000. ,
User's Guide for Gappa ,
De l'arithmétique d'intervalles à la certification de programmes, 2006. ,
Quasi double-precision in floating point addition, BIT, vol.7, issue.6, pp.37-50, 1965. ,
DOI : 10.1007/BF01975722
Encyclopedia of Parallel Computing , chapter Spiral, 2011. ,
SPIRAL: Code Generation for DSP Transforms, Proceedings of the IEEE, special issue on " Program Generation, Optimization, and Adaptation, pp.93232-275, 2005. ,
DOI : 10.1109/JPROC.2004.840306
Static Analysis-Based Validation of Floating-Point Computations, Novel Approaches to Verification, pp.295-312, 2004. ,
DOI : 10.1007/978-3-540-24738-8_18
Implementation of binary floating-point arithmetic on embedded integer processors: polynomial evaluation-based algorithms and certified code generation, 2009. ,
URL : https://hal.archives-ouvertes.fr/tel-00469661