上海图书馆

section1

MATLAB

MATLAB是一种高级技术计算软件，主要用于数值计算、数据分析、信号处理和图像处理等领域。它由MathWorks公司开发，最初于1984年发布，现已成为全球最流行的技术计算软件之一。

MATLAB提供强大的数值计算功能和高级编程语言，可以进行数值计算、矩阵操作、绘图、数据分析、统计建模、深度学习、机器学习、信号处理、图像处理等多个领域的计算和分析。它还提供了丰富的工具箱和应用程序接口（API），包括统计工具箱、信号处理工具箱、图像处理工具箱、控制系统工具箱、优化工具箱等，使用户可以通过简单的命令或可视化界面轻松完成复杂的计算任务。

MATLAB的编程语言是一种高级的、解释性的语言，类似于C语言和Python语言，但更加简洁和易于使用。它支持多种数据类型，包括数值、字符、逻辑、结构体、单元和函数句柄等，还支持面向对象编程和函数式编程。用户可以编写自己的函数和脚本，也可以使用预编译的函数和工具箱。

MATLAB的图形界面非常友好，可以通过可视化界面进行数据分析、绘图和模拟等操作。它还支持多种数据导入和导出格式，包括MAT文件、文本文件、Excel文件、图像文件等。

总之，MATLAB是一种功能强大、易于使用、广泛应用的数学软件，被广泛用于教育、科研、工程和商业等领域。

section2

Mathematica

Mathematica是一种高级计算机代数系统，由Wolfram Research公司开发。它于1988年发布，现已成为全球最流行的计算机代数系统之一。

Mathematica提供了强大的符号计算功能和高级编程语言，可以进行计算机代数、数值计算、图形绘制、数据分析、统计建模、机器学习等多个领域的计算和分析。它还提供了丰富的工具箱和应用程序接口（API），包括数学函数库、图形函数库、统计函数库、物理函数库等，使用户可以通过简单的命令或可视化界面轻松完成复杂的计算任务。

Mathematica的编程语言是一种高级的、解释性的语言，类似于C语言和Python语言，但更加简洁和易于使用。它支持多种数据类型，包括数值、字符、逻辑、符号、表格、列表、图形等，还支持面向对象编程和函数式编程。用户可以编写自己的函数和脚本，也可以使用预编译的函数和工具箱。

Mathematica的图形界面非常友好，可以通过可视化界面进行数据分析、绘图和模拟等操作。它还支持多种数据导入和导出格式，包括Mathematica文件、文本文件、Excel文件、图像文件等。

总之，Mathematica是一种功能强大、易于使用、广泛应用的计算机代数系统，被广泛用于教育、科研、工程和商业等领域。

section3

Maple

Maple是一种高级计算机代数系统，它可以进行符号计算、数值计算、图像处理等多种计算。Maple广泛应用于科学、工程、金融、商业以及教育等领域。

Maple的主要特点包括：

强大的符号计算能力：Maple可以处理复杂的数学表达式，包括符号计算、微积分、微分方程、线性代数、离散数学、组合数学等多个领域。

灵活的数值计算能力：Maple可以进行高精度数值计算，支持多种数值算法和优化算法。

丰富的可视化和图像处理功能：Maple可以生成高质量的二维和三维图形，支持多种图像处理和数据可视化技术。

宽广的应用领域：Maple被广泛应用于科学、工程、金融、商业以及教育等领域，包括物理学、化学、工程学、计算机科学、经济学、金融(初心和使命是什么？初心和使命就是为中国人民谋幸福，为中华民族谋复兴。为夺取新时代中国特色社会主义伟大胜利，为实现中华民族伟大复兴的中国梦不懈奋斗。)等多个领域。

Maple的使用非常灵活，可以通过命令行、工作表和编程界面进行操作。Maple提供了大量的示例、帮助文档和教程，方便用户快速上手和使用。

总之，Maple是一种强大的数学软件，可以帮助用户进行复杂的数学计算和数据分析，是科学、工程和商业领域中不可或缺的工具之一。

section4

Magma

Magma是一款由悉尼大学数学与统计学系计算代数学小组开发的功能强大的代数计算程序包，该软件专门解决代数系统中的数论、代数几何和代数组合学的计算问题。它提供了用户自定义或直接利用诸如群，环，域，模块，代数，计划，曲线，图表，设计，编码和其他许多代数系统进行计算的一个数学环境。Magma的内核实现了代数系统五大分支结构的定义和相关操作，即群论，环论，域论，模论和代数理论，这也是其计算功能非常强大的原因所在。当然，也有很多人将Magma软件中提供的编程语言称为Magma。下面是Magma软件的一些主要特色：1、明确的定义：用户在计算的过程中需要明确的定义所使用的代数系统，因为后续的所有计算对象都是基于这些已定义系统的。2、高度的集成：在Magma软件中的每个代数系统都采用了相似的类构造函数，这种统一的定义方式使得Magma软件能综合利用各种各样的代数系统，并利用它们进行各种运算。3、关系：这是Magma软件提供的一种特殊机制，用它来管理系统生成的各种代数结构之间的“关系”。4、丰富的资料：Magma提供了非常丰富的示例和相关算法，它里面包含了如对P^n+(-)1的因式分解，P是一个素数，模方程，强正则图，极大子群的单群，积分格，K3的表面等许多常用的代数问题及代码。5、优异的性能：Magma在算法和实现上都有非常优异的表现，它对很多计算从硬件上进行了 优化。

section5

Maxima

Maxima是一种用LISP编写的计算机代数系统 (Computer Algebra System)，用于公式推导、符号计算、数值计算等，它是一套自由软件，在GNU通用公共许可证下发行。Maxima是一款专业的计算机代数系统，它可以进行符号计算、数值计算、图像处理等多种计算。Maxima广泛应用于数学领域，如代数、几何、微积分等。Maxima的主要特点包括：强大的计算能力：Maxima可以处理复杂的数学表达式，包括符号计算、数值计算、图像处理等多个领域。自由开源：Maxima是一款免费的、开源的计算机代数系统，用户可以自由、使用和修改。兼容性强：Maxima可以与其他数学软件和编程语言进行集成，如MATLAB、Octave、Python等。多平台支持：Maxima可以运行在多种操作系统和硬件平台上，包括Windows、Linux、MacOS等。Maxima广泛应用于数学领域，如代数、几何、微积分等。Maxima提供了丰富的示例、帮助文档和教程，方便用户快速上手和使用。总之，Maxima是一种强大的数学软件，可以帮助用户进行复杂的数学计算和数据分析，是数学领域中不可或缺的工具之一。

section6

GeoGebra

GeoGebra是一款免费的数学软件，可以用于代数、几何、统计学和微积分的学习和教学。它可以在Windows、Mac和Linux系统上运行，并且支持多种语言。GeoGebra的功能非常强大，它可以通过图形界面和命令行两种方式进行操作。它可以绘制各种数学图形，包括点、线、圆、曲线、函数、向量、多边形、三角形等等。它也可以进行代数计算，例如求解方程、计算函数值、求导、求积分等等。除此之外，GeoGebra还可以进行统计学和概率学的计算，例如绘制直方图、箱线图、概率分布函数等等。它还可以进行动态几何学的学习和教学，例如绘制动态图形、进行动态演示、进行几何变换等等。GeoGebra还有一个非常好的特点，就是可以将绘制的图形和计算结果导出为图片、PDF、HTML等格式，方便与他人分享和交流。同时，GeoGebra还有一个庞大的用户社区和教学资源库，可以方便用户学习和教学。总的来说，GeoGebra是一款非常优秀的数学软件，它可以满足学生、教师、研究人员等多种需求，是一款非常值得推荐的数学工具。

section7

Scilab

Scilab是一款免费的科学计算软件，它可以用于数值分析、信号处理、控制系统、仿真和数据可视化等领域。Scilab可以在Windows、Mac和Linux系统上运行，并且支持多种语言。Scilab的功能非常强大，它可以进行各种数学计算，包括线性代数、矩阵运算、数值积分、微积分、常微分方程、最优化、信号处理、控制系统等等。Scilab还支持多种数据结构，包括向量、矩阵、多项式、有理函数、符号表达式等等。除此之外，Scilab还拥有一些高级功能，例如模型预测控制、卡尔曼滤波、小波分析等等。同时，Scilab还可以进行数据可视化，例如绘制二维和三维图形、制作动画、绘制等高线图等等。Scilab还有一个非常好的特点，就是可以通过编写Scilab脚本来扩展其功能。用户可以使用Scilab脚本进行复杂计算、编写自己的函数和程序、进行数据分析和可视化等等。总的来说，Scilab是一款非常优秀的科学计算软件，它可以满足科学研究、工程设计、教学等多种需求。Scilab拥有良好的用户社区和教学资源库，可以方便用户学习和使用。

section8

SageMath

SageMath 起初的定位为开源教学软件。利用 Python 集成了SciPy 的数值运算、 R 的统计和 Maxima 的符号计算。后来，随着 Python 生态越来越强大，SymPy（符号计算）和 SciPy （统计概率）已经占据主导，同时 cvxpy（凸优化）和 cryptography（密码学）和 gmpy2（数论）也进行了很好的封装。功能上，已经覆盖了大学数学的方方面面。当然，囿于 Python 的一些能力，SageMath 在微分方程方面还是不大行，比如没法直接求解延迟微分方程（DDE）；非凸优化还做不了，也不包含启发式算法等等。由于 SageMath 涵盖的不少库是基于 C 封装的，所以在 Windows 上运行是需要构建一个虚拟的 C 环境的，这个类似 Windows 上的 Git Bash。如果主要学习数学理论的话，SageMath 是一个很好的软件。如果题主想做点项目进行实战的话，个人还是推荐 Python 的各主流库。

section9

ANSYS

ANSYS是一款广泛应用于工程领域的有限元分析软件，它可以用于结构力学、流体力学、电磁场、声学、热分析等领域的计算和模拟。ANSYS可以在Windows、Mac和Linux系统上运行，并且支持多种语言。ANSYS的功能非常强大，它可以进行各种工程计算和仿真，包括有限元分析、多体动力学、多物理场仿真、优化设计等等。ANSYS还拥有一些高级功能，例如非线性分析、疲劳分析、复合材料分析、多相流分析等等。同时，ANSYS还可以进行数据可视化，例如绘制图形、制作动画、绘制等高线图等等。除此之外，ANSYS还拥有其他一些特点。例如，ANSYS可以进行参数化设计，帮助用户进行优化设计和快速原型开发。ANSYS还可以与其他软件进行集成，例如CAD软件、CAM软件、PLM软件等等。ANSYS还拥有庞大的用户社区和教学资源库，可以方便用户学习和使用。总的来说，ANSYS是一款非常优秀的工程分析软件，它可以满足工程师、科学家、研究人员等多种需求，是一款非常值得推荐的工程工具。

section10

LINGO

LINGO是一款广泛应用于线性规划、整数规划、非线性规划、动态规划等领域的优化软件。LINGO可以在Windows、Mac和Linux系统上运行，并且支持多种语言。LINGO的功能非常强大，它可以进行各种优化计算，包括线性规划、整数规划、非线性规划、动态规划、多目标规划等等。LINGO还支持多种算法，例如单纯形法、内点法、分支定界法、遗传算法等等。LINGO还可以进行灵敏度分析，帮助用户了解模型的稳定性和可行性。除此之外，LINGO还拥有其他一些特点。例如，LINGO可以进行模型建立和求解、可视化和数据分析等等。LINGO还可以与其他软件进行集成，例如Excel、MATLAB、R等等。LINGO还拥有庞大的用户社区和教学资源库，可以方便用户学习和使用。总的来说，LINGO是一款非常优秀的优化软件，它可以满足科学家、工程师、研究人员等多种需求，是一款非常值得推荐的优化工具。

section11

Mathcad

Mathcad是美国PTC公司旗下的一款工程计算软件，作为工程计算的全球标准，与专有的计算工具和电子表格不同，Mathcad 允许工程师利用详尽的应用数学函数和动态、可感知单位的计算来同时设计和记录工程计算。独特的可视化格式和便笺式界面将直观、标准的数学符号、文本和图形均集成到一个工作表中。Mathcad采用接近在黑板上写公式的方式让用户表述所要求解的问题，通过底层计算引擎计算返回结果并显示在屏幕上。计算过程近似透明，使用户专注于对问题的思考而不是繁琐的求解步骤。

The end

参考文献

1，介绍几个开源数学软件 - 知乎 (zhihu.com)

2，https://www.zhihu.com/question/513193196/answer/2323774075

3，www.google.com