• 拉思

  • 引用89篇文章[sw00779]
  • 拉思:a枫木 包裹为寻找非线性发展方程的行波孤立波解。。。枫木 包裹全自动输出多项式行波解的RATH。。。
  • 罗宾斯

  • 在106篇文章中引用[sw11649]
  • 罗宾斯,a枫木 包裹伴随着我的论文“交替符号矩阵猜想的证明。。。
  • 拉格利布

  • 引用了65篇文章[sw00774]
  • 方程和不等式。RAGlib是一个枫木 包裹为研究提供有用的功能。。。图书馆及其与枫木由Jean Charles开发。。。福格尔(INRIA/LIP6 PolSys)拉格利布枫木 包裹允许解多项式方程组/不等式。。。
  • 差异2

  • 引用54篇文章[sw11328]
  • diffgrob2是一个枫木 包裹为了简化超定多项式微分方程组。。。执行相关功能的有枫木的差异包裹... 由Evelyne Hubert维护枫木 包裹rif可从艾伦·维特科普夫处获得。。。
  • 艾达

  • 参考58篇文章[sw11535]
  • 艾达枫木 包裹代数不变量及其微分代数。艾达包裹威尔。。。它们的微分类似物。这个包裹建立在枫木Groebner、Vessiot和diffalg图书馆。首字母。。。
  • 语言

  • 在39篇文章中引用[sw00501]
  • 语言:A枫木 包裹对于正则语言的自动机特征。。。最后一个属性。这个包裹是用符号计算系统编写的枫木... 与AG合作,一套枫木 包装对于处理自动机和有限半群。。。
  • 凸面的

  • 参考33篇文章[sw07770]
  • 凸-a枫木 包裹对于凸几何。凸面是枫木 包裹为了计算。。。
  • 宝石

  • 引用97篇文章[sw00332]
  • 呈现最近开发的枫木-基于“GeM”的软件包裹自动对称和守恒。。。偏微分方程和常微分方程。这个包裹包含一个强大的容易收集。。。给定的DE系统占用几行枫木代码,并以规范格式生成输出。。。实现给定的DE系统。“宝石”包裹正在成功地用于正在进行的研究。。。
  • 舒伯特

  • 27条引用[sw09175]
  • 舒伯特:a枫木 包裹对于交集理论。这个枫木 包裹对于Chern类的计算。。。更新以反映新版本的枫木作者:Jan MagnusØkland。你可以下载源代码。。。这里是基本文档。然而,这枫木 包裹不再积极支持,目前的努力。。。
  • SYNRAC公司

  • 引用28篇文章[sw00942]
  • SYNRAC:A公司枫木-包裹用于求解实代数约束。在本文中,我们提出。。。枫木-包裹,名为SyNRAC,用于解决各种工程问题产生的实代数约束。。。
  • 珍妮特

  • 引用了37篇文章[sw07776]
  • 枫木 包裹珍妮特实现了V.P.Gerdt的对合基技术。。。存在于枫木. 珍妮特还提供了许多工具。。。
  • 伊索尔德

  • 引用了29篇文章[sw00458]
  • 伊索尔德,a枫木 包裹对于线性函数方程组。这个枫木伊索尔德包裹包含。。。
  • 分形

  • 引用了29篇文章[sw16769号]
  • 在新的枫木 包裹FracSym[作者,Comput.Phys.common…它使用来自枫木对称性包装DESOLVII[K.T.Vu等人,计算机。。。
  • 利迪亚

  • 引用了53篇文章[sw00518]
  • 软件的时代包装巴黎,枫木还有Mathematica。计算机代数系统。。。
  • RRtools公司

  • 参考33篇文章[sw00814]
  • 枫木 包裹为了帮助发现和证明有限Rogers-Ramanujan型恒等式。。。
  • 随机的

  • 17条引用[sw18346]
  • 枫木 包裹对于随机微分方程。作者开发了一个枫木 包裹包含例程。。。高阶随机数值格式。这个枫木 包裹它被称为“随机”,是由。。。以前没有这样的命令枫木因为SDE不符合规则。。。从随机性的角度来设计和演示程序包裹自动构建这样的计划。。。
  • 德索尔维

  • 引用23条[sw06914]
  • 微分方程的对称性枫木 包裹德索尔维。我们提出并描述,以说明。。。例如枫木计算机代数包裹DESOLVII是DESOLV的主要升级版。德索尔维。。。
  • recpf公司

  • 在26篇文章中引用[sw06642]
  • RRtools和recpf枫木 包装这是作者为了帮助。。。
  • 天真的

  • 引用24篇文章【sw19282】
  • 天真,a枫木 包裹用天真的方法来解决古尔登。。。包装以及理论上的见解。要使用它,下载它作为天真,进入枫木...