数学软件下载:9 款免费与开源工具
绿软上标记为「数学」的全部软件,按更新时间排序,每款都有中文介绍、界面截图和下载地址。
Manim
Python数学动画框架
Python数学
2026/10/31
Advanced Trigonometry Calculator
开源三角函数计算器
计算器数学
2026/10/7
primesieve
极速生成和统计质数
命令行数学
2026/9/29
MathLive
网页里显示和输入数学公式的组件
前端数学
2026/9/29
ManimCat
用自然语言生成数学动画
动画数学
2026/9/29
Nomos
数学解题与证明写作的推理框架
大语言模型数学
2026/9/29
Math-To-Manim
从文字和图片生成数学物理动画
动画数学
2026/9/28
MathCode
内置Lean的数学编程Agent
AI Agent数学
2026/9/28
GeoGebra
免费的动态数学工具
在线数学
2026/9/13