中国科学院数学与系统科学研究院期刊网
ORDERING IN AUTOMATED THEOREMPROVING OF DIFFERENTIAL GEOMETRY
李洪波程民德
ORDERING IN AUTOMATED THEOREM PROVING OF DIFFERENTIAL GEOMETRY
LI HONGBO
应用数学学报 . 1998, (4): 0 -0 .  DOI: 10.12387/C1998141