公理

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

ORMS中也引用了该软件。


zbMATH中的参考文献(参考文献172篇文章,3标准条款)

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

1 2 ... 7 8 9 下一个

  1. Meshveliani,S.D.:在GCD域上分数运算的机器检查证明(2020)
  2. 贾逸峰;肖东亮:微分特征集方法在伪微分算子和Lax表示中的应用(2019)
  3. 罗恩斯·洛扎诺,尤金尼奥;加兰-加西亚,何塞·路易斯;Solano Macías,Carmen:关于计算机代数系统的成功和影响的一些思考\textItDerive10年时间展望(2019)
  4. 查曼,瓦切克;Alhussain,Ziyad A.:关于幂级数展开的形式连分数(2018)
  5. 格沃基安,M.N。;德米多瓦公司。;韦利耶娃,T.R。;科罗尔科娃公司。;Kulyabov,D.S。;Sevast'yanov,L.A.:在计算机代数系统中实现一步过程的随机化方法(2018)
  6. 卡莱特,雅克;Farmer,William M.:将数学知识形式化为双态理论图:案例研究(2017)
  7. Ábrahám,埃里卡;阿伯特,约翰;贝克,伯纳德;比加迪,安娜·M。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;达文波特,詹姆斯H。;英格兰,马修;方丹,帕斯卡;福利斯,斯蒂芬;格里吉奥,阿尔伯托;丹尼尔·克罗宁;塞勒,沃纳M。;Sturm,Thomas:\textsfSC(^2):满足性检查满足符号计算。(项目文件)(2016)
  8. Lambe,Larry A.:克莱恩瓶的代数研究(2016)
  9. 内森,赫拉森;Martín-Mateos,Francisco Jesús;Pascual,Vico:ACL2中代数结构和态射的建模(2015)
  10. 巴拉林,克莱门斯:语言环境:数学理论的模块系统(2014)
  11. 陈昌波;科瓦诺夫,斯维雅托斯拉夫;曼苏里,法尔南;马扎,马克·莫雷诺;谢宁;谢玉珍:基本多项式代数子程序(2014)
  12. 陈昌波;科瓦诺夫,斯维雅托斯拉夫;曼苏里,法尔南;马扎,马克·莫雷诺;谢宁;谢玉珍:《基本多项式代数子程序》(2014)
  13. van der Hoeven,Joris:Mathemagix类型系统概述(2014)
  14. Jolly,Raphaël:Scala代数系统中的类别作为类型类(2013)
  15. Rojas Bruna,Carlos:满足四次恒等式的交换代数的迹形式和理想(2013)
  16. 亚哈罗诺维奇,I。;霍维茨:经典壳外电动力学中的辐射反应。一: 上述质量壳案(2012年)
  17. Dos Reis,Gabriel:公理编程系统(2012)
  18. 阿迪佐尼,亚历山德罗;二次李代数。(2011年)
  19. 卡莱特,雅克;Kiselyov,Oleg:用函子和单子的多阶段编程:消除泛型代码的抽象开销(2011)
  20. 多斯里斯,加布里埃尔;马修斯,大卫;Li,Yue:将OpenAxiom重新定位到Poly/ML:走向集成的证明助手和计算机代数系统框架(2011)

1 2 ... 7 8 9 下一个