Journal of automated reasoning. 2000;25(3):219-246. doi: 10.1023/a:1006171315513 Q40.72025

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

一种基于演绎数据库的几何定理自动证明与发现方法

DOI: 10.1023/a:1006171315513

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！