Preservation of Lyapunov-Theoretic Proofs:From Real to Floating-Point Numbers

First Page		Document Content
Date: 2013-06-20 09:17:50 Data types Primitive types Numbers Stability Lyapunov stability Floating point Rounding Control theory Equality Mathematics Computer arithmetic Stability theory		Preservation of Lyapunov-Theoretic Proofs:From Real to Floating-Point Numbers Add to Reading List Source URL: www.cri.ensmp.fr Download Document from Source Website File Size: 194,44 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