IBM草稿行

Axiom是一个通用的计算机代数系统。这对数学算法的研究和开发是有用的。它定义了一个强类型、数学上正确的类型层次结构。它有一种编程语言和一个内置的编译器。Axiom自1971年以来一直在发展,当时它被称为草稿行(Scratchpad)。Scratchpad是一个大型通用计算机代数系统(CAS),最初由IBM在richardjenks的指导下开发。


zbMATH中的参考文献(参考文献34条,1标准件)

显示第1到第20个结果,共34个。
按年份排序(引用)
  1. 女孩án-Garc公司ía、 乔斯é 五十、 。;阿奎莱拉·维内加斯,加布里埃尔;女孩án-Garc公司ía、 三月íÁ.; 罗德íguez Cielos,佩德罗;阿泰西亚Mc。基洛普,Iván: 提高CAS能力:计算不当积分的新规则(2018)
  2. Lambe,Larry A.:克莱恩瓶的代数研究(2016)
  3. van der Hoeven,Joris:Mathemagix类型系统概述(2014)
  4. Dos Reis,Gabriel:公理编程系统(2012)
  5. 摩西,乔尔:麦克西马:个人历史(2012)
  6. 莫纳根,迈克尔;保罗·维比克:《懒惰和健忘的多项式算法与应用》(2009)
  7. 布鲁内利,J。C、 :PSEUDO:streams和lazy求值在可积模型中的应用(2004)
  8. Karczmarczuk,Jerzy:懒惰语义的生成能力(1997)
  9. 利加茨卡斯,泽农;里奥布,R。;罗伊,M。F、 :有序域实闭包的一般计算(1996年)ioport公司
  10. 利加茨卡斯,泽农;里奥布,R。;罗伊,M。F、 :有序域实闭包的一般计算(1996年)
  11. 阿尔诺,F.:拉宾米勒素性检验:通过它的合成数(1995)
  12. 詹克斯,理查德D。;特雷格,巴里M.:如何把公理化为草稿行(1994)
  13. Seiler,Werner M.:公理中的伪微分算子和可积系统(1994)
  14. Sit,William Y.:求解参数线性系统的算法(1992)
  15. 科蒙,H。;卢吉兹,D。;Schnoebelen博士:计算机代数子集的基于重写的类型规则(1991)
  16. 真蒂亚诺,格拉齐利;奥康纳,迈克尔A.:空间中的有理几何(1991)
  17. Lidl,Rudolf:有限域理论中的计算问题(1991)
  18. 这是威廉R。;Mills,Patrick L.:计算机符号操作在化学工程系统分析中的一些应用(1991)
  19. Manuel Bronstein:超越Risch微分方程(1990)
  20. Bronstein,Manuel:初等函数的积分(1990)