公理

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

ORMS中也引用了该软件。


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

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

1 2 ... 7 8 9 下一个

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

1 2 ... 7 8 9 下一个