Yuichi Futa, Daichi Mizushima, Hiroyuki Okazaki. Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar. In Proceedings of the International Symposium on Information Theory and its Applications, ISITA 2012, Honolulu, HI, USA, October 28-31, 2012. pages 591-595, IEEE, 2012. [doi]
Abstract is missing.