• 马赛玛

  • 714篇参考文献[ SW0120 9]
  • 通用符号数值图形数学 软件产品计算机代数系统…
  • 布莱斯

  • 472篇参考文献[SW0316]
  • 许多公用事业水平的公用事业数学的 软件包裹主要是Fortran BLAS(基本线性代数)…
  • 离散马尔可夫随机场

  • 1816篇参考文献[SW04968 ]
  • 覆盖包括数学的公式、图表、参考文献、计算方法和链接软件. 特性演示文稿的选择技术数学在印刷,但它不是很适合…
  • 岩浆

  • 2602篇参考文献[SW0540]
  • 岩浆是一个大的,良好的支持。软件用于代数、数论计算的软件包…几何与代数组合学。它提供了一个数学上的严格的环境定义和工作…
  • 马科特

  • 313篇参考文献[SW0551 ]
  • MatMatt:Matlab软件动力系统的分岔研究。研究…微分方程需要好的和强大的数学的 软件. 此外,灵活性和可扩展性的包装…
  • 地脑

  • 315篇参考文献[SW04203]
  • 自由多平台动态数学 软件对于加入几何学的所有层次的教育…
  • 斯皮皮

  • 344篇参考文献[SW0693]
  • 发音“叹息饼”是开源的软件数学科学和工程。它也是…
  • 牛顿利伯

  • 250篇参考文献[SW0796]
  • 数字的数学- NewtonLib。软件Peter DufFARHDS图书库:“非线性问题的牛顿方法——仿射…
  • 伊莎贝尔/霍尔

  • 908篇参考文献[SW01569]
  • 主要应用是形式化数学的证明,特别是形式验证,其中包括…证明计算机硬件的正确性软件并证明了计算机语言的特性…
  • 几何画板

  • 222篇参考文献[SW0858]
  • 世界领先软件为了教学数学. SrimePad®使学生在所有级别从第三…
  • 伊莎贝尔

  • 580篇参考文献[SW044]
  • 主要应用是形式化数学的证明,特别是形式验证,其中包括…证明计算机硬件的正确性软件并证明了计算机语言的特性…
  • OMDOC

  • 84篇参考文献[SW07138]
  • 通信数学的A上的服务数学的 软件
  • 闪光灯

  • 572篇参考文献[SW04629 ]
  • 模拟,数学以及统计、电力网络和其他网络和图表)。我们提供软件
  • XPress

  • 215篇参考文献[SW0843]
  • FICO XPress是总理数学的建模与优化软件套房在世界上,与…
  • 矩阵市场

  • 149篇参考文献[SW04020]
  • 描述其性质。发电机要么是静态的软件你可以下载并包括…评价工具数学的统计软件在线性代数中有重点领域…
  • 麦考莱2

  • 1503篇参考文献[SW05337 ]
  • MaCulay2是软件致力于支持代数几何和交换代数研究的系统…支持创建新类数学的对象和方法的安装…
  • ITPACK

  • 47篇参考文献[SW0499]
  • 涉及研究型发展数学的 软件基于迭代算法,求解大…这促成了现在。数学的 软件旅行包2C版本的ITPACK…
  • 伊波特

  • 556篇参考文献[SW04808]
  • 优化器,明显的眼睛豌豆opt)是软件大规模非线性优化软件包设计找到(本地)解决方案数学的的优化问题