欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Mathematica
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 Mathematica Thanks, Wikipedia. |
Mathematica是由英国科学家斯蒂芬·沃尔夫勒姆领导的沃尔夫勒姆研究公司(位于美国伊利诺伊州香槟市)开发的一款广泛使用的科学计算软件,它拥有强大的数值计算和符号运算能力。
Wolfram
Wolfram 语言 是用于 Mathematica 的编程语言。
受其影响的语言有:Julia
数据集
Mathematica囊括了大量可立即计算的数据。用户可以通过编程访问这些数据,并且也可以通过Wolfram Research的数据服务器自动更新数据。某些数据如股票价格和天气数据都是实时递送的。目前数据集包括:
- 天文数据:155,000个天体的99个属性
- 化学数据:34,000个化合物的111个属性,118个化学元素的86个属性以及1000个亚原子粒子的35个属性
- 地缘政治数据:237个国家的225个属性,以及全世界160,000个城市的14个属性
- 金融数据:186,000个股票和金融工具的历史和实时属性
- 数学数据:187种多面体的89个属性,3000种图的258个属性,6种knots的63个属性,21种晶格结构的37个属性,52个测地学方案的32个属性
- 语言数据:149,000个英语单词的37个属性。26个其他语言的词典
- 生物医学数据:所有40,000个人类基因的41个数据,27,000类蛋白质的30个属性
- 天气数据:全球17,000个气象站的43个实时和历史的测量数据
- Wolfram|Alpha数据:来自Wolfram Alpha的亿万兆数据
链接
- Mathematica官网
- Mathematica 11 增强的机器学习 Wolfram 语言之机器学习
- Wolfram Alpha 是微软的必应和苹果公司的Siri后台所使用的问答系统之一 Wolfram Alpha 第一版是用约一千五百万行的 Mathematica 代码编写的(使用 webMathematica 和 gridMathematica),并且在 10,000 个(为了系统发行的需要,这个数字被升级过)CPU 上运行。
- A list of open-source implementations of the Wolfram language
- Wolfram语言将集成在Unity游戏引擎中。
分享您的观点