枣灰蝶属

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

该软件在ORMS也有参考价值。


ZBMaX中的参考文献(140篇)4篇标准文章

显示结果1至20的140。
按年份排序(引文
  1. Carette,贾可;农民William M.:走向符号计算(2019)
  2. Isabela、吉布里、都铎、StululAT、Sulin:二元树排序算法的机械综合:逻辑和组合技术(2019)
  3. Carette,贾可;农民,William M.;拉斯科夫斯基,帕特里克:霍尔光QE(2018)
  4. 农民、William M.:教会理论的引用与评价(2018)
  5. Kurtanidze,La,卢卡亚,米哈伊尔:无秩逻辑中的SkeleM化(2018)
  6. Ganesalingam,M;GoeWS,W. T.:一个具有人类风格输出的全自动定理证明器(2017)
  7. Guver,赫尔曼(ED);英国,马修(ED);Hasan,奥斯曼(ED);Rabe,弗洛里安(ED);TestChee,奥拉夫(ED.):智能计算机数学。第十届国际会议,CICM 2017,爱丁堡,英国,7月17日- 21, 2017。诉讼(2017)
  8. 约翰松,莫阿:交互式定理证明的自动化理论探索:HIPSTER系统导论(2017)
  9. Maletzky,亚力山大;WordSigige,沃尔夫冈:Vikry拍卖的形式化:伊莎贝尔和定理2017中两种方法的比较(上)
  10. 小骨,尼古拉斯;约翰松,莫阿;Claessen,Koen;Algehed,马希米莲:忙碌程序员的快速规范(2017)
  11. Buchberger,布鲁诺:GDML和EuKIM项目:倡议的简短报告(2016)
  12. Buchberger,布鲁诺;犹太民族,都铎王朝;Kutsia,图穆尔;Maletzky,亚力山大;WordSigige,沃尔夫冈:定理2:计算机辅助自然风格数学(2016)
  13. Isabela M.NESC;JeBeNeIn,都铎;StululAT,SoRin:基于树的排序算法的证明综合(2016)
  14. Greuel,Gert Martin(ED);科赫,托斯滕(E..);波勒,彼得(ED);SMOMESE,安得烈(ED):数学软件——ICMS 2016。第五届国际会议,柏林,德国,7月11日- 14, 2016。诉讼(2016)
  15. Maletzky,亚力山大:定理2(2016)中的交互证明、高阶重写和理论分析
  16. Maletzky,亚力山大:定理的数学理论探索:还原环(2016)
  17. Isabela MeNeC.JabeliaTuoor:机械证明列表算法的综合(2015)
  18. Gerdt,Vladimir P.(ED);Koepf,WordfRAM(ED);塞勒,Werner M.(ED);Vorozhtsov,Evgenii V.(ED):科学计算中的计算机代数。第十七届国际研讨会,CASC 2015,亚琛,德国,9月14日- 18, 2015。诉讼(2015)
  19. 艾达,Tetsuo;Ghourabi,Fadoua;Takahashi,Kasuo:多边形结折纸的形式化(2015)
  20. Maletzky,亚力山大:利用定理系统在还原环中进行自动推理(2015)

进一步的出版物可以在:HTTP//www. RISC.JKUA/ATP/S/S