A
licenseB
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.
82
4
Apache 2.0
Matching MCP tools: