Scifaro

中文

PROOFTOOL：GAPT 框架的图形用户界面

计算机科学中的逻辑 2013-07-09 v1 人机交互数学软件

作者: Cvetan Dunchev , Alexander Leitsch , Tomer Libal , Martin Riener , Mikheil Rukhaia , Daniel Weller , Bruno Woltzenlogel-Paleo

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

本文介绍了 PROOFTOOL，即证明论通用架构（GAPT）框架的图形用户界面。文中描述了其功能，不仅关注可视化，还侧重于证明及相关树状结构的分析与变换，并解释了其实现方式。最后，将 PROOFTOOL 与其他三种证明图形界面进行了比较。

关键词

PROOFTOOL GAPT 框架图形用户界面证明可视化证明分析证明变换树状结构

引用

@article{arxiv.1307.1942,
  title  = {PROOFTOOL: a GUI for the GAPT Framework},
  author = {Cvetan Dunchev and Alexander Leitsch and Tomer Libal and Martin Riener and Mikheil Rukhaia and Daniel Weller and Bruno Woltzenlogel-Paleo},
  journal= {arXiv preprint arXiv:1307.1942},
  year   = {2013}
}

备注

In Proceedings UITP 2012, arXiv:1307.1528