Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2

First Page		Document Content
Date: 2017-06-29 11:28:39 Mathematics Geometry Algebra Analytic geometry Linear algebra Algebraic curves Cone Surfaces Conic section Convex cone Line Hybrid system		Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2 Add to Reading List Source URL: repository.ist.ac.at Download Document from Source Website File Size: 3,63 MB 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