Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3

First Page		Document Content
Date: 2018-02-08 07:01:31 Algebra 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 3 Add to Reading List Source URL: repository.ist.ac.at Download Document from Source Website File Size: 550,07 KB Share Document on Facebook

	Encoding and Handling Geospatial Data with Hierarchical Triangular Meshes Geoffrey Dutton Department of Geography University of Zürich Winterthurerstrasse 190 CH-8057 Zürich DocID: 1rjEW - View Document
	REGULAR HONEYCOMBS IN ELLIPTIC SPACE By H. S. M. COXETER [Received 2 November 1953.—Read 15 MayIntroduction the elliptic plane is derived from a sphere by identifying antipodal DocID: 1qzRT - View Document
	Clothing Manipulation Takeo Igarashi John F. Hughes Computer Science Department, University of Tokyo DocID: 1pvAh - View Document
	This article was downloaded by: [Moritz Firsching] On: 02 February 2015, At: 12:27 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: Registered office: Mortimer House, 37- DocID: 1pneL - View Document
	Algorithmic design of self-folding polyhedra Shivendra Pandeya, Margaret Ewingb, Andrew Kunasc, Nghi Nguyend, David H. Graciasa,e,1, and Govind Menonf,1 a Department of Chemical and Biomolecular Engineering, The Johns Ho DocID: 1lEZu - View Document