• 闪光灯

  • 573篇参考文献[SW04629 ]
  • 结构工程,计算流体力学,模型减少,电磁学,半导体器件,热力学,材料,声学,计算机图形学/视觉…
  • 线性代数库

  • 393篇参考文献[SW0830]
  • 广义正交分解,正交变换例程,约简对上Hessenberg,双对角线和三对角线形式,减少
  • 背包

  • 447篇参考文献[ SW047 23 ]
  • 考虑到放松,界限,约简和其他算法技术的精确解…
  • LS-DYNA

  • 300篇参考文献[SW03068 ]
  • 多核处理器导致了激烈的竞争。减少在计算机硬件成本和巨大的…
  • 埃斯特尔

  • 161篇参考文献[SW1212]
  • 基于执行互模拟的验证工具减少或安全性能检查。Esterel…
  • NTRU

  • 149篇参考文献[SW11761 ]
  • 具有独立性的多项式混合系统减少模两个相对素整数…
  • 蒂桑

  • 147篇参考文献[SW09667 ]
  • 数据表示、预测、噪声算法减少维数和李雅普诺夫估计,以及非线性检验…
  • 谎言

  • 145篇参考文献[ SW01075 ]
  • 复半单的表示理论(英文)还原的)李群和代数,以及结构上…
  • 雷德伯特

  • 134篇参考文献[SW1297]
  • 针对离线的在线分解策略减少计算复杂性。此外,他们携带…
  • 刀具

  • 96篇参考文献[SW07230]
  • 刀具:一个实现OPP的程序减少计算一个环路振幅的方法。我们提出…实现OPP的程序减少方法提取一回路的系数。
  • 重修

  • 69篇参考文献[SW10354]
  • ReuZe-费曼积分减少在C++中。ReDuZE是一种减少费曼积分的计算机程序。Laporta变型的积分减少算法。这个网页呈现版本…程序新特性包括分布式减少在多处理器核心上的单个拓扑结构…平行减少不同的拓扑结构通过模块化的负载平衡作业系统来支持。快…
  • 塞西奥

  • 119篇参考文献[SW0707]
  • 系统:一个强大的预处理模块减少输入公式,证明程序…
  • 莫纳

  • 117篇参考文献[SW06170]
  • 经过多年的测试,包括公式约简DAGification,引导树自动机,三值逻辑,渴望…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 变窄为懒惰的基础减少语义体现了重写…作为一个健全的结果减少声明性语义学W.R.T。我们也…画出一个完整的结果减少语义学,说明语言的特点。
  • 埃兰

  • 108篇参考文献[SW02179]
  • 基于现有重写语言的术语减少战略是硬连线的,是不可及的。
  • 踪迹

  • 108篇参考文献[ SW07823 ]
  • 这里介绍的方法导致了巨大的减少在搜索空间中,从而进行计算…
  • 卡尔马

  • 102篇参考文献[SW03265]
  • 方法、遗传算法、神经网络和电势减少. 并对这些算法进行了测试和比较。
  • VTK

  • 93篇参考文献[SW10593]
  • 建模技术,如:隐式建模、多边形减少网格平滑、裁剪、轮廓化、Delaunay三角剖分…
  • 65篇参考文献[SW10355]
  • Fiel-Fyman积分算法减少. 最近开发的算法火灾执行减少Feynman的…