E-SETHEO公司

E-SETHEO:一个自动化的定理证明器我们开发了一种基于问题域生成的测试数据的策略评估和选择方法。我们提出了定理证明器e-SETHEO,它可以自动处理训练数据管理、策略评估和选择以及实际的证明任务。并给出了用该系统产生的实验数据。我们解决了测试集抽取的问题,并对我们的工作进行了评估。


zbMATH中的参考文献(参考文献第十八条)

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

  1. Kaliszyk,Cezary:高效低层连接表(2015)
  2. 居尔温,丹尼尔;斯蒂芬·舒尔茨;城市,约瑟夫:E男性1.1(2013年)
  3. 比约克,马格努斯:一阶圣埃尔马克。通过分支合并的普遍引理(2009)
  4. Jürjens,Jan:基于流的密码协议领域特定语言(2009)
  5. 本斯米勒,克里斯托夫;高粱、沃尔克;杰姆尼克,马特亚;Kerber,Manfred:自动协作的组合推理(2008)
  6. Paskevich,Andrei:lazy-paramodulation连接表(2008)
  7. 莱兹,莱因霍尔德;斯坦茨,格诺:《断续表演算》(2007)
  8. 本斯米勒,克里斯托夫;高粱、沃尔克;杰姆尼克,马特亚;高阶和一阶定理证明者能合作吗?(2005年)
  9. 奥顿,詹斯;Bibel,Wolfgang:IeanCOP:基于精益连接的定理证明(2003)
  10. 里亚扎诺夫,亚历山大;Voronkov,Andrei:解析定理证明中的有限资源策略(2003)
  11. Fuchs,Marc:小句引理在表观结石中的控制使用(2000)
  12. 斯坦茨,格诺;沃尔夫,安德烈亚斯:E-SETHEO:自动(^3)定理证明器(2000)
  13. 比贝尔:让我们用演绎的方式来计划吧!(1998年)
  14. 费舍尔,伯恩德;舒曼,约翰;斯内尔,格雷戈:基于演绎的软件构件检索(1998)
  15. 费舍尔,伯恩德;舒曼,约翰M.博士:SETHEO goes软件工程:ATP在软件重用中的应用(1997)
  16. 伊本斯,奥特伦;Letz,Reinhold:模型消除中的子目标变换(1997)
  17. 莫斯,麦克斯;伊本斯,奥特伦;莱兹,莱因霍尔德;斯坦巴赫,约阿希姆;戈勒,克里斯托夫;舒曼,约翰;迈尔,克劳斯:CADE-13系统SETHEO和E-SETHEO。(1997年)ioport公司
  18. 舒曼,约翰:用SETHEO自动验证密码协议(1997)