代理的纯数学：搜索示例和反例，精确计算
morluto/jacobian · 技能
代理的纯数学：搜索示例和反例，精确计算，并独立检查结果证明了什么。
★ 186GitHub 星标
9分支
2026-08-15最近更新
Python开发语言
MIT许可证
主要功能
- 多项式映射和多项式代数
- 文档主页 — 教程、操作指南、参考、 和解释
- 精确的线性代数
- 图形、路径、着色和同构
- 有界 SAT 和 SMT 求解
安装命令
dsh plugin --profile web add github:morluto/jacobian