<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-01-25 12:39:46Polyhedra Coxeter–Dynkin diagram Uniform polychoron Alternation Snub 24-cell Uniform polyhedron Icosahedron Snub dodecahedron Uniform polytope Geometry Polychora Polytopes |
| Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3DocID: 1xW2M - View Document |
| Regular Polyhedra in n Dimensions Jeffrey Adams SUM Conference Brown University March 14, 2015DocID: 1v031 - View Document |
| Investigating Polyhedra by Oracles Volker Kaibel & Matthias Walter Traditional Approach Modern ApproachDocID: 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 WordsDocID: 1uefT - View Document |