Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools.

Jesse Alama

Browse the full LPAR paper archive.