• 拉思

  • 88篇参考文献[SW0799]
  • 拉思:A枫树 旅行包寻找非线性发展方程的旅行孤波解…枫树 旅行包RATH输出全自动TANH多项式旅行孤立波解…
  • 罗宾斯

  • 86篇参考文献[ SW11649 ]
  • 罗宾斯枫树 旅行包伴随着我的论文“交替符号矩阵猜想的证明…
  • 拉吉利

  • 60篇参考文献[SW0794]
  • 方程与不等式拉格利布是枫树 旅行包为研究提供有用的功能…图书馆及其接口枫树由Jean Charles开发…Faugere(RAGlib)枫树 旅行包允许解多项式方程组/不等式…
  • DeffgRoB2

  • 46篇参考文献[ SW11328 ]
  • DeffgRoB2是枫树 旅行包简化多项式非线性微分方程的超定系统。其中执行相关功能的是枫树弥散旅行包由Evelyne Hubert和枫树 旅行包RIF,可从Allan Wittkopf…
  • 艾达

  • 57篇参考文献[SW11535]
  • 艾达枫树 旅行包代数不变量及其微分代数。艾达旅行包威尔…它们的差异类似物。这个旅行包建立在枫树图书馆Groebner,Vessiot和DeCalg。最初的…
  • 兰格斯

  • 35篇参考文献[SW0501]
  • LANGAGE:A枫树 旅行包对于正则语言的自动机表征…最后的属性。旅行包用符号计算系统编写枫树与AG合作,一组枫树 包裹用于处理自动机和有限半群…
  • 舒伯特

  • 27篇参考文献[SW09175]
  • 舒伯特:A枫树 旅行包求交理论。枫树 旅行包用Cern类计算…更新以反映新版本枫树简·马格努斯·奥克兰。你可以下载源码…这里的基础文献。然而,这枫树 旅行包不再积极支持,目前的努力…
  • 凸面的

  • 30篇参考文献[SW0770]
  • 凸的枫树 旅行包对于凸几何。凸是枫树 旅行包为了计算…
  • 同步加速器

  • 28篇参考文献[SW0942]
  • Syrac:A枫树-旅行包用于求解实代数约束。在本文中,我们提出…枫树-旅行包命名为Syrac,用于解决来自各种工程问题的实代数约束。
  • 宝石

  • 77篇参考文献[SW0332 ]
  • 介绍最近开发的枫树基于“宝石”的软件旅行包自动对称和守恒…偏微分方程和微分方程(DE)。这个旅行包包含一个强大的集合容易…给定的DE系统占用若干行枫树代码,并在规范中产生输出…给出了DE系统。“宝石”旅行包正在成功地用于正在进行的研究…
  • 绝缘体

  • 28篇参考文献[SW045 8]
  • 伊索德枫树 旅行包对于线性泛函方程组。这个枫树绝缘体旅行包包含。。。
  • 利迪亚

  • 52篇参考文献[SW0518]
  • 与软件时代包裹Pari枫树和Mathematica。计算机代数系统…
  • 珍妮特

  • 33篇参考文献[SW0777]
  • 枫树 旅行包珍妮特实现了V. P. Gerdt的对合基方法。存在于特征零点的域枫树. 珍妮特还提供了一些工具…
  • 多层筛

  • 32篇参考文献[SW11335]
  • 枫树 包裹陪同Multi Variate Zeilberger和Alkkistt ZeelbgER算法和锐化…
  • RRoToots

  • 31篇参考文献[SW0814]
  • 枫树 旅行包为了帮助发现和证明有限罗杰斯-拉马努金型恒等式…
  • 随机的

  • 15篇参考文献[SW1836]
  • 枫树 旅行包对于随机微分方程。作者开发了一个枫树 旅行包包含例程…高阶随机数值格式这个枫树 旅行包这就是所谓的“随机”。以前没有这样的命令枫树因为SDEs不遵守规则…方案与随机过程论证旅行包这自动化了这样的方案的构建…
  • 压裂液

  • 19篇参考文献[SW16796]
  • 在新的实施中枫树 旅行包FracySm [作者,Copult]。Phys。共产主义…使用来自枫树对称性包裹DeLovii [ K. T. Vu等人,计算机…
  • 德索利维

  • 19篇参考文献[SW06914]
  • 微分方程的对称性枫树 旅行包德索尔维我们提出和描述,说明…例子,枫树计算机代数旅行包Doovii,这是DeOLV的一次重大升级。德罗维希…
  • 天真的

  • 20篇参考文献[SW1982]
  • 幼稚的枫树 旅行包这就应用了天真的方法来解决埃米琳潘克赫斯特的问题。包裹和理论洞察力。要使用它,下载它天真,进入枫树