Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening

First Page		Document Content
Date: 2017-07-24 10:20:52 Algebra Linear algebra Mathematics Matrix theory Numerical linear algebra Eigendecomposition of a matrix Eigenvalues and eigenvectors Matrix State-space representation Lanczos algorithm Eigenvalue perturbation		Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening Add to Reading List Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 192,36 KB Share Document on Facebook

	Computational Science and Engineering (Int. Master’s Program) ¨ MUNCHEN ¨ TECHNISCHE UNIVERSITAT DocID: 1pU2S - View Document
	8 The Lanczos Method Erik Koch Computational Materials Science German Research School for Simulation Sciences DocID: 1pIEI - View Document
	10 The Lanczos Method Erik Koch Computational Materials Science German Research School for Simulation Sciences Julich ¨ DocID: 1pI4i - View Document
	Matrix Computations and Optimization in Apache Spark ∗ Reza Bosagh Zadeh Xiangrui Meng DocID: 1pxzg - View Document
	Optimized analysis of isotropic high-nuclearity spin clusters with GPU accelerationI A. Lamas Davi˜ na, E. Ramos, J. E. Roman∗ D. Sistemes Inform` atics i Computaci´ DocID: 1oTzG - View Document