公理

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

ORMS中也引用了该软件。


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

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

1 2 ... 7 8 9 下一个

  1. 贾义峰;肖冬亮:微分特征集方法在伪微分算子和Lax表示中的应用(2019)
  2. Roanes Lozano,Eugenio;Galán-García,Jose Luis;Solano Macías,Carmen:关于计算机代数系统的成功和影响的一些思考(2019年)
  3. Chammam,Wathek;Alhussain,Ziyad A.:关于幂级数展开的形式连分数(2018)
  4. Carette,Jacques;Farmer,William M.:将数学知识形式化为双态理论图:案例研究(2017)
  5. Ábrahám,Erika;Abbott,John;Becker,Bernd;Bigatti,Anna m.;Brain,Martin;Buchberger,Bruno;Cimatti,Alessandro;Davenport,James H.;England,Matthew;Fontaine,Pascal;Forrest,Stephen;Griggio,Alberto;Krooning,Daniel;Seiler,Werner m.;Sturm,Thomas:\ textsfSC(^2):满足性检验满足符号计算。(项目文件)(2016)
  6. Lambe,Larry A.:克莱恩瓶的代数研究(2016)
  7. Heras,Jónathan;Martín-Mateos,Francisco Jesús;Pascual,Vico:在ACL2中建模代数结构和态射(2015)
  8. 巴拉林,克莱门斯:语言环境:数学理论的模块系统(2014)
  9. Chen,Changbo;Covanov,Svyatoslav;Mansori,Farnam;Maza,Marc Moreno;Xie,Ning;Xie,Yuzhen:基本多项式代数子程序(2014)
  10. Chen,Changbo;Covanov,Svyatoslav;Mansori,Farnam;Maza,Marc Moreno;Xie,Ning;Xie,Yuzhen:基本多项式代数子程序(2014)
  11. van der Hoeven,Joris:Mathemagix类型系统概述(2014)
  12. Jolly,Raphaël:Scala代数系统中的类别作为类型类(2013)
  13. Rojas Bruna,Carlos:满足四次恒等式的交换代数的迹形式和理想(2013)
  14. Aharonovich,I.;Horwitz,L.P.:经典壳外电动力学中的辐射反应。一: 上述质量壳案(2012年)
  15. Dos Reis,Gabriel:公理编程系统(2012)
  16. 阿迪佐尼,亚历山德罗;斯图博,法比奥:二次李代数。(2011年)
  17. Carette,Jacques;Kiselyov,Oleg:《用函子和单子的多阶段编程:消除泛型代码的抽象开销》(2011)
  18. Dos Reis,Gabriel;Matthews,David;Li,Yue:将OpenAxiom重新定位到Poly/ML:走向集成的证明助手和计算机代数系统框架(2011)
  19. Kredel,Heinz:Java计算机代数系统中的独特因式分解域(2011)
  20. Kredel,Heinz;Jolly,Raphael:作为类型对象的代数结构(2011)

1 2 ... 7 8 9 下一个