1 Language Theory and Infinite Graphs

First Page		Document Content
Date: 2006-02-02 08:38:25 Mathematics Norm Deterministic pushdown automaton Constructible universe Symbol Formal languages Theoretical computer science Computer science Topological vector spaces Automata theory Linear algebra Models of computation		1 Language Theory and Infinite Graphs Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 195,70 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