Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar. - Yuichi Futa; Daichi Mizushima; Hiroyuki Okazaki (ISITA, 2012)

Operations of Points on Elliptic Curve in Projective Coordinates. - Yuichi Futa; Hiroyuki Okazaki; Daichi Mizushima; Yasunari Shidama (Formaliz. Math., 2012)

Gaussian Integers. - Yuichi Futa; Hiroyuki Okazaki; Daichi Mizushima; Yasunari Shidama (Formaliz. Math., 2013)