枣灰蝶属

软件系统理论为证明、求解和简化数学各领域的公式提供了统一的逻辑和软件技术框架。Theorema是在奥地利符号计算研究所(RISC)开发的。

ORMS中也引用了该软件。


参考文献,4标准条款)

显示143个结果中的1到20个。
按年份排序(引用)

1 2 ... 6 7 8 下一个

  1. Carette,Jacques;Farmer,William M.:走向指定符号计算(2019)
  2. Drămnesc,Isabela;Jebelean,Tudor;Stratulat,Sorin:用逻辑和组合技术对二叉树排序算法的机械综合(2019年)
  3. Dundua,Besik;Kutsia,Temur;Marin,Mircea:变量方程匹配(2019)
  4. Johansson,Moa:归纳引理的发现。调查(2019年)
  5. Carette,雅克;Farmer,William M.;Laskowski,Patrick:HOL Light QE(2018年)
  6. Farmer,William M.:将引用和评价纳入Church的类型理论(2018)
  7. Kurtanidze,Lia;Rukhaia,Mikhail:Skolemization in Unrankled logics(2018年)
  8. Ganesalingam,M.;Gowers,W.T.:一个具有人类风格输出的全自动定理证明器(2017)
  9. Geuvers,Herman(编辑);England,Matthew(编辑);Hasan,Osman(编辑);Rabe,Florian(编辑);Teschke,Olaf(编辑):智能计算机数学。第十届国际会议,2017年7月17日至21日,英国爱丁堡。会议记录(2017)
  10. Johansson,Moa:交互式定理证明的自动理论探索:Hipster系统简介(2017)
  11. Alexander Maletzky;Wolfgang Windsteiger:Vickrey拍卖的形式化:Isabelle和Theorema中两种方法的比较(2017)
  12. Smallbone,Nicholas;Johansson,Moa;Claessen,Koen;Algeed,Maximilian:忙碌程序员的快速规范(2017)
  13. Bruno Buchberger:GDML和EuKIM项目:关于该倡议的简短报告(2016年)
  14. Bruno Buchberger;Jebelean,Tudor;Kutsia,Temur;Alexander Maletzky;Wolfgang Windsteiger:Theorema 2.0:计算机辅助自然风格数学(2016)
  15. Drămnesc,Isabela;Jebelean,Tudor;Stratulat,Sorin:基于证据的树排序算法综合(2016)
  16. Greuel,Gert Martin(编辑);Koch,Thorsten(编辑);Paule,Peter(编辑);Sommese,Andrew(编辑):数学软件——ICMS 2016。第五届国际会议,德国柏林,2016年7月11日至14日。诉讼(2016)
  17. Kohlhase,Michael;Rabe,Florian:QED重新加载:走向多元形式的数学知识库(2016)
  18. Alexander Maletzky:Theorema2.0中的交互证明、高阶重写和理论分析(2016)
  19. Alexander Maletzky:《理论中的数学理论探索:还原环》(2016)
  20. Drămnesc,Isabela;Jebelean,Tudor:通过机械证明综合列表算法(2015)

1 2 ... 6 7 8 下一个


更多出版物请访问:http://www.risc.jku.at/publications/