• 参数

• 引用2篇文章[sw22465]
• 奇点的符号分解-心神不宁 线性的 系统属于有差别的方程，原型实现。。。

• 根格

• 引用2篇文章[sw29326]
• 线性的 有差别的方程式系统. 网络可以是用户定义的或在一个模块化的。。。可选择引入全球和本地网络扰动. 结果数据可用于。。。

• 转子

• 1条引用[sw19892]
• 动力学，包括发动机惯性和阻尼，以及摄动气动计算中包含了入流动力学。。。动力。耦合的系统动力学结果是一组线性的 有差别的方程式。。。

• ACRITH-XSC公司

• 引用49篇文章[sw00015]
• ACRITH-XSC是一种类似Fortran的编程语言。。。

• 阿多-C

• 引用239篇文章[sw00019]
• ADOL-C:自动区别C/C++。我们呈现。。。

• AMD公司

• 引用54篇文章[sw00039]
• 算法837:AMD是一组例程。。。

• ANSYS软件

• 引用662篇文章[sw00044]
• ANSYS提供了一个全面的软件套件，跨越。。。

• 公理

• 参考170篇文章[sw00063]
• 公理是一种通用的计算机代数系统...

• 博卡松

• 引用8篇文章[sw00084]
• 一个快速精确的数值程序。。。

• B波利

• 引用13篇文章[sw00089]
• 算法812:BPOLY:一个面向对象的库。。。

• 笼子

• 引用9篇文章[sw00099]
• CAGE：一个用于并行遗传编程应用的工具。。。

• 家

• 引用96篇文章[sw00108]
• CASA是一个特殊用途系统为了计算。。。

• CGAL公司

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

• 可可

• 引用文献631篇[sw00143]
• 可可是一种系统对于交换计算。。。

• 复合库

• 引用了30篇文章[sw00149号]
• 约束矩阵优化问题库-一个集合。。。

• 可口可乐

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

• 差异包

• 参考114篇[sw00203]
• 随着现代编程方法学从计算机科学迁移。。。

• Expokit公司

• 引用178篇文章[sw00258]
• Expokit提供了一套针对。。。

• FGb公司

• 在242篇文章中引用[sw00286]
• FGb/Gb libraryGb是一个程序（191420行。。。

• 差距

• 引用2874篇文章[sw00320]
• GAP是系统对于计算离散代数。。。