枣灰蝶属

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

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


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

显示结果101至120的143。
按年份排序(引文
  1. Kutsia,Timur:序列变量与柔性符号的模式统一(2002)
  2. Lyaletski,亚力山大;维钦,康斯坦丁;德吉塔雷夫,阿纳托利;Paskevich,安德烈:自动演绎系统(SAD):语言和演绎特性(2002)
  3. 皮罗,弗洛里纳;Buchberger,布鲁诺:聚焦窗口:一种新的证据展示技术(2002)
  4. PravoSt,Vigelle;Duligez,达米安:FoC语言中的算法和证明继承(2002)
  5. 普雷沃斯、维吉尔、多利格斯、达米安、哈丁、泰瑞斯:代数结构和相关记录(2002)
  6. 亚当斯,安得烈;邓斯坦,马丁;Gottliebsen,Hanne;凯尔西,汤姆;Pig,y,OWRE,Y:计算机代数满足自动定理证明:MAPLE和PVS的集成(2001)
  7. 阿曼多,Alessandro;CoGoLo,Alessandro;Giunchiglia,Fausto;Ranise,西尔维奥:开放机械推理系统中的控制层:注释和策略(2001)
  8. Buchberger,布鲁诺:Grübne基与系统理论(2001)
  9. Buchberger,布鲁诺:数学知识管理的理论(2001)
  10. Buchberger,布鲁诺:PCS证明器在(\Trth\\\TealOrm \FALL)中(2001)
  11. Buchberger,布鲁诺;杜普雷,克劳迪奥;犹太民族,都铎王朝;Kriftner,弗兰兹;那卡嘎瓦,曲;V.SARU,达妮埃拉;WordSigige,FIL:TH(存在)Orem(\FALALL)项目:进展报告(2001)
  12. 卡普蒂蒂、O.、科恩、A. M.:OpenMaCT在交互式数学文献中的作用(2001)
  13. 卡普蒂蒂,奥尔加;Guver,赫尔曼;奥斯特代克,马蒂恩:正式背景下的认证和便携式数学文献(2001)
  14. CaPurTi,奥尔加;奥斯特代克,Martijn:利用计算机代数预言的形式有效的素数证明(2001)
  15. 科恩,Arjeh M.:通过网络交流数学。(2001)
  16. 农民,William M.;von Mohrenschildt,马丁:数学管理的正式框架(2001)
  17. Ioakimidis,N. I.:经典梁问题中的有限差分/元素:借助于Read和ReLoG(2001)推导参数不等式约束下的可行条件
  18. Jebelean,都铎:自然风格谓词逻辑在定理中的证明:S分解(2001)
  19. Kerber,曼弗雷德(ED);Kohlhase,米迦勒(ED):符号计算和自动推理。计算器2000年专题讨论会。第八符号计算与机械化推理的整合研讨会,St. Andrews,苏格兰,GB,8月6日- 7, 2000(2001)
  20. Konev,鲍里斯;犹太民族,都铎王朝:用元变量进行自然演绎(2001)

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