@article{oai:soar-ir.repo.nii.ac.jp:00018406,
 author = {Okazaki, Hiroyuki and Aoki, Yosiki and Shidama, Yasunari},
 issue = {2},
 journal = {Formalized Mathematics},
 month = {Jun},
 note = {Article, Formalized Mathematics. 20(2): 175-179 (2012)},
 pages = {175--179},
 title = {Extended Euclidean Algorithm and CRT Algorithm},
 volume = {20},
 year = {2012}
}