计算机辅助证明用整多元多项式分解算法及有关理论应用
基本信息
批准号：18971032
项目类别：面上项目
资助金额：2.00
负责人：黄文奇
学科分类：
依托单位：华中科技大学
批准年份：1989
结题年份：1993
起止时间：1990-01-01 - 1993-12-31
项目状态： 已结题
项目参与者：曾宪式,廖晓昕,李庆华
关键词：
计算复杂性整系数多项式计算机辅助证明
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于被动变阻尼装置高层结构风振控制效果对比分析
基于被动变阻尼装置高层结构风振控制效果对比分析
DOI：10.13197/j.eeev.2019.05.95.fuwq.009
发表时间：2019
2
吹填超软土固结特性试验分析
吹填超软土固结特性试验分析
DOI：10.13544/j.cnki.jeg.2014.06.004
发表时间：2014
3
黏弹性正交各向异性空心圆柱中纵向导波的传播
黏弹性正交各向异性空心圆柱中纵向导波的传播
DOI：
发表时间：2019
4
基于卷积神经网络的JPEG图像隐写分析参照图像生成方法
基于卷积神经网络的JPEG图像隐写分析参照图像生成方法
DOI：10.7544/issn1000-1239.2019.20190386
发表时间：2019
5
泾河南塬黄土的渗透特征及孕灾机制
泾河南塬黄土的渗透特征及孕灾机制
DOI：10.13961/j.cnki.stbctb.2019.03.013
发表时间：2019
黄文奇的其他基金
批准号：60773194
批准年份：2007
资助金额：27.00
项目类别：面上项目
批准号：19331051
批准年份：1993
资助金额：4.00
项目类别：重点项目
批准号：11604016
批准年份：2016
资助金额：17.00
项目类别：青年科学基金项目
批准号：68973041
批准年份：1989
资助金额：3.00
项目类别：面上项目
相似国自然基金
1
数学定理计算机辅助证明
批准号：68873002
批准年份：1988
负责人：王攻本
学科分类：F0201
资助金额：3.00
项目类别：面上项目
2
微分多项式分解的算法和理论研究
批准号：11301502
批准年份：2013
负责人：张明波
学科分类：A0410
资助金额：22.00
项目类别：青年科学基金项目
3
多元多项式环的Hermite性质与多项式矩阵的分解
批准号：11471108
批准年份：2014
负责人：刘金旺
学科分类：A0410
资助金额：65.00
项目类别：面上项目
4
证明等式的计算机辅助教学系统
批准号：69673032
批准年份：1996
负责人：李大法
学科分类：F0209
资助金额：10.00
项目类别：面上项目