Návrh aplikácie reprezentácie nekonečnej aritmetiky : Bakalárska práca - Fabian, Miroslav, 1985- (STU v Bratislave MTF UIAM, 2011)