机器证明研究及软件包的研制
基本信息
批准号：19001034
项目类别：青年科学基金项目
资助金额：1.00
负责人：刘卓军
学科分类：
依托单位：中国科学院数学与系统科学研究院
批准年份：1990
结题年份：1993
起止时间：1991-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.3778/j.issn.1002-8331.1903-0411
发表时间：2020
2
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
3
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
DOI：10.13973/j.cnki.robot.210412
发表时间：2022
4
空中交通延误预测研究综述
空中交通延误预测研究综述
DOI：10.12305/j.issn.1001-506x.2022.03.19
发表时间：2022
5
耐磨钢铁材料中强化相设计与性质计算研究进展
耐磨钢铁材料中强化相设计与性质计算研究进展
DOI：10.7502/j.issn.1674-3962.201906027
发表时间：2019
刘卓军的其他基金
批准号：10371127
批准年份：2003
资助金额：13.00
项目类别：面上项目
相似国自然基金
1
机器证明与机器发明
批准号：18670560
批准年份：1986
负责人：吴文俊
学科分类：A0605
资助金额：15.00
项目类别：面上项目
2
定理机器证明
批准号：68973033
批准年份：1989
负责人：刘叙华
学科分类：F0214
资助金额：3.50
项目类别：面上项目
3
点几何及其机器证明
批准号：11701118
批准年份：2017
负责人：邹宇
学科分类：A0605
资助金额：23.00
项目类别：青年科学基金项目
4
特殊函数恒等式的机器证明与组合证明
批准号：11026172
批准年份：2010
负责人：孙慧
学科分类：A0408
资助金额：3.00
项目类别：数学天元基金项目