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 - Piano acoustics - 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

	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
	Lower Bounds for Monotone Counting CircuitsI Stasys Jukna1 Institute of Computer Science, Goethe University, Frankfurt am Main, Germany Abstract A monotone arithmetic circuit computes a given multivariate polynomial f if DocID: 1uUTT - View Document
	Efficient Software Implementation of Binary Field Arithmetic Using Vector Instruction Sets Diego F. Aranha Department of Computer Science University of Bras´ılia Joint work with DocID: 1umfa - View Document
	Fast arithmetic for triangular sets: from theory to practice ´ Xin Li Marc Moreno Maza Eric Schost Computer Science Department, The University of Western Ontario, London, Ontario, Canada DocID: 1uhUy - View Document
	TAS-302 COMPUTER BASED NUMERICAL AND STATISTICAL TECHNIQUES L T PUnit-I Introduction: Numbers and their accuracy, Computer Arithmetic, Mathematical DocID: 1tL1G - View Document