查找： 关键词为 real algebraic number resultant algorithm symbolic computation 的文献