代数计算及定理机器证明的理论研究与软件开发
基本信息
批准号：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
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
3
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
4
卫生系统韧性研究概况及其展望
卫生系统韧性研究概况及其展望
DOI：10.16506/j.1009-6639.2018.11.016
发表时间：2018
5
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
DOI：10.7544/issn1000-1239.2018.20170425
发表时间：2018
李廉的其他基金
批准号：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
项目类别：面上项目