• C稀疏

  • 185篇参考文献[SW2082]
  • 稀疏线性的直接方法系统.计算的科学家经常遇到需要解决的问题。程序设计语言,稀疏线性的直接方法系统配备读者所需的工作知识…解释Matlab如何执行其稀疏矩阵计算
  • 形式

  • 303篇参考文献[ SW09051 ]
  • 电脑代数系统(CAS)在理论粒子物理学中非常大的计算,非常…支持多个内核(见tFrm)和分布式计算在网络上(PrFrm)。也见…
  • 乌普巴尔

  • 617篇参考文献[SW04702]
  • 实时性系统基础研究共同发展电脑奥尔堡大学科学…瑞典大学。适合于系统这可以被建模为一个集合…
  • 红木

  • 156篇参考文献[SW04250]
  • 扩展的包电脑代数系统减少到电脑逻辑系统
  • 国际实验室

  • 406篇参考文献[SW044]
  • 计算和自我验证算法。它包括用于稠密线性的自验证方法。系统结构矩阵)稀疏S.P.D.线性系统 系统非线性方程(包括无约束最优化)的根…微分(正向模式,矢量化)计算(快速)梯度(求解)系统非线性方程组)
  • 马科特

  • 322篇参考文献[SW0551 ]
  • 最小扩展的普遍使用系统计算关于分支的正规形系数…
  • 加姆斯

  • 823篇参考文献[SW0497 8]
  • 非线性和混合整数优化问题。这个系统特别适用于大型、复杂的问题…GAMS可供个人使用电脑工作站、大型机和超级计算机。GAMS允许…通过设置简单的问题。这个系统照顾耗时的细节…
  • 康德/卡什

  • 155篇参考文献[SW081]
  • 卡什/康德是电脑代数系统(CAS)复杂的计算在代数数域中…为用户提供手段计算F的许多不变量是可能的…系统. 在函数ε的情况下,例如,亏格计算黎曼的建筑…
  • 谎言

  • 145篇参考文献[ SW01075 ]
  • 使数学家和物理学家得以表演。计算一个李群理论的本质…它们的Weyl群和根系统. 谎言不计算直接与元素…群和代数本身;计算有重量,根,字符和类似的物体。一些…关于当前有效的定义和值。电脑代数系统
  • 自动书写

  • 130篇参考文献[SW06137]
  • AutoGraphiX(AGX)是电脑 系统旨在帮助研究者在图论中。主要的…
  • 88篇参考文献[SW0108]
  • CASA是一种特殊用途系统计算的代数和构造代数几何。这个系统符号研究所小组计算(RISC林茨),林茨大学,奥地利…在温克勒教授的指导下。这个系统建造…广泛使用的核电脑代数系统枫树。电脑代数系统
  • 公理

  • 168篇参考文献[SW000 063]
  • 公理是一种通用的目的。电脑代数系统(CAS)。这对于研究…是有用的。
  • 阿萨特

  • 168篇参考文献[SW02524]
  • 是通过SAT求解器设置的系统计算逻辑程序的答案集…
  • 自旋

  • 699篇参考文献[SW0345 5]
  • 分布式软件的形式化验证系统. 这个工具是在贝尔实验室开发的…原始UNIX组计算科学研究中心,始于1980。软件…工具被授予声望系统软件奖…
  • 线性代数库

  • 394篇参考文献[SW0830]
  • 共享内存并行电脑. 两个库都包含用于解决的例程。系统线性方程组,至少…工作站集群,以及任何系统对于PVM或MPI是可用的。\pAARACH用户…多个图书馆电脑示例程序和全套LAPACK工作…
  • 贝蒂尼

  • 204篇参考文献[SW06363]
  • 同伦。实现参数族的参数延拓系统,如逆运动学…不可约分解对待正维度解计算证人集。有自动区分,保留…输入的质量系统. 利用均匀化精确计算“无穷大”解决方案提供…分数阶幂级数的精确博弈计算奇异根允许子函数。允许证人…
  • CGAL

  • 334篇参考文献[SW0118]
  • 图形,科学可视化,电脑地理信息辅助设计与建模系统分子生物学、医学影像学…使用CGAL网页的项目。这个计算的几何算法库(CGAL),提供数据结构…