Wolfram Alpha: Wolfram Alpha(也写作“Wolfram|Alpha”,缩写 W|A),是由 Wolfram Research 公司推出的一款在线自动问答系统。其特色是可以直接向用户返回答案,而不是像传统搜索引擎一样提供一系列可能含有用户所需答案的相关网页. 部分数学示例.

Symbolab: Symbolab 是一个由 EqsQuest Ltd. 开发的答案引擎, 可以一步步的展示求解步骤.

GeoGebra: GeoGebra 是一款开源的动态几何代数软件, 其特点为能够建立几何对象并保持它们之间的关系,可以用来快速实现数学上的想法、观察图形变化或者制作简单的动画和教学演示材料。它提供安裝版本和在线版本. 特性:
集几何, 代数和电子表格动态绘制于一体
易用并且功能强大, 交互式学习
多种语言支持, 全球用户数量达数百万
开源软件, 非商业用途免费使用.

Python+Sympy: 强大的符号计算工具包, 开源免费. 可以用来简化表达式, 导数, 极限, 微积分, 以至常微分方程求解和函数二维三维绘图都可以. Sympy 还可以将表达式输出为 $\LaTeX$ 源码, 更多的特性请查看官方文档.
Python+Numpy+Scipy+Matplotlib: 完备的科学计算语言和可视化环境, 开源免费, 强大的社区支持, 适合学习科学计算的学生, 老师, 学者和爱好者.



若干补充:
- tikzplotlib: Python 包, 可以将 Matplotlib 画出的图转成 $\LaTeX$ 代码, 非常方便.
Julia: 开源免费的高性能科学计算语言, 发展非常迅速, Github 斩获了 33691 颗星 (截止 2021/5/17), 正在成为科学计算领域的新宠.
Mathematica: 最强大专业的商业符号计算软件, 应该没有之一.
Matlab.
Scilab, Octave: Matlab 的两个开源替代软件, 强大免费.