Projet ANR-Blanc STIC : EVA-Flo : Évaluation et Validation Automatique pour le calcul Flottant New Automatic Tools for Validated Floating-point Computations Implementation

First Page		Document Content
Date: 2010-03-24 08:54:49 Computing Floating point Numerical error MPFR IEEE 754-2008 Precision Automatic differentiation Round-off error NaN Computer arithmetic Mathematics Numbers		Projet ANR-Blanc STIC : EVA-Flo : Évaluation et Validation Automatique pour le calcul Flottant New Automatic Tools for Validated Floating-point Computations Implementation Add to Reading List Source URL: www.ens-lyon.fr Download Document from Source Website File Size: 1,34 MB Share Document on Facebook

	automatic differentiation techniques used in jump Miles Lubin, Iain Dunning, and Joey Huchette June 22, 2016 MIT Operations Research Center DocID: 1uLSH - View Document
	Journal of Machine Learning ResearchSubmitted 3/16; Revised 8/16; Published 1/17 Automatic Differentiation Variational Inference Alp Kucukelbir DocID: 1u3bw - View Document
	On the Application of Automatic Differentiation to the Likelihood Function for Dynamic General Equilibrium Models DocID: 1ryLK - View Document
	Higher-Order Derivatives in Engineering Applications DocID: 1r00C - View Document
	AD2016 - Instructions for Poster Presentations Shaun A Forth∗ and Anne Other† June DocID: 1pQwe - View Document