Journal of automated reasoning. 1998;21(1):1-21. doi: 10.1023/a:1005819428156 Q40.92025

Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry

微分几何中自动定理证明的克利福德代数约简方法

DOI: 10.1023/a:1005819428156

摘要 查看摘要

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