• 汤姆普

• 引用23条[sw00971]
• 写为状态和控制受限常微分方程的最优控制问题。。。工程任务，包括航空航天和机器人弹道 计划...

• 阿多-C

• 在233篇文章中引用[sw00019]
• ADOL-C:C/C++的自动微分。我们呈现。。。

• 男爵

• 在311篇文章中引用[sw00066]
• 巴龙是一个计算系统，用于解决非凸。。。

• 克尼特罗

• 引用175篇文章[sw00490]
• KNITRO是一个非线性优化求解器。它。。。

• 兰斯洛特

• 引用297篇文章[sw00500]
• 兰斯洛特。大型非线性问题的Fortran程序包。。。

• 枫木

• 引用5040篇文章[sw00545]
• 经过30多年的切割。。。

• 数学软件

• 引用5883篇文章[sw00554]
• 几乎所有的工作流程都涉及到计算结果，而且。。。

• Matlab语言

• 参考12074篇文章[sw00558]
• MATLAB®是一种高级语言和交互式。。。

• 超小卫星

• 引用文献531篇[sw00577]
• 可扩展的SAT解算器。MiniSat是一个极简主义者。。。

• 抱怨

• 引用417篇文章[sw00610]
• 由专家制作用于各种。。。

• R

• 在8359篇文章中引用[sw00771]
• 是一种统计语言和环境。。。

• 同情

• 引用104篇文章[sw00940]
• SymPy是一个Python符号数学库。。。

• 麦克西马

• 引用716篇文章[sw01209]
• Macsyma是一个通用的符号数字图形。。。

• 毫升

• 引用514篇文章[sw01218]
• ML（'Meta Language'）是一个通用函数。。。

• 自动平衡器

• 引用5篇文章[sw01590]
• 自动平衡器：一种在线动平衡补偿方案。。。

• 奥卡

• 引用4篇文章[sw02131]
• 奥卡。一个混合符号数字最优控制计算器。。。

• MBSPACK公司

• 引用了40篇文章[sw02146]
• MBSPACK——数值积分软件受限机械运动。。。

• 阿迪弗

• 引用243篇文章[sw02185]
• ADIFOR是一个自动微分的工具。。。

• 洛库

• 201篇引用[sw02212]
• 二次规划的内部点代码。。。

• 鼻涕

• 引用507篇文章[sw02300]
• SNOPT：一种大规模的SQP算法受限...