全景

Panoptes:一种形式证明的探索工具。证明助手通过处理低级推理细节来帮助用户证明数学定理。他们的用户界面通常以文本的形式呈现证明信息,随着文本尺寸的增长,文本变得越来越难以理解。Panoptes是一个软件工具,它允许用户探索由IMPS交互式数学证明系统生成的形式证明的图形表示。Panoptes自动将IMPS演绎图显示为用户可以轻松操作的可视化图形。它的功能包括目标缩放、浮动信息框、节点重新标记和适当的子结构折叠。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献,1标准件)

显示结果1/1。
按年份排序(引用)

  1. Farmer,William M.;Grigorov,Orlin G.:Panoptes:正式证明的探索工具(2009)