计算机辅助证明用整多元多项式分解算法及有关理论应用

批准号：

18971032

项目类别：

面上项目

资助金额：

2.0 万元

负责人：

黄文奇

依托单位：

华中科技大学

学科分类：

离散优化

结题年份：

1993

批准年份：

1989

项目状态：

已结题

项目参与者：

曾宪式、廖晓昕、李庆华

关键词：

计算复杂性整系数多项式计算机辅助证明

黄文奇的其他基金

相似基金

相关文献

等圆及长方体Packing与一般NP难度问题的高效能求解- - - - 拟物拟人算法

批准号：

60773194
项目类别：

面上项目
资助金额：

27.0万元
批准年份：

2007
负责人：

黄文奇
依托单位：

华中科技大学

计算复杂性的理论和应用

批准号：

19331051
项目类别：

重点项目
资助金额：

4.0万元
批准年份：

1993
负责人：

黄文奇
依托单位：

华中科技大学

几何布局工作计算机辅助设计核心算法及ＣＡＤ实现方案

批准号：

68973041
项目类别：

面上项目
资助金额：

3.0万元
批准年份：

1989
负责人：

黄文奇
依托单位：

华中科技大学

国内基金

海外基金