• 水獭

  • 在310篇文章中引用[sw02904]
  • 目前水獭的主要应用是研究代数形式逻辑。水獭。。。
  • 撒谎

  • 在146篇文章中引用[sw01075]
  • 用李群的元素和代数它用权数,根来计算。。。理论概念和目前有效的定义和值。电脑类代数系统。。。
  • 轰炸机

  • 在146篇文章中引用[sw00086]
  • Jones,并行粗网格选择代数的多重网格,in:A.Ferriera,J.Rollin,H.Simon。。。方法。最后,我们指出现在的研究方向。。。
  • EPDCOL公司

  • 17条引用[sw00240]
  • 处理线性方程的线性方程求解器代数. 本文将集中讨论第三个。。。由于更换现在的线性的代数模块的代码由模块组成。。。
  • 岩浆

  • 引用52篇文章[sw12741]
  • 线性的代数库类似于LAPACK,但用于异构/混合架构,从现在的“多核。。。这个想法,我们的目标是设计线性代数混合多核算法与架构。。。
  • 哥勒姆95

  • 引用24篇文章[sw00371]
  • 避免大型代数的表达。限制:The现在的版本包含基积分。。。
  • 克拉

  • 引用了43篇文章[sw04293]
  • 计算机代数像盖普。如果您想要这样的用户界面现在的版本。。。克拉的功能,但不是全部。电脑类代数系统。。。
  • MKL公司

  • 引用110篇文章[sw06975]
  • 包括高度矢量化和线程线性代数,快速傅立叶变换(FFT),向量数学和统计学。。。调用,这些函数会自动扩展到以前的,现在的以及未来的处理器架构,通过选择。。。
  • 操作数学

  • 引用4篇文章[sw09271]
  • 自由域实现的示例现在的 代数,哈密顿约化现在的 代数还有BRST。。。
  • MAPC公司

  • 引用23条[sw04990]
  • 地区。分解飞机代数的曲线成单调的分段。这个现在的MAPC的实现。。。
  • 矩阵市场

  • 在154篇文章中引用[sw04020]
  • 数值线性化算法的比较研究代数. 矩阵以及矩阵生成软件。。。把它们放到你的浏览器上。目前生成元和单个矩阵482。。。具有线性重点区域的软件代数,特殊函数和统计。。。
  • 费曼图

  • 引用107篇文章[sw06474]
  • 添加了用户友好的拓扑编辑器。这个现在的版本3具有一个全新的渲染。。。拓扑编辑平台。电脑类代数系统。。。
  • xAct公司

  • 在56篇文章中引用[sw07598]
  • 张量电脑免费套装代数在数学上。xAct实现状态。。。索引和已根据现在的广义相对论的几何方法。。。
  • 东方

  • 引用3篇文章[sw18909]
  • 基于核心语法的策略(面向节点)和代数基于策略(集合导向)。他们两个。。。很难优化,而现在的 代数基于此的策略不能满足柔性规划的要求。。。在总结了现在的前者的阶段与未解决问题代数基于作品,一个有效的。。。
  • 埃克斯

  • 引用24篇文章[sw02738]
  • 图书馆,哪个目前计算曲线的排列和低代数的学位。。。
  • 瘦身

  • 引用28篇文章[sw15148]
  • 目前用于形式化范畴理论、同伦类型理论和抽象代数. 我们描述。。。
  • QPA公司

  • 参考6篇文章[sw25150]
  • 颤动与路径代数. QPA是目前一个存放的GAP包。。。
  • MuPAD组合

  • 引用25篇文章[sw04933]
  • 计算机探索的可扩展工具箱代数的组合学,以及促进研究人员之间的代码共享。。。从2001年春天开始目前包含处理最常用的函数。。。构造新的组合类与组合(Hopf)代数. 作为一个应用程序,它提供了一些很好的。。。
  • 木材

  • 引用了20篇文章[sw02327]
  • 木材XML数据库系统的体系结构目前在密歇根大学实施。。。系统基于批量代数为了操纵树木和本地商店。。。
  • 宝石包

  • 引用19篇文章[sw02886]
  • 经济模式,从代数的模型方程的表示。这些方程式。。。现在的GEMPACK的发布(5.11994年4月)。包括以下描述:代数-就像。。。