阿尔多 swMATH ID: 1220 软件作者： aldor.org；曼纽尔·布朗斯坦 描述： Aldor是一种编程语言，具有一个非常适合数学计算的表达型系统，并已用于开发许多计算机代数库。Aldor最初被称为A#，被认为是Axiom系统的扩展语言，但现在更多地用于其他环境。在Aldor中，类型和函数是可以在程序中构造和操作的一流值。对依赖类型的普遍支持允许对动态对象进行静态检查。这对普通用户意味着什么？Aldor解决了广泛使用的面向对象编程语言中遇到的许多困难。它允许程序使用一种自然的风格，将函数式、面向对象和面向方面的风格的更具吸引力和强大的特性结合在一起。注：当前开发发生在https://github.com/pippijn/aldor。 主页： 网址：http://www.aldor.org/ 相关软件： AXIOM公司；枫树；SageMath软件；JAS公司；轨道库；单一；OOLACA公司；LinBox（接线盒）；哈斯克尔；麦考利2；Coq公司；伊莎贝尔；jscl-编辑器；斯卡拉；最大功率因数；FFTW公司；伊莎贝尔/HOL；伊斯兰教；马克西玛；数学软件 引用于： 26文件 全部的 前5名34位作者引用 6 斯蒂芬·迈克尔·瓦特 4 海因茨·克雷德尔 三 劳伦蒂·德拉甘 2 克莱门斯·巴拉林 2 曼努埃尔·埃里克·布朗斯坦 2 马克·莫雷诺·马扎 2 劳伦斯·查尔斯·保尔森 2 西蒙·汤普森。 1 托马斯·阿什比。 1 菲利普·奥布里 1 奥拉夫·巴赫曼 1 阿杰·马赛尔·科恩 1 斯特凡·德尔利埃 1 加布里埃尔·多斯·里斯 1 戴安娜·加勒特利（Diana A.Galletly）。 1 高晓山 1 西蒙·格雷 1 大卫·J·杰弗里。 1 拉斐尔·乔利 1 巴林·乔奥 1 安东尼·肯尼迪。 1 朱塞佩·拉卡尼纳 1 李，岳 1 梁松欣 1 托姆·穆德斯 1 威廉·奈勒 1 Oancea、Cosmin E。 1 朱利安·帕吉特 1 埃里克·波尔 1 汉斯·施奈曼 1 高山，Nobuki 1 E.图雷蒂尔。 1 乔里斯·范德霍温 1 雅克·亚瑟威尔 全部的 前5名6篇连载文章中引用 1 纯粹与应用代数杂志 1 计算机程序设计科学 1 符号计算杂志 1 核物理。B.诉讼补充 1 图表 1 计算机基础理论 全部的 前5名13个领域引用 26 计算机科学（68至XX） 4 交换代数（13-XX） 2 总体主题；集合（00-XX） 2 场论与多项式（12-XX） 2 范畴理论；同调代数（18-XX） 2 信息与通信理论、电路（94-XX） 1 代数几何（14-XX） 1 实际功能（26年X月X日） 1 常微分方程（34-XX） 1 偏微分方程（35-XX） 1 差分和函数方程（39至XX） 1 微分几何（53至XX） 1 量子理论（81-XX） 按年份列出的引文