TrueMath

高级生成式数学引擎与精确符号求解器

TrueMath 是一款基于 SymPy 的高级生成式数学引擎，能够生成并验证 100% 精确的数学恒等式、导数与积分。它内置 Dijkstra 算法、线性规划以及 OEIS 序列查询等高级工具，并配有代数沙盒，让研究者可以实时检验自定义规则是否构成有效的群、环或域。