中国科学院数学与系统科学研究院期刊网
JSSC
Automated Theorem Proving Practice with Null Geometric Algebra
LI Hongbo
Automated Theorem Proving Practice with Null Geometric Algebra
LI Hongbo
Journal of Systems Science and Complexity . 2019, (1): 95 -123 .  DOI: 10.1007/s11424-019-8354-2