Luận văn Vài ứng dụng của lý thuyết cơ sở Groebner

(Bản scan) Toán học hình thức (Simbolic computation), hay còn gọi là Đại số máy tính (Computer Algebra), xuất hiện khoảng ba chục năm nay và gần đây đã trở thành một chuyên ngành độc lập. Nó kết hợp chặt chẽ giữa Toán học và Khoa học máy tính. Sự phát triển của máy tính đòi hỏi phải xây dựng các lý thuyết toán học làm cơ sở thiết lập các thuật toán và phần mềm toán học.