• 神经质的

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

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

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

  • 引用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的延续选项依赖关系. 它还提供了解决几个。。。