位置：立项数据库 > 立项详情页
计算机辅助证明用整多元多项式分解算法及有关理论应用
  • 项目名称：计算机辅助证明用整多元多项式分解算法及有关理论应用
  • 项目类别：面上项目
  • 批准号：18971032
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：黄文奇
  • 依托单位：华中科技大学
  • 批准年度：1989
黄文奇的项目
计算复杂性的理论和应用
期刊论文 3 获奖 2 著作 1
几何布局工作计算机辅助设计核心算法及ＣＡＤ实现方案
等圆及长方体Packing与一般NP难度问题的高效能求解- - - - 拟物拟人算法
期刊论文 27