计算机辅助证明用整多元多项式分解算法及有关理论应用
基本信息
批准号：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.16285/j.rsm.2019.1280
发表时间：2019
2
宽弦高速跨音风扇颤振特性研究
宽弦高速跨音风扇颤振特性研究
DOI：
发表时间：2021
3
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
DOI：10.11999/JEIT210095
发表时间：2021
4
不同坡度及植被覆盖度下的坡面流特性数值模拟
不同坡度及植被覆盖度下的坡面流特性数值模拟
DOI：10.13870/j.cnki.stbcxb.2022.03.006
发表时间：2022
5
基于细观复合材料的寒区混凝土导热系数模型
基于细观复合材料的寒区混凝土导热系数模型
DOI：
发表时间：2020
黄文奇的其他基金
批准号：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
项目类别：面上项目