Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
Keyword(s):
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.
Keyword(s):
2015 ◽
Vol 57
(2)
◽
pp. 157-185
◽
1971 ◽
Vol 3
(3)
◽
pp. 271-362
◽
1963 ◽
Vol 14
(2)
◽
pp. 148-155
◽
Keyword(s):
Keyword(s):