科学研究 >> 科研领域 
 
 
 


科研领域

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