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

	Gradual Type Precision as Retraction Max S. New Northeastern University POPL 2017 Student Research Competition Extended Abstract DocID: 1tNOr - View Document
	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- DocID: 1rtij - View Document
	CS:APP Web Aside DATA:IA32-FP: Intel IA32 Floating-Point Arithmetic∗ Randal E. Bryant David R. O’Hallaron June 5, 2012 DocID: 1rpCG - View Document
	MedSearch: A Retrieval System for Medical Information Based on Semantic Similarity Angelos Hliaoutakis1 , Giannis Varelas1 , Euripides G.M. Petrakis1 , and Evangelos Milios2 1 DocID: 1roZG - View Document
	Floating-Point Precision Tuning Using Blame Analysis ⇤ ⇤ Cindy Rubio-Gonz´alez1 , Cuong Nguyen2 , Benjamin Mehne2 , Koushik Sen2 , James Demmel2 , DocID: 1raR1 - View Document