中国科学院数学与系统科学研究院期刊网
几何定理机器证明的结式矩阵法
张景中;杨路;侯晓荣
THE SUB-RESULTANT METHOD FOR AUTOMATED THEOREM PROVING
ZHANG JING-ZHONG;YANG LU;HOU XIAO-RONG
系统科学与数学 . 1995, (1): 10 -015 .  DOI: 10.12341/jssms09142