路易

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)