本课题研究多元多项式环,模等代数系统的机器符号计算与机器定理证明的可行性与复杂性理论,并开发相应的应用软件,它的直接目的是为代数学工作者在问题研究中提供一个有效的辅助工具,以提高效率和速度,同时探索用人机交互方式发现代数新定理的可能性.
{{i.achievement_title}}
数据更新时间:2023-05-31
EBPR工艺运行效果的主要影响因素及研究现状
复杂系统科学研究进展
新型树启发式搜索算法的机器人路径规划
智能煤矿建设路线与工程实践
二维FM系统的同时故障检测与控制
数学定理机器证明的基础研究与软件开发
定理机器证明
几何定理机器证明的代数方法的等价性与完全性
非Tarski模型定理机器证明