路易

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


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年)