Bhatt

• 渐近级数
• Buchberger 算法
• 微分代数
• 微分方程对称性
• 爱因斯坦场方程
• 整函数
• Horowitz 约简
• Hurwitz Zeta 函数
• 反函数积分
• Landau-Mignotte 界限
• 单项式
• Ore 代数
• Prelle-Singer 方法
• 素理想
• Risch 算法
• 根分离
• 符号
• 无平方因子分解