Maple是现代数学家、工程师、科学家必备的科学计算软件。无论您需要快速计算、开发设计表单、基础概念教学、还是生成复杂的高保真仿真模型，Maple世界领先的计算引擎提供广泛的高性能算法帮助用户解决各种数学问题。

授权方式：盒装     界面语言:英文|简体中文

Wolfram Mathmatica 12-强大的数值计算和符号运算软件

Mathematica是一款科学计算软件，很好地结合了数值和符号计算引擎、图形系统、编程语言、文本系统、和与其他应用程序的高级连接。

授权方式：盒装     界面语言:英文|简体中文

MathType 7- 数学公式编辑器

MathType是一套适用于Windows和Macintosh平台的功能强大的交互式数学公式编辑器。让您创建用于文字处理，网页，桌面出版，演示，网络学习和Tex，LaTeX和MathML文档的数学符号.

授权方式：电子授权|盒装     界面语言:英文  

通用代数建模系统(GAMS)是特别为建模线性,非线性和混合整数最优化问题而设计的.本系统对于大型的,复杂的问题特别有帮助.GAMS可以运行在个人计算机,工作站,大型机和超级计算机上.

授权方式:光盘|电子授权    语言:英文

GAUSS 23 - 数学和统计分析软件

一个基于强大，迅速而有效的GAUSS矩阵程序语言的易使用的数据分析，数学和统计环境。GAUSS被用于解决真实世界的问题和处理海量数据的分析问题。程序的开发和程序的执行一样的迅速!

授权方式:光盘|电子授权    语言:英文

LINDO API 12.0 - 优化问题求解开发包

通过LINDO API，您能够方便的创建您自己的最优化问题求解程序。它允许您加上LINDO求解器的强大功能到您已经写好的自定义应用程序中。

授权方式:光盘|电子授权    语言:英文

LINGO 18.0 - 运筹学软件|规划问题求解

LINGO是一套设计用来使构建和求解线性，非线性和整数优化模型更快，更容易和更有效的功能强大的工具。LINGO提供了一套完成集成的软件包，包括用来表述优化模型的语言，用于构建和编辑问题的完全功能环境，和一套快速的内置求解器。

授权方式:光盘|电子授权    语言:英文

What'sBest! 18.0 - 优化问题求解Excel插件

What'sBest!是Excel功能插件，允许您在电子表单中用一种自由的格式布局来创建大型的最优化模型。What'sBest！在Microsoft Excel-当前在使用中的最普及和灵活的商业建模环境-中结合了线性，非线性和整数最优化等经过检验的能力。

授权方式:光盘|电子授权    语言:英文