• PRMLT公司

• 参考文献1190篇[sw42125]
• 自给自足。没有外部的附属国...

• 神经质的

• 引用775篇文章[sw06293]
• 用Python进行科学编程。西皮图书馆取决于在NumPy上，它提供了方便和快速。。。强大到足以依赖一些世界顶尖的科学家。。。

• 何-E1GODF

• 引用866篇文章[sw06606号]
• 求解时间的黎曼解算器-依赖的一维理想欧拉方程。。。

• 布拉斯

• 引用497篇文章[sw03216]
• 包括专门的BLAS实现，端口机-依赖的固定的程序，还有MACHAR软件。。。动态测定机-依赖的算术属性。。。

• 化学试剂盒

• 引用611篇文章[sw08058]
• 文档和API一致性。它有最小的依赖关系并在简化的。。。

• 康索尔

• 引用458篇文章[sw04091]
• 的任意函数依赖的变量。预定义的多物理应用程序模板可以解决许多常见的问题类型。。。

• 斯帕耶斯

• 引用389篇文章[sw10160]
• 链蒙特卡罗（MCMC）方法的有效性取决于在手头的具体问题上。这个。。。

• 阿迪弗

• 引用了254篇文章[sw02185]
• 代码和用户规范依赖的自变量，adif会产生。。。所有指定的依赖的关于…的变量。。。

• 水蝇

• 引用344篇文章[sw00341]
• 主要特点：解决时间问题-依赖的不可压缩变密度欧拉，斯托克斯或纳维斯托克斯方程。。。

• DDE-BIFTOOL公司

• 在333篇文章中引用[sw02396]
• 具有若干固定离散和/或状态的方程-依赖的延误。它允许计算，继续。。。

• 纽顿利布

• 引用298篇文章[sw04796]
• 执照费取决于参考软件包和预期用途。请阅读。。。

• 阿格达

• 207篇引用[sw09689]
• 阿格达是依附类型化函数式程序设计语言：它有归纳族，类似于。。。与其他证据助理的相似性基于依赖的类型，如Coq，警句和NuPRL。。。

• alr3

• 引用283篇文章[sw04474]
• 书。从版本2.0.0起，此包取决于在汽车包装上。以前有很多功能。。。

• 克洛诺斯

• 引用273篇文章[sw01270]
• 通信协议就是这种时间的例子-依赖的系统。这些系统通常是。。。

• PSPLIB公司

• 引用269篇文章[sw00740]
• 此外，他们可以提供新的结果。依靠在这个领域取得的进展。。。

• 雷德布基特

• 引用255篇文章[sw12977]
• 工程和应用科学，如PDE依靠关于几个参数和偏微分方程约束优化。。。

• 连接词

• 引用172篇文章[sw14499]
• 组合copula：多变量依赖用连接词。类（S4）常用椭圆，阿基米德，极值。。。密度，分布，随机数生成，二元依赖测量、透视图和等高线图。拟合copula模型。。。

• 斯帕斯塔特

• 在142篇文章中引用[sw04429]
• 选择，标记相关函数，分离指数，标记依赖诊断等点过程模型。。。slrm与glm相似。模型可能包括依赖关于协变量，中间点相互作用，簇形成。。。依赖在标记上。拟合模型可以自动模拟。也提供了形式推理的工具。。。

• 批准

• 引用160篇文章[sw07831]
• 批准1.2：自动终止证明附属国配对框架。批准。。。第一个自动化新的附属国结对框架[8]，因此允许完全。。。

• PLTMG公司

• 引用215篇[sw00717]
• 使用参数处理pde的延续选项依赖关系. 它还提供了解决几个。。。