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

5 pages•Published: 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:	https://easychair.org/publications/paper/KmBd
	https://doi.org/10.29007/d3ls

BibTeX entry

@inproceedings{IWIL2010:Exploring_Steinitz_Rademacher_Polyhedra,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/KmBd},
  doi       = {10.29007/d3ls},
  pages     = {12-16},
  year      = {2012}}

Download PDF Open PDF in browser