SGARP中符号计算模块的实现及其应用

Keywords: [可由用户持续发展的几何自动推理平台(SGARP), 几何定理机器证明, 符号计算, Python语言, 质点法, Thebault定理, sustainable geometry automated reasoning platform (SGARP), automated geometry theorem proving, symbolic computation, Python language, mass point method, Thebault's theorem]

Full-Text   Cite this paper   Add to My Lib

Abstract:

可持续发展的几何自动推理平台(sustainable geo..

Full-Text