• X总结

  • 引用24篇文章[sw06109]
  • XSummer-超越函数和象征的 总和在形式上。调和和及其推广是极端。。。
  • 评估乘法

  • 引用13篇文章[sw11639]
  • 当前差分场算法象征的 总和. 特别强调新的方面。。。
  • 短吻鳄

  • 引用8篇文章[sw00029]
  • 不变量。该软件包结合了象征的 总和多项式代数和计算逻辑。。。
  • 基础知识

  • 参考第6条[sw09721]
  • 将程序的静态分析与象征的 总和推导循环不变关系的技巧。。。大量的例子。衍生的象征的界表示循环上的非平凡多项式关系。。。
  • 兰赫普

  • 引用21篇文章[sw00502]
  • 总和对称性破缺的超指数及其特殊用法符号对于复杂的表达式。。。
  • 鳄鱼

  • 引用3篇文章[sw00994]
  • 通过象征的 总和,Gr“obner基计算,和量词消除。。。
  • 算法库

  • 引用2篇文章[sw04111]
  • 运算符、Groebner基计算和象征的 总和特殊函数和组合函数的结合。。。
  • ccgrg公司

  • 1条引用[sw16161]
  • ccgrg—的象征的张量分析软件包,带有广义相对论工具。黎曼和韦尔曲率。。。唯一不同的是总和 符号显式显示。张量是函数,不是矩阵。。。
  • 利玛窦

  • 参考第14条[sw16359]
  • 为利卡做数学软件包象征的在微分几何中产生的张量计算。。。没有指数;爱因斯坦的含蓄用法总和惯例;虚拟索引的正确操作;显示。。。
  • Mgfun公司

  • 引用8篇文章[sw06227]
  • 系统Maple,用于象征的一个大类的特殊操作。。。属性,包括在积分和总和. (Gfun包,执行相同的计算。。。
  • 引用3篇文章[sw10581]
  • 勺子:用来象征的概率过程的优化。。。我们实现了一个工具。。。合流归约,死变量归约,常数消去,总和消除和表达式简化两个prCRL。。。
  • 马甲

  • 1条引用[sw16763]
  • 提出一个新的包装,背心(Vector Einstein)总和工具),执行抽象向量演算计算。。。另外,利用利维的特性符号,程序可以派生多种类型的。。。
  • 传感器

  • 引用8篇文章[sw00055]
  • 用于张量简化的ATENSOR-REDUCE程序。性质。。。
  • 公理

  • 在169篇文章中引用[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 佳能

  • 引用5篇文章[sw00102]
  • 佳能软件包:张量的快速内核。。。
  • gmp

  • 引用256篇文章[sw00363]
  • GMP是一个任意精度的免费库。。。