数学定理计算机辅助证明
基本信息
批准号：68873002
项目类别：面上项目
资助金额：3.00
负责人：王攻本
学科分类：
依托单位：北京联合大学
批准年份：1988
结题年份：1991
起止时间：1989-01-01 - 1991-12-31
项目状态： 已结题
项目参与者：廖章矩,阎淑达,王清贤,林耕,王新民,秦洪
关键词：
计算机辅助定理证明REMSEY数算法分析
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
5
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
王攻本的其他基金
批准号：68673037
批准年份：1986
资助金额：4.00
项目类别：面上项目
批准号：69071919
批准年份：1990
资助金额：5.00
项目类别：面上项目
批准号：69373007
批准年份：1993
资助金额：6.00
项目类别：面上项目
相似国自然基金
1
面向定理证明的计算机并行算法
批准号：69373007
批准年份：1993
负责人：王攻本
学科分类：F0201
资助金额：6.00
项目类别：面上项目
2
数学定理机器证明的基础研究与软件开发
批准号：69273034
批准年份：1992
负责人：李廉
学科分类：F0214
资助金额：5.00
项目类别：面上项目
3
定理机器证明
批准号：68973033
批准年份：1989
负责人：刘叙华
学科分类：F0214
资助金额：3.50
项目类别：面上项目
4
数学定理近似证明的基础研究与应用软件开发
批准号：69573013
批准年份：1995
负责人：李廉
学科分类：F0214
资助金额：7.00
项目类别：面上项目