Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar.

Yuichi Futa, Daichi Mizushima, Hiroyuki Okazaki

Browse the full ISITA paper archive.