公理

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

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


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

显示结果1至20的168。
按年份排序(引文
  1. 贾,宜丰;萧,董良:微分特征集方法在伪微分算子和Lax表示中的应用(2019)
  2. Roanes Lozano,尤金尼奥;加尔南加里亚,Jose Luis;索拉诺·麦克亚斯,卡门:计算机代数系统的成功与影响的思考:10年时间透视(2019)
  3. Alhussain,Ziyad A.:关于幂级数展开的形式连分式(2018)
  4. Carette、贾可、农民、William M.:将数学知识形式化为一个双形态理论图:一个案例研究(2017)
  5. 埃里卡、Abbott、约翰、贝克尔、贝尔恩德、BigaTi、Anna M.、大脑、马丁、马丁、Y、CimaTi、Y、Y、Y、英国、Y、Y、Y、Y、Y、Grigio、Y、KRONEN、Y、SeRiver、Y.、Y、O::TrutsFSC(^ 2):可满足性检验满足符号计算。(项目论文)(2016)
  6. Lambe,Larry A.:克莱因瓶的代数研究(2016)
  7. Heras,J·弥敦;Maldi-N-MateOS,弗朗西斯科Jes S;Pascual,维柯:ACL2中代数结构和态射的建模(2015)
  8. Ballarin,克莱门斯:场所:数学理论的模块系统(2014)
  9. 陈,Changbo;科瓦诺夫,Svyatoslav;曼苏里,Farnam;马扎,Marc Moreno;谢宁宁,谢Yuzhen,Yuzhen:基本多项式代数子程序(2014)
  10. van der Hoeven,Joris:数学模型系统概述(2014)
  11. JLLY,RAPHAL:Scala代数系统中的类类(2013)
  12. Rojas Bruna,卡洛斯:满足四度恒等式的交换代数的迹形式与理想(2013)
  13. Aharonovich,I.霍维茨,L. P.:经典离壳电动力学中的辐射反应。I:上述质量壳案(2012)
  14. 多斯雷斯,加布里埃尔:公理化编程系统(2012)
  15. 阿迪佐尼,Alessandro;斯顿博,法比奥:二次李代数。(2011)
  16. Carette,贾可;Keelyyov,奥列格:带函子和单子的多级编程:从泛型代码中消除抽象开销(2011)
  17. 多斯雷斯,加布里埃尔;马休斯,戴维;李,岳:OpenAXIOM到PYL/ML:面向集成证明助手和计算机代数系统框架(2011)
  18. Kredel,海因茨:Java计算机代数系统中唯一的因式分解域(2011)
  19. Kredel,海因茨;JoLy,拉斐尔:作为类型化对象的代数结构(2011)
  20. van der Weegen,Eelis:类型理论中的数学类(2011)