Wolfram Mathematica
Wolfram Mathematica （简称：Mathematica）是一款科学计算软件，有时候也被称为计算机代数系统，广泛使用于科学、工程、数学、计算等领域。 它是由英国科学家斯蒂芬·沃尔夫勒姆提出构想，并且由他所领导的沃尔夫勒姆研究公司（位于美国伊利诺伊州香槟市）开发的一款广泛使用的科学计算软件。它拥有强大的数值计算和符号运算能力，是目前为止使用最广泛的数学软件之一。 Wolfram语言是用于Mathematica的编程语言。 沃…
标签：#數值軟體
共 11 篇文章
GNU科学库
GNU科学库（），是一套为 C语言和 C++开发者提供的数值计算函式库，多用於应用数学和科学。软件属于自由软件，在 GNU 通用公共许可证下发布。 这套数值计算函式库提供了大量的数学運算功能，比如随机数生成器，特殊函数以及最小二乘拟合。有超过1000个函数包含在该数值计算库和扩展的测试套件中。 注释 引用 外部链接 [https://www.gnu.org/software/gsl/ GNU科学库官方网站] [https://www.g…
Math.NET Numerics
Math.NET Numerics是一个用于.NET和Mono的开源数值库，用C#和F#编写。它的功能类似于BLAS和LAPACK。 历史 Math.NET Numerics开始于2009年，是由dnAnalytics的代码和团队与Math.NET Iridium合并而成。它受到ALGLIB、JAMA和Boost等的影响，并接受了大量的代码贡献，它是Math.NET倡议的一部分，从2002年开始，为.NET平台构建和维护开放的数学工具箱…
快速數論函數庫
快速数论函数库 (，簡稱：FLINT)是一个的高度优化的C语言数论函数库。主要功能包括整数、有理数和有限域上的多项式算术和二次筛法。该库被设计使用 GNU多重精度运算库编译的，并在 GNU通用公共许可协议 下发布. 这个库由华威大学的 William Hart 和哈佛大学的 David Harvey 开发和维护，以克服 和 这些库在速度上的局限性。 设计哲学 渐近下快速的算法 Implementations Fast as or Fas…
LabVIEW
LabVIEW（，实验室虚拟仪器工程平台）是由美國國家儀器公司所開發的圖形化程式編譯平台，發明者為傑夫·考度斯基（Jeff Kodosky），程式最初於1986年在蘋果電腦上發表。LabVIEW早期是為了儀器自動控制所設計，至今轉變成為一種逐漸成熟的高階程式語言。圖形化程式與傳統程式語言之不同點在於程式流程採用"資料流"之概念打破傳統之思維模式，使得程式設計者在流程圖構思完畢的同時也完成了程式的撰寫。 LabVIEW率先引入了特別的虛擬…
MathCad
Mathcad是一种交互式数值计算系统。当输入一个数学公式、方程组、矩阵等，计算机将直接给出计算结果，而无须去考虑中间计算过程。因而Mathcad在航空、国防、消费品设计等科学和工程领域中承担着复杂的数学计算，图形显示和文档处理，是工程技术人员常用的工具。Mathcad有五个扩展库，分别是求解与优化，数据分析，信号处理，图像处理和小波分析。Mathcad是美国PTC公司的产品。 外部链接 *
Maple
MAPLE是一個符號计算和數值計算軟體平臺。 總覽 核心功能 用戶能够直接使用傳統數學符號进行輸入，也可以定制个性化的界面。对于数值计算有额外的支持，能够扩展到任意精度，同时亦支持符號演算及可视化。符號演算的例子参见下文。Maple内建有一种动态的命令行风格的编程语言，该语言支持具有作用域的变量。同时亦有其他語言的接口（C、FORTRAN、Java、Matlab和Visual Basic）。还具有与Excel进行交互的接口。 架构 Ma…
MOSEK
MOSEK是一个优化软件包，可用于求解线性规划、混合整数线性规划、二次规划、混合整数二次规划、二次约束规划、非线性锥优化和凸优化等数学最优化问题。MOSEK的一个重要的特点是它可以求解大规模稀疏问题，特别是其内点法求解器可以高效求解线性、二次锥（即二阶锥规划）和半正定优化问题（即半正定规划）。
Simulink
Simulink是The MathWorks公司開發的用於動態系統和嵌入式系统的多領域模擬和基于模型的設計工具，常集成于MathWorks公司的另一產品MATLAB中與之配合使用。 Simulink提供一个交互式的圖形化環境及可定制模塊庫（Library），可对各种时变系统，例如通讯、控制、信号处理、影像处理和图像处理系统等进行设计、模擬、执行和测试，也可以進行基於模型的設計。 特点 与MATLAB类似，Simulink的功能可以通过购…
Stateflow
Stateflow，是The MathWorks开发的利用状态机和流程图用于对响应系统进行建模的工具。Stateflow使用由David Harel提出的一种有限状态机的图示方式，实现在一个状态图中对结构、平行机制及历史记忆进行表示。此外Stateflow还提供了状态转移表和真值表。 常见用途 扩展 参考文献
LINPACK
LINPACK是一个在数字计算机上执行数字线性代数的软件函式庫。它由Jack Dongarra、Jim Bunch、克里夫·莫勒尔及Gilbert Stewart以Fortran编写，并计划在二十世纪七十年代及八十年代早期于超级计算机上使用。它很大程度上已被在现代架构上运行更高效的LAPACK取代。 LINPACK利用BLAS（基础线性代数程序集）函式庫执行基本的向量和矩阵运算。 最初作为LINPACK用户手册的一部分出现。称之为高性能…