Journal of automated reasoning. 1990;6(4):403-417. doi: 10.1007/bf00244356 Q40.72025

Transcendental functions and mechanical theorem proving in elementary geometries

超越函数与初等几何中的机械定理证明

DOI: 10.1007/bf00244356

摘要 查看摘要

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