First Page | Document Content | |
---|---|---|
Date: 2018-02-08 07:01:31Algebra Mathematics Convex geometry Linear algebra Convex analysis Convex cone Abstract interpretation Octahedron Polyhedron Linear programming Linear inequality Convex set | Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3Add to Reading ListSource URL: repository.ist.ac.atDownload Document from Source WebsiteFile Size: 550,07 KBShare 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 DumasDocID: 1xUE0 - View Document | |
1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting ExascaleDocID: 1xUyc - View Document | |
Recent Progress in Linear Algebra and Lattice Basis Reduction Gilles Villard CNRS, ENS de Lyon, INRIA, UCBL, Université de Lyon Laboratoire LIPDocID: 1xUmT - View Document | |
3 Designing SLATE SLATE: Software for Linear Algebra Targeting Exascale Jakub Kurzak Panruo WuDocID: 1xT5s - View Document | |
9. Linear Algebra Po-Shen Loh CMU Putnam Seminar, FallDocID: 1vrLR - View Document |