Scifaro

中文

探索 Steinitz-Rademacher 多面体：对自动推理工具的挑战

逻辑 2014-01-09 v2 离散数学计算机科学中的逻辑

作者: Jesse Alama

在 arXiv 上查看 ↗ PDF ↗

摘要

本笔记报告了一些实验，使用少量标准自动推理工具来探索 Steinitz-Rademacher 多面体，它们是某种关联结构一阶理论的模型。该理论及其模型（即使是简单的模型）对自动推理工具提出了显著且几何上引人入胜的挑战。

关键词

Steinitz-Rademacher 多面体自动推理关联结构一阶理论几何模型

引用

@article{arxiv.1401.0882,
  title  = {Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools},
  author = {Jesse Alama},
  journal= {arXiv preprint arXiv:1401.0882},
  year   = {2014}
}

备注

5 pages. Presented at IWIL 2010 (International Workshop on the Implementation of Logics), Yogyakarta, Indonesia