代数计算及定理机器证明的理论研究与软件开发
基本信息
批准号：68973030
项目类别：面上项目
资助金额：3.50
负责人：李廉
学科分类：
依托单位：兰州大学
批准年份：1989
结题年份：1992
起止时间：1990-01-01 - 1992-12-31
项目状态： 已结题
项目参与者：李慧陵,刘义循,王水汀,赵英
关键词：
定理机器证明数学研究辅助系统代数计算
结项摘要
本课题研究多元多项式环,模等代数系统的机器符号计算与机器定理证明的可行性与复杂性理论,并开发相应的应用软件,它的直接目的是为代数学工作者在问题研究中提供一个有效的辅助工具,以提高效率和速度,同时探索用人机交互方式发现代数新定理的可能性.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
EBPR工艺运行效果的主要影响因素及研究现状
EBPR工艺运行效果的主要影响因素及研究现状
DOI：10.16796/j.cnki.1000-3770.2022.03.003
发表时间：2022
2
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
3
新型树启发式搜索算法的机器人路径规划
新型树启发式搜索算法的机器人路径规划
DOI：10.3778/j.issn.1002-8331.1903-0411
发表时间：2020
4
智能煤矿建设路线与工程实践
智能煤矿建设路线与工程实践
DOI：10.13199/j.cnki.cst.2020.07.010
发表时间：2020
5
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
李廉的其他基金
批准号：60473095
批准年份：2004
资助金额：26.00
项目类别：面上项目
批准号：69573013
批准年份：1995
资助金额：7.00
项目类别：面上项目
批准号：69273034
批准年份：1992
资助金额：5.00
项目类别：面上项目
批准号：61370219
批准年份：2013
资助金额：73.00
项目类别：面上项目
批准号：61073193
批准年份：2010
资助金额：35.00
项目类别：面上项目
批准号：90612016
批准年份：2006
资助金额：160.00
项目类别：重大研究计划
相似国自然基金
1
数学定理机器证明的基础研究与软件开发
批准号：69273034
批准年份：1992
负责人：李廉
学科分类：F0214
资助金额：5.00
项目类别：面上项目
2
定理机器证明
批准号：68973033
批准年份：1989
负责人：刘叙华
学科分类：F0214
资助金额：3.50
项目类别：面上项目
3
几何定理机器证明的代数方法的等价性与完全性
批准号：11671388
批准年份：2016
负责人：李洪波
学科分类：A0605
资助金额：48.00
项目类别：面上项目
4
非Tarski模型定理机器证明
批准号：61070048
批准年份：2010
负责人：郁文生
学科分类：F0201
资助金额：30.00
项目类别：面上项目