帮助用户跨学术数据库进行文献检索、筛选与研究分析的智能工具
Enables creation of new mathematical formulas through symbolic derivation, verification, and step-by-step control, leveraging SymPy for computation and storing results with provenance.
