Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France - As - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-12-19 06:23:54 Mathematics Mathematical analysis Analysis Computer arithmetic Numerical analysis Arithmetic Functions and mappings Differential calculus Interval arithmetic Rounding Derivative Integral		Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France Add to Reading List Source URL: perso.ensta-paristech.fr Download Document from Source Website File Size: 476,41 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