Bhatt

• 漸近級數
• Buchberger 演算法
• 微分代數
• 微分方程對稱性
• 愛因斯坦場方程
• 整函式
• Horowitz 約簡
• Hurwitz Zeta 函式
• 反函式積分
• Landau-Mignotte 界限
• 單項式
• Ore 代數
• Prelle-Singer 方法
• 素理想
• Risch 演算法
• 根分離
• 符號
• 無平方因子分解