• 麦考拉2

  • 参考1579篇文章[sw00537]
  • 基层和分级或多级自由决议分次商环上模的个数。。。
  • 单数

  • 引用1317篇文章[sw00866]
  • 计算,合群,自由-分辨率计算,以及更多相关功能。基于一个简单的。。。
  • 可可

  • 参考605篇文章[sw00143]
  • 计算Grobner基、syzygies和极小自由基分辨率交集,除法,理想的根。。。
  • 吸血鬼

  • 引用232篇文章[SW918号文件]
  • 内核实现了有序二进制的计算分辨率以及处理等式的叠加。分裂。。。包含,重言式删除(可选模交换性),包容分辨率,用有序单位等式重写。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 水獭的推理规则是基于分辨率和调适,它包括设施。。。
  • 水蝇

  • 引用246篇文章[sw00341]
  • 浅水方程自适应网格优化分辨率动态调整以适应功能。。。
  • 伯克明

  • 引用158篇文章[sw06917]
  • 把伯克明和沙夫比较一下分辨率-基于SAT解算器。实验表明。。。
  • 爪包

  • 参考文献125篇[sw01069]
  • 法律,重点是执行-分辨率使用限制器的Godunov类型方法。。。
  • 维多

  • 参考文献112篇[sw06987]
  • 直接和面向对象的逼近分辨率. 弗拉索夫方程描述了进化。。。
  • 开放式CV

  • 引用89篇文章[sw11376]
  • 将图像缝合在一起以产生高分辨率整个场景的图像,找到相似的。。。
  • 韦诺

  • 引用51篇文章[sw12694]
  • 非常粗糙的网格分辨率从而使开发。。。求解器包括其更快的速度,无噪音分辨率,并且易于任意力矩计算。这个。。。
  • 巴别塔

  • 引用71篇文章[sw03018]
  • 同时体现重写和SLD的语义分辨率并支持潜在无限数据的计算。。。
  • iProver公司

  • 引用48篇文章[sw09707]
  • 除了实例化之外,iProver还按顺序执行分辨率微积分和实例化和有序的结合。。。分辨率. 本文讨论了iProver的设计及相关实现问题。。。
  • AMRCLAW公司

  • 引用59篇文章[sw15478]
  • 气体动力学方程-分辨率波传播算法在一个更普遍的。。。
  • 利奥二世

  • 引用了50篇文章[sw00512]
  • 独立的,分辨率-基于高阶定理证明器的设计与专家的有效合作。。。
  • 梅塔尔斯基

  • 引用49篇文章[sw00573]
  • 梅塔斯基自动证明:a分辨率定理证明程序(Metis)修改为调用决策过程。。。
  • 马尔巴

  • 27条引用[sw00542]
  • MALLBA项目解决了分辨率使用算法骨架实现的组合优化问题。。。MALLBA三个通用系列分辨率方法:精确法、启发式法和混合法。而且,对于每一个。。。分辨率方法,MALLBA提供了三种不同的实现:顺序的,用于局域网的并行的,和并行的。。。
  • GHC公司

  • 引用了43篇文章[sw23765号]
  • 语言。GHC是对分辨率-霍恩子句句的基本定理证明器。。。
  • 拉美西斯

  • 引用24篇文章[sw18064]
  • 具有自适应网格优化。新的高潮分辨率代号叫拉姆西斯。一个新的N体。。。高空间宇宙的形成分辨率. 代码基于自适应网格。。。网格,达到正式分辨率81923年。不同量的收敛性分析,例如。。。结果正在收敛到实际情况分辨率代码的极限,而且很好。。。