路易

LΩUI：可爱的Ω巨型用户界面。自动定理证明器接口的能力对于有效使用（交互）证明系统是必不可少的。LΩUI是多模态接口，它结合了几个特性：在证明图中的图形显示、具有超文本设备的选择性术语浏览器、自然语言中的证明和证明计划呈现、以及用于添加和维护知识库的编辑器。在基于代理的客户机-服务器体系结构中实现LΩUI，并在并发约束编程语言OZ中实现。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（10篇文章中引用）

显示结果1至10的10。
按年份排序（引文）

  1. 林，Yuhui；Grov，Gudmund；Arthan，罗布：理解和保持策略图形化，或者我们如何学习图表可以超过10K LOC（2016）
  2. SKIPPAN，Vikto:用时间相关信息增强LTL的不可满足核（2016）
  3. C. Dunchev，A. Leitsch，T. Libal，M. Riener，M. Rukhaia，D. Weller，B. Woltzenlogel Paleo：校对工具：GAPT框架的GUI（2013）阿西夫
  4. Aspinall，戴维；丹尼，Ewen；吕斯，克里斯托夫：分层证明策略（2010）
  5. Aspinall，戴维；Autexier，塞尔格；吕斯，克里斯托夫；瓦格纳，贾景晖：走向合并的PLAT（Ω）和PGIP（2009）伊波尔特
  6. 瓦格纳，贾景晖；Autoxer-Serge；Bangmüü勒，克里斯托夫：\TexScLPLAT（\Omega）：文本编辑器和证明辅助系统之间的中介体（2007）
  7. Buchberger，布鲁诺；C.C.Cun，阿德里安；犹太民族，都铎王朝；科尔巴斯，劳拉；Kutsia，图穆尔；那卡嘎瓦，Koji；皮罗，弗洛里纳；Nikolaj，罗布，Judit；RoxknRangz，Po.；WordSigige，Y::TexTealTraceM:走向计算机辅助数学理论探索（2006）
  8. Siekmann，J.O.R.G；克里斯托夫，Autxier-SerGe:计算机支持的数学（ω）mega（2006）
  9. Siekmann，J.O.R.G；克里斯托夫（：Omega）：计算机支持的数学（2004）
  10. Siekmann，J，菲德勒，A，迈耶，A；Pollet，M:：（Omega）mega的证明发展：（\SqRT2）是非理性的（2002）