Wolfram Mathematica
Wolfram Mathematica （简称：Mathematica）是一款科学计算软件，有时候也被称为计算机代数系统，广泛使用于科学、工程、数学、计算等领域。 它是由英国科学家斯蒂芬·沃尔夫勒姆提出构想，并且由他所领导的沃尔夫勒姆研究公司（位于美国伊利诺伊州香槟市）开发的一款广泛使用的科学计算软件。它拥有强大的数值计算和符号运算能力，是目前为止使用最广泛的数学软件之一。 Wolfram语言是用于Mathematica的编程语言。 沃…
标签：#數學最佳化軟體
共 7 篇文章
GAUSS
GAUSS是一種用於數學和統計的矩陣編程語言，由Aptech Systems開發和銷售。其主要目的是解決问题、計量經濟學、時間序列、優化以及2D和3D可視化中的數值問題。它於1984年首次為MS-DOS發布，可用於Linux、macOS和Windows。 外部链接 [http://www.aptech.com/ International homepage] [https://web.archive.org/web/2008021409…
AMPL
AMPL，名稱源自於數學程式語言（）的縮寫，一種代数建模语言，用以解決與描述大規模數學運算中的高度複雜問題。 最早於1985年由貝爾實驗室的羅伯特·傅里葉（Robert Fourer）、大衛·蓋伊（David Gay）、布萊恩·柯林漢所共同創造。 外部連結 [https://web.archive.org/web/20061127232734/http://iems.northwestern.edu/~4er/ Prof. Fourer…
Maple
MAPLE是一個符號计算和數值計算軟體平臺。 總覽 核心功能 用戶能够直接使用傳統數學符號进行輸入，也可以定制个性化的界面。对于数值计算有额外的支持，能够扩展到任意精度，同时亦支持符號演算及可视化。符號演算的例子参见下文。Maple内建有一种动态的命令行风格的编程语言，该语言支持具有作用域的变量。同时亦有其他語言的接口（C、FORTRAN、Java、Matlab和Visual Basic）。还具有与Excel进行交互的接口。 架构 Ma…
MOSEK
MOSEK是一个优化软件包，可用于求解线性规划、混合整数线性规划、二次规划、混合整数二次规划、二次约束规划、非线性锥优化和凸优化等数学最优化问题。MOSEK的一个重要的特点是它可以求解大规模稀疏问题，特别是其内点法求解器可以高效求解线性、二次锥（即二阶锥规划）和半正定优化问题（即半正定规划）。
GNU線性規劃工具集
GNU線性規劃工具集（GNU Linear Programming Kit, GLPK）是用來求解大規模線性規劃（LP）、混合整數規劃（MIP）与其他相關問題的軟體包。這是一套以 ANSI C 寫的函式庫。屬於GNU計畫的一部分，按GNU通用公共授權條款發行。 可以用 GNU MathProg 語言建立問題的模型，語法大部分類似於 AMPL，然後以 GLPSOL 求解。GLPK 也可以作為C語言函式庫使用。 GLPK 以單型法．改以及對…
COIN-OR
COIN-OR是作業研究(Operations Research)計算基礎架構(Computational Infrastructure)的縮寫，這是一個致力於"為公開文獻上數學理論之數學軟體而建立(create for mathematical software what the open literature is for mathematical theory)"的專案。公開文獻(例如研究期刊)提供作業研究社群文件的審查與保存。作…