×

AXIOM公司

swMATH ID: 63
软件作者： Tim Daly等人。；http://wiki.axiom-developer.org/公理网站/community.html
描述： Axiom是一个通用的计算机代数系统（CAS）。它对数学算法的研究和开发很有用。它定义了一个强类型、数学上正确的类型层次结构。它有编程语言和内置编译器
主页： http://axiom-developer.org/
关键词： 表单
相关软件： 枫树；数学软件；减少；伊斯兰教；单一；岩浆；阿尔多；Coq公司；PVS公司；得到；IBM草稿行；伊莎贝尔；分析；麦考利2；Nuprl公司；JAS公司；单兵携带防空系统；哈斯克尔；SageMath公司；轨道库
引用于： 173文件
ORMS中也引用了该软件。

标准条款

3出版物描述软件，包括2出版物以zbMATH为单位 年份
开源计算机代数系统：Axiom。 Zbl 1322.68285号
大卫·乔伊纳
2008
AXIOM：开源计算机代数系统
威廉·S·佩奇。
2007
公理。科学计算系统。 Zbl 0758.68010号
理查德·D·詹克斯。；罗伯特·苏托。
1992
全部的 前5名

246位作者引用

8 马克·莫雷诺·马扎
5 詹姆斯·哈罗德·达文波特
5 海因茨·克雷德尔
5 乌苏拉·马丁
5 Werner M.塞勒。
4 拉里·艾伯特
4 斯蒂芬·林顿（Stephen A.Linton）。
三 雅克·卡雷特
三 加布里埃尔·多斯·里斯
三 多米尼克·杜瓦尔
三 Farmer，William M。
三 理查德·J·法特曼。
三 汉内·戈特利布森
三 拉斐尔·乔利
三 汤姆·凯尔西
三 沃尔夫拉姆·科普夫（Wolfram A.Koepf）。
三 李欣
三 尤金尼奥·罗内斯·洛扎诺
2 阿布·阿莫维奇，拉法
2 安德鲁·亚当斯（Andrew A.Adams）。
2 弗朗索瓦·阿尔诺
2 克莱门斯·巴拉林
2 劳伦特·伯纳丁
2 曼努埃尔·埃里克·布朗斯坦
2 雅克·卡梅特
2 陈昌波
2 科林，安托万
2 斯维亚托斯拉夫·科瓦诺夫
2 保罗·迪·布拉西奥
2 马丁·邓斯坦
2 特蕾莎·戈梅斯·迪亚斯
2 Ioakimidis、Nikolaos Ioakim
2 阿兰·雅克·马尔
2 理查德·迪米克·詹克斯
2 格里戈伊尔·勒塞夫
2 法纳姆·曼苏里
2 迈克尔·莫纳根。
2 维科·帕斯夸尔
2 雷诺·里奥博
2 罗内斯·马西亚斯，尤金尼奥
2 哈桑·萨福希
2 埃里克·斯科特
2 克里斯托夫·施瓦茨韦勒
2 歌手Michael F。
2 坐下，William Yu
2 雷奥·斯托姆
2 马可·坦佩里尼
2 费利克斯·乌尔默
2 乔里斯·范德霍温
2 马丁·冯·莫伦柴尔德
2 斯蒂芬·迈克尔·瓦特
2 安德烈亚斯·古恩特·韦伯
2 谢宁
2 谢玉珍
1 约翰·A·阿伯特。
1 艾丽卡·阿尔布拉汉姆
1 伊加尔·阿哈罗诺维奇
1 扎基·艾哈迈德
1 威廉·艾特肯（William E.Aitken）。
1 阿克巴尔·侯赛因，D.M。
1 齐亚德·阿里（Ziyad Ali Alhussain）
1 泽维尔·安托万
1 亚历山德罗·阿尔迪佐尼
1 迈克·D·阿特金森。
1 菲利普·奥布里
1 丹尼尔·奥格特
1 迈克尔·巴内特（Michael P.Barnett）。
1 贝恩德·贝克尔
1 劳伦特·贝纳丁
1 汉斯·本克
1 安娜·玛丽亚·比加蒂
1 威斯玛
1 西尔万·博尔梅
1 罗素·J·布拉德福德。
1 布莱恩，马丁
1 亚历山大·勃兰特
1 托马斯·布鲁尔
1 彼得·A·布罗德贝里（Peter A.Broadbery）。
1 罗纳德·布朗
1 布鲁内利，J.C。
1 布赫伯格，布鲁诺
1 保罗·F·卡米恩。
1 约翰·坎贝尔（John A.Campbell）。
1 约翰·坎农。
1 Wathek查曼
1 亚历山德罗·西马蒂
1 乔尔·科恩。
1 罗伯特·李，警察
1 南卡罗来纳州库蒂尼奥。
1 大卫·A·考克斯。
1 彼得·克劳奇。
1 Czapor，Stephen R。
1 斯特凡·德尔利埃
1 安吉尔·迪亚斯
1 亚当·丁格尔
1 Damien Doligez
1 塞缪尔·杜利。
1 埃米利斯，Ioannis Z。
1 英格兰，马修
1 福勒、温弗里德
…还有146位作者
全部的 前5名

57篇连载文章中引用

16 符号计算杂志
5 理论计算机科学
5 自动推理杂志
4 工程、通信和计算中的应用代数
三 计算机物理通信
三 纯粹与应用代数杂志
三 模拟中的数学和计算机
三 SIGSAM公告
三 计算机程序设计科学
三 数学与人工智能年鉴
2 计算机和结构
2 计算数学
2 编程和计算机软件
2 MSCS公司。计算机科学中的数学结构
2 计算机代数中的ACM通信
1 代数通讯
1 离散数学
1 IEEE信息理论汇刊
1 国际控制杂志
1 国际固体与结构杂志
1 计算物理学杂志
1 数学物理杂志
1 非线性
1 洛基山数学杂志
1 比特币
1 Dedicata几何
1 国际工程数值方法杂志
1 几何杂志
1 数学和计算机建模
1 线性代数及应用
1 SIAM应用数学杂志
1 控制论与系统分析
1 实验数学
1 九州数学杂志
1 格鲁吉亚数学杂志
1 应用Clifford代数的进展
1 ETNA公司。数值分析电子交易
1 组合数学电子杂志
1 数学化学杂志
1 联合国证券交易所
1 蒂米·奥拉的阿奈勒大学。Seria Matematică-信息学
1 科学研究院。Série I.数学
1 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司
1 综合材料评审
1 李群及其应用
1 计算机基础理论
1 计算数学基础
1 代数、数论与应用杂志
1 科学与工程计算方法杂志
1 数学及其应用（多德雷赫特）
1 计算机科学中的数学
1 同伦及相关结构杂志
1 量子信息与计算
1 数学研究与应用杂志
1 数学本科生课文
1 符号计算中的文本和专题
1 纽伦堡爱尔兰根大学数学研究所与Datenverabeitung（Informatik）
全部的 前5名

在41个字段中引用

130 计算机科学（68至XX）
21 场论和多项式（12-XX）
21 数值分析（65-XX）
18 交换代数（13-XX）
17 数论（11-XX）
7 代数几何（14-XX）
7 常微分方程（34-XX）
7 偏微分方程（35-XX）
6 范畴理论；同调代数（18-XX）
6 群论与推广（20-XX）
6 量子理论（81-XX）
5 数学逻辑和基础（03-XX）
5 结合环与代数（16-XX）
5 整体分析，流形分析（58至XX）
4 总体主题；集合（00-XX）
4 线性代数和多线性代数；矩阵理论（15-XX）
4 算子理论（47-XX）
4 可变形固体力学（74-XX）
三 非结合环与代数（17-XX）
三 动力系统和遍历理论（37至XX）
三 代数拓扑（55-XX）
三 光学、电磁理论（78-XX）
2 一般代数系统（08-XX）
2 复变量的函数（30年XX月）
2 特殊功能（33至XX）
2 几何图形（51至XX）
2 微分几何（53至XX）
2 流形和细胞复合体（57至XX）
2 粒子和系统力学（70-XX）
2 流体力学（76-XX）
2 信息与通信理论、电路（94-XX）
2 数学教育（97-XX）
1 历史和传记（01-XX）
1 组合数学（05-XX）
1 几个复变量和分析空间（32-XX）
1 序列、级数、可和性（40-XX）
1 经典热力学，传热（80-XX）
1 相对论和引力理论（83至XX）
1 运筹学、数学规划（90-XX）
1 生物学和其他自然科学（92-XX）
1 系统论；控制（93至XX）

按年份列出的引文