路易

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


zbMATH中的参考文献(参考文献10条)

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

  1. 林玉辉;格罗夫,古德蒙德;Arthan,Rob:以图形化的方式理解和维护战术,或者我们是如何认识到一个图表的价值可以超过10万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. 阿斯皮纳尔,大卫;奥特西耶,谢尔盖;吕思,克里斯托夫;Wagner,Marc:走向合并Plat(\Omega)和PGIP(2009)ioport公司
  6. 瓦格纳,马克;奥特西耶,谢尔盖;Benzmüller,Christoph:\textscPlat(\Omega):文本编辑器和校对辅助系统之间的调解人(2007)
  7. 布赫伯格,布鲁诺;阿德里安,Crǎciun;犹太,都铎王朝;科瓦茨,劳拉;特穆尔库兹亚;中川、高知;弗洛里娜;波波夫,尼古拉;机器人,朱迪;罗森克兰兹,马库斯;温斯泰格,沃尔夫冈:走向计算机辅助数学理论探索(2006)
  8. 西格曼,Jörg;本斯米勒,克里斯托夫;Autexier,Serge:计算机支持的数学与(\Omega)MEGA(2006)
  9. 西格曼,Jörg;Benzmüller,Christoph:(\Omega)MEGA:计算机支持的数学(2004)
  10. 西克曼,J。;本兹米勒,C。;费德勒,A。;梅尔,A。;Pollet,M.:用(\Omega)MEGA:(\sqrt2)证明开发是不合理的(2002)