Download PDFOpen PDF in browserExploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools5 pages•Published: May 15, 2012AbstractThis note reports on some experiments, using a handful of standard automated reasoning tools, for exploring Steinitz-Rademacher polyhedra, which are models of a certain first-order theory of incidence structures. This theory and its models, even simple ones, presents significant, geometrically fascinating challenges for automated reasoning tools are.Keyphrases: discrete mathematics, finite models, incidence structures, polyhedra, theorem provers In: Geoff Sutcliffe, Stephan Schulz and Eugenia Ternovska (editors). IWIL 2010. The 8th International Workshop on the Implementation of Logics, vol 2, pages 12-16.
|