Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Free
Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold.
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas