Implementace posloupností polynomiálních zbytků a modulárního algoritmu, a to jak pro polynomy jedné proměnné, tak pro polynomy více proměnných. Srovnání časové složitosti obou algoritmů jak teoreticky, tak měřením na několika typech náhodných dat. Pro modulární algoritmus analýza výběru smolného prvočísla. Vycházet lze buď z vlastní implementace, nebo z implementace v knihovně NTL. Těžištěm práce by měly být experimenty s náhodnými daty a jejich statistické vyhodnocení.
Seznam odborné literatury
Joachim von zur Gathen, Jürgen Gerhard, Modern Computer Algebra, Cambridge University Press, Cambridge 1999,
K. O. Geddes, S. R. Czapor, G. Labahn, Algorithms for Computer Algebra, Kluwer Academic Publishers, Boston 1992,
a další dle pokynů vedoucího práce
Předběžná náplň práce
NSD celočíselných polynomů - algoritmy a složitost.
Předběžná náplň práce v anglickém jazyce
GCD of integer polynomials - algorithms and complexity.