科研领域

• 计算机代数
• 消去法
• 特征列与三角化分解
• Gröbner基      
• 代数方程求解
• 计算交换代数与代数几何
• 计算微分代数
• 符号与数值混合计算
• 几何推理与计算
• 几何定理的机器证明
• 几何知识管理
• 动态几何作图
• 几何软件的设计与实施
• 几何约束求解
• 计算机辅助分析
• 微分系统的消元与分解
• 微分方程的定性分析
• 生物系统的分析与模拟