数学软件与在线工具
对计算机学生来说，数学工具不是“解题 app 列表”，而是学习、验证、可视化、推导、实验和写作的工作流。这里按 计算 / 可视化 / 符号推导 / 数值实验 / 文档排版 来推荐。
最值得长期使用的工具
1. LaTeX
定位：数学写作标准工具
适合做什么：写证明、作业、笔记、论文、公式排版
为什么必须学：一旦进入理论 CS、ML、概率、优化，LaTeX 基本是硬技能
推荐环境：Overleaf、VS Code + LaTeX Workshop
2. Jupyter Notebook / JupyterLab
定位：数值实验与教学笔记平台
适合做什么：线代计算、概率模拟、数值方法实验、可视化
为什么重要：几乎所有现代 ML / 科学计算都能直接接上
推荐语言：Python，必要时 Julia
3. Wolfram Mathematica
定位：高阶符号计算和可视化平台
适合做什么：符号推导、积分、ODE/PDE、几何绘图、快速验证
优点：非常强大，适合做复杂推导和原型验证
缺点：商业软件，学习成本不算低
4. MATLAB
定位：经典工程计算平台
适合做什么：线代、数值分析、控制、信号处理、优化实验
优点：课程资源多，很多教材默认支持
缺点：在现代 CS 工作流里常被 Python / Julia 替代
5. Python 科学计算栈
核心库：NumPy、SciPy、SymPy、matplotlib、pandas
适合做什么：几乎所有 CS 数学实验
为什么最实用：和后续 AI / ML / 数据 / 系统实验完全统一
建议：如果只能选一套工具，优先这套
很适合课堂和自学的工具
GeoGebra
定位：交互式几何与微积分可视化
适合做什么：函数图像、几何构造、曲线曲面直观理解
适合人群：微积分和几何直觉较弱的学习者
官网：GeoGebra
Desmos
定位：轻量级在线绘图
适合做什么：快速画函数、可视化参数变化
优点：上手极快
官网：Desmos
SageMath
定位：开源数学计算系统
适合做什么：代数、数论、组合、线代、符号计算
优点：免费且覆盖面广
官网：SageMath
Maxima
定位：开源符号计算系统
适合做什么：积分、泰勒展开、方程、矩阵、ODE
优点：老牌、免费
官网：Maxima
解题型工具怎么用
Microsoft Math Solver / Mathway / Photomath
定位：快速查看步骤和结果
优点：上手快，适合检查计算错误
缺点：非常容易让人停留在“会抄步骤”，不理解概念
建议：只作为验算工具，不要作为主要学习方式
不同方向怎么选
学离散数学 / 理论 CS：LaTeX + SageMath
学微积分 / 线代基础：GeoGebra + Desmos + Jupyter
学概率 / 数值分析 / 优化：Python 科学计算栈 + Jupyter
学控制 / 信号 / 数值算法：MATLAB 或 Python
做复杂符号推导：Mathematica 或 SymPy
最实用的最小组合
如果你不想装太多东西，最推荐的起步组合是：
Overleaf：写数学
Jupyter + Python：做计算实验
Desmos 或 GeoGebra：做图形直觉