Download PDFOpen PDF in browser

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

5 pagesPublished: May 15, 2012

Abstract

This 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

Links:
BibTeX entry
@inproceedings{IWIL2010:Exploring_Steinitz_Rademacher_Polyhedra_Challenge,
  author    = {Jesse Alama},
  title     = {Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools},
  booktitle = {IWIL 2010. The 8th International Workshop on the Implementation of Logics},
  editor    = {Geoff Sutcliffe and Stephan Schulz and Eugenia Ternovska},
  series    = {EPiC Series in Computing},
  volume    = {2},
  pages     = {12--16},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/KmBd},
  doi       = {10.29007/d3ls}}
Download PDFOpen PDF in browser