Abstract
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.
| Original language | Unknown |
|---|---|
| Title of host publication | NONE |
| Pages | Paper 2 |
| Publication status | Published - 1 Jan 2010 |
| Event | International Workshop on the Implementation of Logics (IWIL) - Duration: 1 Jan 2010 → … |
Conference
| Conference | International Workshop on the Implementation of Logics (IWIL) |
|---|---|
| Period | 1/01/10 → … |