• 斯皮普兰

• 引用2篇文章[sw30743]
• 公制 混合的有因素的计划在具有约束生成的非线性域中。我们介绍一个新颖的策划人。。。科学规划米制的 混合的有因素的计划在非线性区域中米制的目标，超越功能。。。为生成约束计划表现力米制的非线性混合的域。。。

• 巢

• 引用2篇文章[sw14950]
• 仿真软件和工具计划大型电信网络。NEST合并。。。如差分流量理论和分布式混合的模拟，在欧洲获得专利。。。优化电信网络：路由优化，IP米制的优化，弹性优化（备份LSP，快速重路由LSP。。。

• 客户尽职调查

• 参考文献115篇[sw00114]
• 程序cdd+（分别是cdd）是一个。。。

• CGAL公司

• 引用394篇文章[sw00118]
• CGAL开源项目的目标。。。

• 可口可乐

• 在1890篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• 差距

• 在3189篇文章中引用[sw00320]
• GAP是一个计算离散代数系统。。。

• Maple全局优化工具箱

• 在152篇文章中引用[sw00358]
• 优化是寻找解决方案的科学。。。

• gmp

• 引用282篇文章[sw00363]
• GMP是一个任意精度的免费库。。。

• HOM4PS公司

• 引用81篇文章[sw00410]
• HOM4PS-2.0：多项式求解软件包。。。

• 伊莎贝尔

• 引用713篇文章[sw00454]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• LGO公司

• 引用96篇文章[sw00516]
• 程序系统LGO服务于解决全球。。。

• 麦考拉2

• 引用于1923年的文章[sw00537]
• Macaulay2是一个致力于支持。。。

• 枫木

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

• 地图还原

• 引用263篇文章[sw00546]
• MapReduce是一种新的并行编程模型。。。

• 数学软件

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

• Matlab语言

• 引用于13544篇文章[sw00558]
• MATLAB®是一种高级语言和交互式。。。

• 超小卫星

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

• 抱怨

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

• 网络X

• 参考文献165篇[sw00616]
• NetworkX（NX）是一个Python包，用于。。。

• 帕米尔斯

• 引用87篇文章[sw00678]
• Paramils：一个自动算法配置框架。身份证明。。。