Faktorisasi polinomial dapat dilakukan dengan berbagai algoritma. Dalam tugas akhir ini, algoritma faktorisasi polinomial yang digunakan dalam algoritma Berlekamp, algoritma Berlekamp prima besar, dan algoritma faktorisasi derajat berbeda. Ketiga algortima ini memiliki spesifikasi input berupa polinomial univariabel monik yang bebas kuadrat. Selanjutnya tahap kedua melakukan faktorisasi lengkap terhadap setiap faktor bebas-kuadrat tersebut menjadi faktor-faktor tak terenduksi dalam domain Golais Field, dengan menggunakan salah satu algoritma faktorisasi di atas. Selanjutnya algoritma Hensel lifting digunakan untuk mengangkat faktor-faktor tersebut ke dalam domain integer. Algoritma Hensel Lifting ini dibangun berdasarkan iterasi Newton. Setiap langkah konstruksi Hensel berfungsi memecahkan persamaan polinomial daophantine yang solusinya berupa suku koreksi. Suku koreksi ini berguna untuk memperoleh pendekatan solusi dalam order yang lebih tinggi. Lemma Hensel menunjukkan bahwa pendekatan solusi tersebut ada dan bersifat unik, yang dijabarkan dalam laporan tugas akhir ini. Seluruh algoritma faktorisasi polinomial dan Hensel Lifting ini diimplementasikan dalam sistem komputasi aljabar Maple V resease 5.1. Uji coba terhadap implementasi tersebut dilakukan pada PC berprosesor Pentium 100 MHz, dengan RAM 16 MB, dan sistem operasi Windows 98. Secara keseluruhan, implementasi faktorisasi dalam domain integer ini telah bekerja dengan benar sehingga dapat menghasilkan yang tepat untuk berbagi polinomial input yang diberikan, dengan rata-rata waktu eksekusinya 4,66 detik.