中国科学院数学与系统科学研究院期刊网
JSSC
REPRESENTATION AND AUTOMATED TRANSFORMATION OF GEOMETRIC STATEMENTS
CHEN Xiaoyu
REPRESENTATION AND AUTOMATED TRANSFORMATION OF GEOMETRIC STATEMENTS
CHEN Xiaoyu
Journal of Systems Science and Complexity . 2014, (2): 382 -412 .  DOI: 10.1007/s11424-014-0316-0