课题基金基金详情
计算机辅助证明用整多元多项式分解算法及有关理论应用
批准号：
18971032
项目类别：
面上项目
资助金额：
2.0 万元
负责人：
黄文奇
依托单位：
华中科技大学
学科分类：
A0406.离散优化
结题年份：
1993
批准年份：
1989
项目状态：
已结题
项目参与者：
曾宪式、廖晓昕、李庆华
关键词：
计算复杂性整系数多项式计算机辅助证明
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
等圆及长方体Packing与一般NP难度问题的高效能求解- - - - 拟物拟人算法
  • 批准号：
    60773194
  • 项目类别：
    面上项目
  • 资助金额：
    27.0万元
  • 批准年份：
    2007
  • 负责人：
    黄文奇
  • 依托单位：
    华中科技大学
计算复杂性的理论和应用
  • 批准号：
    19331051
  • 项目类别：
    重点项目
  • 资助金额：
    4.0万元
  • 批准年份：
    1993
  • 负责人：
    黄文奇
  • 依托单位：
    华中科技大学
几何布局工作计算机辅助设计核心算法及ＣＡＤ实现方案
  • 批准号：
    68973041
  • 项目类别：
    面上项目
  • 资助金额：
    3.0万元
  • 批准年份：
    1989
  • 负责人：
    黄文奇
  • 依托单位：
    华中科技大学
国内基金
海外基金