北京航空航天大学

数学科学学院



English

  • 网站主页
  • 新闻动态
  • 中心成员
  • 科学研究
    • 科研领域
    • 科研论著
    • 软件研发
  • 学术活动
    • 学术会议
    • 学术交流
    • 学术报告
    • 人才培养
      • 招生信息
      • 联合培养
    • 关于我们
      • FAQ
      • 联系我们
    • 下载信息
      • 软件下载
      • 论文下载
    • 相关链接

科研领域

      计算机代数

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

      几何推理与计算

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

      计算机辅助分析

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

科学研究

  • 科研领域
  • 科研论著
  • 软件研发

学术活动

  • 学术会议
  • 学术交流
  • 学术报告
  • 人才培养

    • 招生信息
    • 联合培养

下载信息

  • 论文下载
  • 软件下载
  • ©cc4cm 2019
  • 北京市海淀区学院路37号 • 北京航空航天大学数学科学学院计算机数学交叉研究中心