Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools
Logic
2014-01-09 v2 Discrete Mathematics
Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1401.0882,
title = {Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools},
author = {Jesse Alama},
journal= {arXiv preprint arXiv:1401.0882},
year = {2014}
}
Comments
5 pages. Presented at IWIL 2010 (International Workshop on the Implementation of Logics), Yogyakarta, Indonesia