MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding Laurent Fousse, Guillaume Hanrot, Vincent Lef`evre, Patrick P´elissier, Paul Zimmermann LORIA, 615 rue du jardin botanique, FVillers-

First Page		Document Content
Date: 2009-10-16 07:35:07 Computer arithmetic Computing Arithmetic Computer architecture GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Extended precision IEEE 754-1985 IEEE floating point Quadruple-precision floating-point format Paul Zimmermann		MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding Laurent Fousse, Guillaume Hanrot, Vincent Lef`evre, Patrick P´elissier, Paul Zimmermann LORIA, 615 rue du jardin botanique, FVillers- Add to Reading List Source URL: perso.ens-lyon.fr Download Document from Source Website File Size: 247,44 KB Share Document on Facebook

	Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic DocID: 1xW2n - View Document
	SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic, DocID: 1xVSx - View Document
	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–396) ARITHMETIC MODELS FOR SHIMURA VARIETIES Georgios Pappas DocID: 1xVRI - View Document
	Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical DocID: 1xVHL - View Document
	Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL) DocID: 1xVDs - View Document