This note report 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, present significant, geometrically fascinating challenges for automated reasoning tools.
|Title of host publication||NONE|
|Publication status||Published - 1 Jan 2010|
|Event||International Workshop on the Implementation of Logics (IWIL) - |
Duration: 1 Jan 2010 → …
|Conference||International Workshop on the Implementation of Logics (IWIL)|
|Period||1/01/10 → …|