MiMa Mathematics in the Making Project nLLP– 1-IT-COMENIUS-CMP MiMa Draft Toolkit November 2014

First Page		Document Content
Date: 2015-01-26 07:20:53 Geometry Platonic solids Convex geometry Graph theory Deltahedra Planar graphs Dice Polyhedra Regular icosahedron Nontransitive dice Polyhedron Icosahedron		MiMa Mathematics in the Making Project nLLP– 1-IT-COMENIUS-CMP MiMa Draft Toolkit November 2014 Add to Reading List Source URL: www.mathematicsinthemaking.eu Download Document from Source Website File Size: 1,95 MB Share Document on Facebook

	Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 DocID: 1xW2M - View Document
	Regular Polyhedra in n Dimensions Jeffrey Adams SUM Conference Brown University March 14, 2015 DocID: 1v031 - View Document
	Investigating Polyhedra by Oracles Volker Kaibel & Matthias Walter Traditional Approach Modern Approach DocID: 1upCI - View Document
	CCCG 2011, Toronto ON, August 10–12, 2011 Edge-Unfolding Orthogonal Polyhedra is Strongly NP-Complete Zachary Abel∗ Erik D. Demaine† DocID: 1uhJD - View Document
	The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words DocID: 1uefT - View Document