• 欧米茄

  • 50篇参考文献[SW11878]
  • 欧米茄Mathematica的Mathematica实现是由Axel Riese进行的分区分析…Richard Stanley。对象欧米茄项目就是通过展示…
  • 埃拉托

  • 39篇参考文献[SW11922]
  • 具有足够的精度。特征值问题AX=欧米茄平方BX是由VEKIT解决…
  • 欧米茄

  • 15篇参考文献[SW150 37 ]
  • 欧米茄项目:分析和转化科学计划的框架和算法…
  • 18篇参考文献[SW04136]
  • 进行定性或定量分析欧米茄-正则线性时间属性,通过…
  • 霍罗米加

  • 9篇参考文献[SW0688]
  • 欧米茄逻辑是一种新的逻辑被假定为广泛使用的HOL定理证明器…通用类型。新系统,称为HOL-欧米茄或$Mouthm {HOL}{}欧米茄$,是一个合并…H22p与系统F F {的主要方面欧米茄从章…
  • 艾莉亚

  • 15篇参考文献[SW0889]
  • 接口Spalart Allmaras和SST $K$-${欧米茄$湍流模型已被测试,没有显示显著…
  • 目标

  • 7篇参考文献[SW21229 ]
  • 还部分支持其他变体欧米茄-自动机。可以使用目标工具…最初来源于“图形工具”欧米茄-自动机和逻辑“。它还代表“游戏……”欧米茄-自动机和逻辑“,因为我们逐渐添加支持欧米茄-规则游戏。我们的长…处理所有常见的变体欧米茄自动机和表达等价的逻辑…
  • 欧米伽蚂蚁

  • 8篇参考文献[SW19626]
  • 自动定理证明我们提出$欧米茄蚂蚁蚂蚁定理证明器是建立的…
  • 费伊斯

  • 5篇参考文献[ SW064 25]
  • Boin运算符到向量。欧米茄}是照明频率的数量…运算符需要$O(min)(n{{s} n{)欧米茄{n{{d},n)〕^ { 2 } imes…欧米茄{n{{d},n))$操作。Born算子在向量中的应用需要…欧米茄{N{{S}Mu(n))$Work,其中$MU(n)$是求解…的成本。
  • 欧米茄

  • 8篇参考文献[SW0993]
  • 思想是从工作中汲取的。欧米茄统计计算项目。该项目提供…
  • 1ML

  • 4篇参考文献[SW983]
  • 用普通$MthRM {F} {表示〕欧米茄美元,在一个小的变化…系统$MthRM {F} {友好的表面语法欧米茄}允许组合术语和类型抽象…
  • 培根

  • 3篇参考文献[SW1585]
  • 超临界参数的选择欧米茄在贝叶斯调整混杂算法(BAC)中…关于超参数欧米茄. 该软件包还提供指导用户的功能…他们选择合适的欧米茄价值。该方法是基于勒菲弗,阿泽顿…
  • 欧米茄

  • 2篇参考文献[ SW03120 ]
  • 欧米茄代码计算检测器/目标的CM系统中的动态重合立体角。
  • 巴哈马

  • 3篇参考文献[SW20222]
  • 尊重标准分析:我们发现欧米茄m=0.399±-0.027,2.8SIGMA高于…
  • 欧米加+

  • 1篇参考文献[SW32672]
  • 这些改进在不牺牲可判定性的情况下进行。我们发展欧米茄++,一个COQ认证的决策程序性能程序与证明欧米茄++被用户选择的语义参数化。