科研领域

      计算机代数

  • 算法消去理论
  • 特征与三角分解
  • Gröbner 基
  • 代数方程求解
  • 计算交换代数与代数几何
  • 计算微分代数
  • 符号与数值混合计算

      几何推理与计算

  • 几何定理的机器证明
  • 几何知识的管理与发现
  • 动态几何作图
  • 几何软件的设计与实施
  • 几何约束求解
  • 智能机器人

      计算机辅助分析

  • 微分系统的消元与分解
  • 微分方程的定性分析
  • 生物系统的分析与模拟