OpenAxiom公司 swMATH ID: 9353 软件作者： 描述： OpenAxiom是一个用于符号、代数和数值计算的开源平台。它提供了一个交互式环境、一种富于表现力的编程语言、一个编译器、一组计算科学研究人员和实践者感兴趣的大型数学库。OpenAxiom致力于在主要操作系统上支持无处不在、高级、高质量的开源计算机代数，尤其是主要的Unix变体、GNU/Linux变体、Windows和手持设备。它旨在成为研究、教学、工程等领域首选的开源计算机代数系统 主页： http://www.open-a公理.org/ 相关软件： AXIOM公司;聚乙烯/ML;阿尔多;枫树;伊莎贝尔;焦点的;泽农;C-CoRN公司;MetaPRL公司;PVS公司;伊莎贝尔/HOL;Coq公司 引用于： 3文件 3位作者引用 2 加布里埃尔·多斯·里斯 2 李，岳 1 雷诺·里奥博 2篇连载文章中引用 1 数学与人工智能年鉴 1 计算机代数中的ACM通信 在2个字段中引用 三 计算机科学（68至XX） 1 一般代数系统（08-XX） 按年份列出的引文