共 3 条
[1]
机械化数学引论.[M].石赫著;.湖南教育出版社.1998,
[2]
计算机代数基础.[M].张树功等编;.吉林大学出版社.1997,
[3]
几何定理机器证明的基本原理.[M].吴文俊著;.科学出版社.1984,