• 水獭

  • 在310篇文章中引用[sw02904]
  • 设计用来证明第一个定理-秩序逻辑与平等。水獭推理规则。。。包括以下设施学期重写,学期 订购,Knuth Bendix完成,权重,和指导策略。。。
  • OEIS

  • 引用了3218篇文章[sw07248]
  • 医疗记录是正确的秩序. (也许你是个计算机科学家或者其他人。。。给出了第n个的显式公式学期. 你决定不申请。。。
  • SDPT3型

  • 引用597篇文章[sw04009]
  • 半无限锥的乘积,第二-秩序锥,非负正方体和欧几里德空间;以及它们的目标。。。线性函数与对数势垒条款与约束圆锥体关联。这包括特殊的。。。
  • MU-TERM公司

  • 在34篇文章中引用[sw10015]
  • 永久禁止。本文描述了mu-学期,一个可以自动。。。工具实现适当的订购以证明企业社会责任终止。。。超过有理数。事实上,穆-学期... 生成的第一个终端工具学期 订购基于这样的多项式解释。这些订购...
  • 珍妮特

  • 在34篇文章中引用[SW776号]
  • 字典式的,纯词典的,块订购以及他们对案件的延伸。。。学期位置“和”位置超过学期订购在多项式的情况下。四个对合标准。。。
  • 吸血鬼

  • 引用232篇文章[sw02918]
  • 克努斯·本迪克斯订购. 词典编纂路径订购最近已实施,但将。。。条款条款和。运行时算法专业化。。。加速一些昂贵的操作,例如检查订购限制。虽然系统的核心。。。
  • 水蝇

  • 引用246篇文章[sw00341]
  • 复杂几何中的网格自动生成-秩序在时空中无限的数量。。。无源示踪剂附加源的灵活规范条款使用MPI库的可移植并行支持。。。
  • 阿特拉斯

  • 引用195篇文章[sw00056]
  • 生产和维护性能库学期软件的自动经验优化;这种风格。。。库管理已在中创建秩序为了让软件跟上。。。
  • 高阶逻辑

  • 引用的第47条[sw01580号]
  • HiLog有更高的-秩序语法和允许任意条款出现在某处。。。谓词演算。但它的语义是第一位的-秩序并承认了一个可靠而完整的证据。。。
  • 集成电路

  • 引用了20篇文章[sw21618]
  • 第一个片段的程序-秩序逻辑。条款都是用未经解释的函数符号。。。
  • 亚当

  • 引用了199篇文章【sw22205】
  • 函数,基于-秩序瞬间。这个方法很容易实现。。。适用于大范围的问题条款数据和/或参数。方法。。。
  • 罪恶的

  • 引用15篇文章[sw30277]
  • 也容易概括为包括更高的-秩序非线性条款那个模型是截尾效应。。。确定的模型与简化模型相比更为有利-秩序从标准伽辽金投影程序得到的模型。。。
  • 时间特征向量中心性

  • 参考6篇文章[sw20368]
  • 由第0位给出-秩序 条款奇异摄动展开式。我们也。。。先学习-秩序 条款先得-秩序-mover分数,它简洁地描述了大小。。。
  • 斋川

  • 引用9篇文章[sw10102]
  • 全自动汇流工具-秩序 学期重写系统。最新版本基于。。。
  • 提洛尔人

  • 引用89篇文章[sw07830]
  • 自动证明(和反驳)终止学期重写系统。它是完全重新设计的接班人。。。过滤,边界,依赖对方法,Knuth Bendix秩序,词典路径秩序循环检测,矩阵解释。。。
  • FDL3DI

  • 引用44篇文章[sw24948号]
  • 秩序并用五点模板编制了差分格式。粘性的条款... 战略。对于数值稳定性,最高可达10-秩序提出了滤波方案。光谱特性。。。
  • 巴别塔

  • 引用71篇文章[sw03018]
  • 构造器原则,非常适合于PROLOG条款和希望一样的模式。从句法上来说。。。巴贝尔结合了纯序言和第一秩序功能符号。在另一边。。。