• NQTHM

  • 146篇参考文献[SW075 43]
  • 逻辑本身是有效利用功能在逻辑上作为新的证明程序…有界量化允许部分的递归的功能. 描述了这些逻辑的变化…有界量化的补充部分的 功能一个计算逻辑及其定理证明器…
  • VE08

  • 139篇参考文献[SW05141]
  • 无约束最优化部分地可分离的功能我们考虑最小化光滑目标的问题。
  • 离散马尔可夫随机场

  • 1763篇参考文献[SW04968 ]
  • DLMF)提供关于特殊的有用数据功能为广大观众。最初的产品…系统这些和其他问题,以及一些部分地成功的工作充满了,在此讨论…
  • IMPS

  • 48篇参考文献[SW09143]
  • 简单型理论的版本部分的 功能亚型。数学规范和推理…
  • 多尔芬

  • 135篇参考文献[SW04313]
  • 芬尼克斯。很大一部分功能FEICS是DOLFN的一部分。基于部分的微分方程及其核心部分的实现功能芬尼克斯,包括…
  • 迪姆西姆

  • 72篇参考文献[SW04269]
  • 求解线性部分的微分方程。使用它的初级功能用户指定系统…
  • 科索尔

  • 330篇参考文献[SW04091]
  • 边界条件都可以是任意的。功能预定义的多物理应用模板解决…你自己。或者您可以指定您自己的部分的微分方程(PDE)并将它们与……联系起来。
  • Algl 60

  • 444篇参考文献[SW21807]
  • 第一语言实现嵌套功能词汇范围的定义。它引起了许多其他的…与Algl 60不同,并受到批评部分地因为这样,所以一般来说…
  • 脱溶

  • 41篇参考文献[SW044 99 ]
  • 部分的微分方程(PDE)、微分代数方程(DAE)和延迟微分方程(DDE),功能那个…一阶常微分方程(ODE)部分的微分方程(PDE),微分代数方程…时滞微分方程这个功能提供FORTRAN的接口功能L苏达,LSODAR,LSODE…OpDACK集合,到FORTRAN功能DVoDE和DASPK以及求解器的C实现…
  • 托普斯

  • 42篇参考文献[SW02206]
  • 连续添加一个新的片段部分的解决方案,即对一组块…测试。不同目标功能还提出了评价和比较部分的解决方案总计…标准与目标的结合功能是经过计算测试的。计算实验是基于…
  • 新包装

  • 58篇参考文献[SW13600 ]
  • 辛克功能及其在数值解中的应用部分的微分方程。它包含…
  • 算法792

  • 26篇参考文献[SW0474]
  • 测试功能TSTFN2返回一个值,首先分音第二部分的衍生工具…
  • 壁画

  • 9篇参考文献[SW23 627 ]
  • 微积分与逻辑学部分的 功能. 下一章是非常详细的…
  • 仁叶

  • 28篇参考文献[ SW08982]
  • 语言内核叶是一个逻辑上的优势功能性基于扁平化技术的语言…能够应付部分的(未定义的或非终止的)功能. 这是通过引入…
  • SPDE

  • 39篇参考文献[SW16714]
  • 对称性部分的微分方程。包SPDE提供了一组功能哪个…一个给定系统的点对称性部分的微分方程。最好是交互式使用。
  • HLIB

  • 53篇参考文献[SW04080]
  • 图书馆包含功能对于H-矩阵和H2矩阵算法,进行了处理。部分的微分方程…
  • 维塔卢塔

  • 98篇参考文献[SW16241]
  • 至少一个兼容值功能A是最好的B。这些关系建立了一个必要的…A、IS分别为A部分的前序和强完全和负传递…以附加值表示功能
  • 支柱

  • 92篇参考文献[SW04019]
  • 软件包PRACACK包含一组功能用于计算奇异值分解…基于Lanczos双对角化算法部分的再正交化(BPRO)。Lanczos例程也可以…
  • PDES溶液

  • 60篇参考文献[SW1232]
  • 双曲椭圆型可解的精确解功能对于非线性偏微分方程。给出了算法…非线性常微分方程的闭形式解部分的微分方程(ODE和PDEs)。新算法…从雅可比椭圆看PDEs功能. 对于具有参数的系统,算法确定…
  • IDP3

  • 7篇参考文献[ SW229 441 ]
  • 具有类型、归纳定义、集合和部分的 功能. 它为用户提供了建模语言…