标签: 数学

7 条结果

primesieve

极速生成和统计质数

数学命令行

MathLive

网页里显示和输入数学公式的组件

ManimCat

用自然语言生成数学动画

Nomos

数学解题与证明写作的推理框架

数学大语言模型

Math-To-Manim

从文字和图片生成数学物理动画

MathCode

内置Lean的数学编程Agent

GeoGebra

免费的动态数学工具