Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools

DI Group Author

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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 languageUnknown
Title of host publicationNONE
PagesPaper 2
Publication statusPublished - 1 Jan 2010
EventInternational Workshop on the Implementation of Logics (IWIL) -
Duration: 1 Jan 2010 → …


ConferenceInternational Workshop on the Implementation of Logics (IWIL)
Period1/01/10 → …

Cite this