Verification Methods for Dense and Sparse Systems of Equations ∗ S.M. Rump, Hamburg In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the metho

First Page		Document Content
Date: 2005-11-23 04:44:10 Mathematical analysis Mathematics Arithmetic Computer arithmetic Interval arithmetic Numerical analysis Inverse trigonometric functions Boolean algebra Holomorphic functional calculus		Verification Methods for Dense and Sparse Systems of Equations ∗ S.M. Rump, Hamburg In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the metho Add to Reading List Source URL: www.ti3.tu-harburg.de Download Document from Source Website File Size: 486,33 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