公理

公理是一个通用的计算机代数系统(CAS)。这对于数学算法的研究和开发是有用的。它定义了一个强类型的、数学上正确的类型层次结构。它有一个编程语言和一个内置编译器。

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


ZBMaX中的参考文献(168篇)3篇标准文章

显示结果41至60的168。
按年份排序(引文
  1. 帕伦蒂,P.:一个实代数曲面的邻接图(2005)
  2. 哥特列布森,Hanne;凯尔西,汤姆;马丁,厄休拉:计算数学的隐性验证(2005)
  3. 卡普兰,米迦勒:计算机代数(2005)
  4. 万恰,Cosmin E.;瓦特,Stephen M.:域和表达式:计算机代数两种方法之间的接口(2005)
  5. Brunelli,J. C.:伪:流的应用和懒惰评价对可积模型(2004)
  6. Emiris,Ioannis Z.;TigigaIDas,Elias P.:比较小代数的实代数数(2004)
  7. Hivert,Florent;Tayey,Nicolas M.:Muad CouthAt,一个用于代数组合学研究的开放源代码包(2004)
  8. 科恩,Joel S.:计算机代数和符号计算。数学方法(2003)
  9. 农民,William M.;von Mohrenschildt,马丁:数学管理的正式框架综述(2003)
  10. Lamamn,Laureano;Pascual,维柯;Rubio,胡里奥:一个面向对象的EAT系统解释(2003)
  11. Roanes Lozano,E;Ranges Maiasas,E;Villar Mena,M.:动态几何与计算机代数之间的桥梁(2003)
  12. 巴内特,Michael P.:生命科学中的计算机代数(2002)
  13. Davenport,James H.:计算机代数及其他领域的平等。(2002)
  14. Guver,赫尔曼;波拉克,兰迪;Wiedijk,Frik;兹瓦嫩堡,简:Coq的一个构造代数层次。(2002)
  15. Jacquemard,A.特谢拉,M. A.:有效代数几何和可逆映射的正规形式(2002)
  16. Lambe,Larry A.;塞勒,Werner M.:微分方程,斯宾塞上同调,和计算分辨率(2002)
  17. 具有多重性的系统的二次牛顿迭代(2002)
  18. Lomonaco jun.,Samuel J.;考夫曼,路易斯H:量子隐藏子群算法:数学透视(2002)
  19. PravoSt,Vigelle;Duligez,达米安:FoC语言中的算法和证明继承(2002)
  20. 马蒂亚斯·舒瓦茨,弗里茨:AlpType:一种代数语言和类型系统。(2002)