Tìm hiểu một số kết quả đại số để xây dựng thuật toán kiểu Symbolic Computing - Võ, Tiến (Trường Đại học Đà Lạt, 2010)