来源:《大自然探索》1997年第01期 作者:张景中
选择字号

机器证明的回顾与展望

分享到: 分享到QQ空间

机器证明的回顾与展望中国科学院院士中国科学院成都计算机应用研究所研究员张景中机器证明及其应用,是我国攀登计划项目之一。项目核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。实际上,机器证明研究领域的范围要广泛得多。在国外更一般地叫做自...(本文共计4页)       [继续阅读本文]

下载本文订阅本刊

相关文章推荐

大自然探索杂志1997年第01期
大自然探索
主办:四川科学技术出版社有限公司
出版:大自然探索杂志编辑部
出版周期:月刊
出版地:四川省成都市

本期目录