中国科学院数学与系统科学研究院期刊网
一个三角不定方程的机器解法
徐嘉, 姚勇
AUTOMATED SOLVING METHODS FOR A TRIGONOMETRIC INDETERMINATE EQUATION
XU Jia, YAO Jia
系统科学与数学 . 2011, (7): 786 -793 .  DOI: 10.12341/jssms11647