GAMS是用于数学编程和优化的高级建模系统。它由语言编译器和一系列相关的求解器组成。GAMS建模语言使建模人员可以将现实世界中的优化问题快速转换为计算机代码。然后，gams语言编译器将此代码转换为求解器可以理解和求解的格式。通过允许更改使用的求解器而无需更改模型公式，此体系结构提供了极大的灵活性。
Lingo软件与数学建模以及数学类型实验课结合非常紧密，是数学领域学习不可缺少的、受欢迎的软件系统。在教学、科研和工商业领域得到广泛的应用
AMPL 是由美国 AMPL 公司开发的经典运筹学集成优化建模和开发平台，是对各种运筹学问题进行建模并优化的有效工具。AMPL 是全球用户数量最多的运筹学建模经典软件。AMPL 无论在学习容易程度、使用范围、影响力等方面都是建模软件的经典。用户可以对各类运筹学问题进行数学建模，并且和外部数据进行动态链接，并调用成熟的优化器对问题进行求解，并产生最佳方案。在百度和谷歌搜索中，也有超过数倍于其他常用优化平台的链接数量。
Gurobi 是由美国 Gurobi Optimization 公司开发新一代大规模优化器。无论在生产制造领域，还是在金融、保险、交通、服务等其他各种领域，当实际问题越来越复杂，问题规模越来越庞大的时候，我们需要一个经过证明可以信赖的大规模优化工具，为我们的决策提供质量保证，为我们增强信心。在理论和实践中，Gurobi 优化工具都被证明是全球性能领先的大规模优化器，具有突出的性价比，可以为客户在开发和实施中极大降低成本。
全球贸易分析模型(GTAP)是根据新古典经济理论设计的多国多部门应用一般均衡模型，目前已被广泛应用于贸易政策之分析。在GTAP模型架构中，首先建立可详细描述对每个国家(或地区)生产、消费、政府支出等行为的子模型，然后通过国际间商品贸易之关系，将各子模型连结成一个多国多部门的一般均衡模型。在此模型架构中进行政策仿真时，可以同时探讨该政策对各国各部门生产、进出口、商品价格、要素供需、要素报酬、国内生产总值及社会福利水平变化等。
