Extended Euclidean Algorithm and CRT Algorithm. - Hiroyuki Okazaki; Yosiki Aoki; Yasunari Shidama (Formaliz. Math., 2012)