共 27 条
[3]
Boutry P., 2017, J SYMB COMPUT, P23
[6]
Chou S.C, 1988, MECH GEOMETRY THEORE
[10]
Liu Q., 2012, COMPUTER SCI, V39, P503