巴特

• 渐近级数
• Buchberger算法
• 微分代数
• 微分方程对称性
• 爱因斯坦场方程
• 整个函数
• 霍洛维茨还原
• Hurwitz Zeta函数
• 反函数积分
• Landau-Mignotte绑定
• 单项式
• 矿石代数
• Prelle-Singer方法
• 主要理想
• Risch算法
• 根部分离
• 签名
• 无平方因子分解