机器证明研究及软件包的研制
基本信息
批准号：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
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
2
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
DOI：10.3901/jme.2020.24.219
发表时间：2020
3
时间序列分析与机器学习方法在预测肺结核发病趋势中的应用
时间序列分析与机器学习方法在预测肺结核发病趋势中的应用
DOI：
发表时间：2020
4
基于公司行业结构的哈尔滨跨区域联系网络分析
基于公司行业结构的哈尔滨跨区域联系网络分析
DOI：10.31497/zrzyxb.20200712
发表时间：2020
5
热塑性复合材料机器人铺放系统设计及工艺优化研究
热塑性复合材料机器人铺放系统设计及工艺优化研究
DOI：10.3901/jme.2021.23.209
发表时间：2021
刘卓军的其他基金
批准号：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
项目类别：数学天元基金项目