Journal of automated reasoning. 2000;25(2):83-121. doi: 10.1023/a:1006182023017 Q40.72025

Vectorial Equations Solving for Mechanical Geometry Theorem Proving

用于机械几何定理证明的向量方程求解

DOI: 10.1023/a:1006182023017

摘要 查看摘要

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