路易

LΩ用户界面：可爱的Ω兆用户界面。自动定理证明程序接口的功能对于有效地使用（交互式）证明系统至关重要。LΩUI是一个多模式界面，它结合了以下几个特点：在校样图中以图形方式显示信息，具有超文本功能的选择性术语浏览器，用自然语言表示校样和校样计划，以及用于添加和维护知识库的编辑器。LΩUI是在基于agent的客户机-服务器体系结构中实现的，并用并发约束编程语言Oz实现。

此软件的关键字

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

zbMATH中的参考文献（参考

显示第1到第10个结果，共10个。
按年份排序(引用)

  1. Lin，Yuhui；Grov，Gudmund；Arthan，Rob：以图形化的方式理解和维护战术，或者我们是如何认识到一个图表可以价值超过10K LoC（2016年）
  2. Schuppan，Viktor:用时间相关性信息增强LTL的不满意核心（2016）
  3. C、 Dunchev，A.Leitsch，T.Libal，M.Riener，M.Rukhaia，D.Weller，B.Woltzenlogel Palo:校对工具：GAPT框架的图形用户界面（2013）阿尔十四
  4. 大卫阿斯皮纳尔；丹尼，埃文；吕思，克里斯托夫：分层证明的策略（2010）
  5. 阿斯皮纳尔，大卫；奥特克西耶，谢尔盖；吕思，克里斯托夫；瓦格纳，马克：走向融合普拉特（\Omega）和PGIP（2009）ioport公司
  6. Wagner，Marc；Autexier，Serge；Benzmüller，Christoph:\ textscPlat（\Omega）：文本编辑器和校对辅助系统之间的调解人（2007）
  7. 布鲁诺·布克伯格；阿德里安·克瑞恩；都铎人杰贝伦；科瓦茨，劳拉；库西亚，特穆尔；中川，科吉；皮罗伊，弗洛里纳；波波夫，尼古拉；罗布，朱迪特；罗森克兰兹，马库斯；温斯泰格，沃尔夫冈：\texttheorema:走向计算机辅助数学理论探索（2006）
  8. 西格曼，Jörg；Benzmüller，Christoph；Autexier，Serge:计算机支持的数学与（\Omega）MEGA（2006）
  9. 西格曼，Jörg；Benzmüller，Christoph:（\Omega）MEGA:计算机支持的数学（2004）
  10. Siekmann，J.；Benzmüller，C.；Fiedler，A.；Meier，A.；Pollet，M.：（\Omega）MEGA:（\sqrt2）的证明开发是不合理的（2002年）