A
license-
qualityB
maintenanceEnables creation of new mathematical formulas through symbolic derivation, verification, and step-by-step control, leveraging SymPy for computation and storing results with provenance.
Last updated
4
Apache 2.0
Matching MCP tools: