• 麦克西马

  • 引用716篇文章[sw01209]
  • 通用符号数字图形数学 软件产品。计算机代数系统。。。
  • 布拉斯

  • 引用491篇文章[sw03216]
  • 许多人共用的电平实用程序数学的 软件包装。主要是Fortran BLAS(基本线性代数。。。
  • DLMF

  • 引用2451篇文章[sw04968]
  • 包括数学的公式、图表、参考文献、计算方法和链接软件. 特殊功能。。。展示技术的选择数学但它不太适合。。。
  • 材料控制

  • 第399条引用[sw00551]
  • MATCONT:Matlab软件用于动力系统的分岔研究。研究。。。微分方程需要好的和强大的数学的 软件. 此外,软件包的灵活性和可扩展性。。。
  • 岩浆

  • 引用3055篇文章[sw00540]
  • 岩浆是一个大的,支撑良好的软件专为计算代数,数论。。。几何与代数组合学。它提供了一个数学上严格的环境定义和工作。。。
  • 神经质的

  • 参考605篇文章[sw06293]
  • 发音为“sight Pie”)是开源的软件对于数学科学与工程。它也是。。。
  • GeoGebra公司

  • 引用375篇文章[sw04203]
  • 自由多平台动态数学 软件对于所有与几何有关的教育。。。
  • 纽顿利布

  • 引用282篇文章[sw04796]
  • 数字的数学-纽顿利布。软件彼得德乌夫哈德的书“非线性问题的牛顿方法——仿射。。。
  • 伊莎贝尔/霍尔

  • 引用984篇文章[sw01569]
  • 主要应用是数学的证明,特别是形式验证,包括。。。证明计算机硬件的正确性或软件以及证明计算机语言的性质。。。
  • 几何画板

  • 引用226篇[sw04858]
  • 世界领先软件为了教学数学. Sketchpad®为所有级别的学生提供。。。
  • 伊莎贝尔

  • 引用639篇文章[sw00454]
  • 主要应用是数学的证明,特别是形式验证,包括。。。证明计算机硬件的正确性或软件以及证明计算机语言的性质。。。
  • XPRESS

  • 引用226篇[sw04834]
  • FICO Xpress是首款数学的优化与建模软件世界套房,有。。。
  • 麦考拉2

  • 在1776篇文章中引用[sw00537]
  • Macaulay2是一个软件系统致力于支持研究代数几何和交换代数。。。支持创建新的类数学的对象和方法的安装。。。
  • 矩阵市场

  • 在163篇文章中引用[sw04020]
  • 描述它的属性。发电机要么是静止的软件你可以下载并包括。。。评估工具数学的以及统计数据软件在线性代数中有重点的领域。。。
  • 伊波特

  • 在686篇文章中引用[sw04808]
  • 优化器,发音为eye pea Opt)是一个软件大型包装非线性优化。。。旨在寻找(本地)解决方案数学的从…的优化问题。。。
  • ITPACK软件包

  • 引用47篇文章[sw00459]
  • 涉及研究性发展数学的 软件以迭代算法为基础,用于求解大型。。。这就促成了现在数学的 软件包裹。2C版的ITPACK。。。