• 乔普

  • 42篇参考文献[SW09358]
  • 重要的是,这些技术在计算上是有效的。代数的拓扑学是经典的数学工具。信息隐藏的在大型数据集中可以简化为紧凑型。代数的提供洞察力的表达
  • 泄漏

  • 3篇参考文献[SW09494]
  • 基于排序的简单语义,隐藏的排序的代数
  • 博莫德

  • 2篇参考文献[SW10135]
  • 等效性在一个代数的规范语言?这个隐藏的-排序方法,起源于工作…有序排序的等式逻辑。我们开发了一个隐藏的-分类扩展的成员等式逻辑…理论既有条件又有条件代数的和一个共代数语义,包括最终…
  • 移动对象

  • 2篇参考文献[SW01815]
  • CAFEOBO代数的规范语言捕捉移动性。它使用行为规范隐藏的目标
  • TDDS

  • 1篇参考文献[ SW31513]
  • 允许执行重要元素代数的一个输入微分系统的分析…如果这种消除是可能的;隐藏的因变量的约束等例子说明…
  • 因式分解

  • 2篇参考文献[SW10039 ]
  • 从线性变换数学表达式的趋势代数直接进入MATLAB,使…秩亏矩阵的正交分解隐藏的从用户。数学表达式…
  • RMGEG2

  • 1篇参考文献[SW2536]
  • 用于许多计算任务,包括代数的多重网格求解器和图形操作…小而长核的潜伏期为隐藏的基于流的并发内核执行…
  • 可可

  • 595篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 针织品

  • 165篇参考文献[SW0490]
  • KNITROO是求解非线性优化问题的一种解法。IT
  • 岩浆

  • 2672篇参考文献[SW0540]
  • 电脑代数系统(CAS)。岩浆是巨大的…
  • MATLAB

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 抱怨

  • 373篇参考文献[SW0610]
  • 由专家制作,用于多种品种…