数学

数学理论与方法:符号计算、优化、形式化验证与 AI 辅助推导