mathematics

用多种编程语言实现的各种算法与数据结构存储库。

:triangular_ruler: Python 中的数值积分（求积、多维求积）

放弃尝试。

lambdaworks 提供 SNARKs 与 STARKs 证明器的实现，并具备灵活运用其个别组件来构建自定义 SNARKs 的能力。

一个数学题目生成器，旨在为自学学生和教学机构提供轻松获取符合其需求的高质量自动生成数学题目的渠道。

用于交互式（数学）内容的 JavaScript 框架。

Python 的 3D 变换库

:1234: 比特、字节与通用计算器

:spider_web: CGAL 网格化工具的 Python 接口

GNU TeXmacs SVN 镜像

:spider_web: 网格优化、网格平滑。

igraph R 软件包

Mogan STEM 套件（基于 GNU TeXmacs）：享受探索科学与技术的乐趣！

图论交互式可视化工具。

Lean 定理证明界面，提供如同纸笔书写般的证明体验。

人工智能数学基础的实用指南

建立基础加减乘除练习题与答案卷

muparser 是一个适用于 C/C++ 的快速数学解析器库，支持（可选）OpenMP。

函数群：JS 中的组合子、Lambda 演算与邱奇编码

拥有众多 Manim 用户与内容创作者的数据库

一个用于代数、几何与数论计算的综合性开源计算机代数系统

一系列关于数学、算法与程序设计的互动式教学、演示与测验。