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

	Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas DocID: 1xUE0 - View Document
	1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale DocID: 1xUyc - View Document
	Recent Progress in Linear Algebra and Lattice Basis Reduction Gilles Villard CNRS, ENS de Lyon, INRIA, UCBL, Université de Lyon Laboratoire LIP DocID: 1xUmT - View Document
	3 Designing SLATE SLATE: Software for Linear Algebra Targeting Exascale Jakub Kurzak Panruo Wu DocID: 1xT5s - View Document
	9. Linear Algebra Po-Shen Loh CMU Putnam Seminar, Fall DocID: 1vrLR - View Document