中国科学院数学与系统科学研究院期刊网
JSSC
AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves
CHOU Shangching;GAO Xiaoshan
AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves
CHOU Shangching;GAO Xiaoshan
Journal of Systems Science and Complexity . 1993, (2): 186 -192 .