欧米茄

Ωmega:基于证明规划的高阶逻辑定理证明器。


zbMATH参考文献(参考 26篇文章 引用)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. 布兰切特,贾斯敏·克里斯蒂安;波佩斯库,安德烈;旺德,丹尼尔;魏登巴赫,克里斯托夫:更多的空间与伊莎贝尔。硬分类和可配置简化的叠加(2012)
  2. 奥特西耶,谢尔盖;迪特里希,多米尼克:(\Omega)MEGA的验证搜索编程语言的最新发展(2010)
  3. 奥特克西耶,谢尔盖;本兹穆勒,克里斯托夫;迪特里希,多米尼克;瓦格纳,马克:《数学知识的组织、转换和传播》(2008)
  4. Wagner,Marc;Autexier,Serge;Benzmüller,Christoph:\ textscPlat(\Omega):文本编辑器和校对辅助系统之间的调解人(2007)
  5. 奥特克西耶,谢尔盖;本兹米勒,克里斯托夫;迪特里希,多米尼克;迈尔,安德烈亚斯;沃思,克劳斯彼得:一种通用的模块化数据结构,用于在思想和粒度上交替进行证明尝试(2006年)
  6. 奥特西耶,谢尔盖;菲德勒,阿明:教科书的证明符合形式逻辑--不规范和粒度的问题(2006)
  7. Benzmüller,Christoph;Meier,Andreas;Sorge,Volker:桥接定理证明与数学知识检索(2005)
  8. 费德勒,阿明:自然语言证明解释(2005)
  9. 克伯,曼弗雷德:从MKRP到(\Omega)mega(2005)
  10. Meier,Andreas;Melis,Erica:多重策略验证计划中的失败推理(2005)
  11. Meier,Andreas;Melis,Erica:系统描述:Multi。多策略验证规划师(2005)
  12. 奥特克西耶,谢尔盖;本兹姆勒,克里斯托夫;费德勒,阿明;霍拉切克,赫尔穆特;沃,鲍群克:断言级证明低于规范的表示(2004)
  13. Kutsia,Temur;Buchberger,Bruno:具有序列变量和序列函数符号的谓词逻辑(2004)
  14. (\MEGAüller,2004;计算机支持:MEGAükman;J.)
  15. Bezem,Marc;Hendriks,Dimitri;de Nivelle,Hans:类型理论中使用分辨率的自动证明构造(2002)
  16. 梅耶,安德烈亚斯;索尔格,沃尔克;科尔顿,西蒙:运用理论形成来指导证明计划(2002)
  17. Siekmann,J.;Benzmüller,C.;Fiedler,A.;Meier,A.;Pollet,M.:(\Omega)MEGA:(\sqrt2)的证明开发是不合理的(2002年)
  18. 西格曼,Jörg;Benzmüller,Christoph;Brezhnev,Vladimir;Cheikhrouhou,Lassaad;Fiedler,Armin;Franke,Andreas;Horacek,Helmut;Kohlhase,Michael;Meier,Andreas;Melis,Erica;Moschner,Markus;Normann,Immanuel;Pollet,Martin;Sorge,Volker;Ullrich,Carsten;Wirth,Claus Peter;Zimmer,Jürgen:用(\Omega)MEGA)MEGA进行验证开发(2002)
  19. Benzmüller,Christoph;Meier,Andreas;Sorge,Volker:分布式断言检索(2001)
  20. 费德勒,阿明:P.雷克斯:一个互动的证明解释者(2001)