Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools
2010
alama-iwil
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.
In proceedings
Jesse Alama
Proceedings of the 8th International Workshop on the Implementation of Logics
-
-
-
-
-
-
-
-
http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html
Export formats
Jesse Alama, Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools, , Proceedings of the 8th International Workshop on the Implementation of Logics, (http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html), 2010.
<a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a>, <b>Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools</b>, <u>Proceedings of the 8th International Workshop on the Implementation of Logics</u>, (<a href="http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html" target="_blank">url</a>), 2010.
@inproceedings {alama-iwil, author = {Jesse Alama}, title = {Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools}, booktitle = {Proceedings of the 8th International Workshop on the Implementation of Logics}, url = {http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html}, 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.}, keywords = {automated reasoning, polyhedra, discrete mathematics}, year = {2010}, }
Publication's urls
/publications/view.php?code=d6c5ddbbfbfe255f3062cf6db426b170
/publications/view.php?code=alama-iwil
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT