Daichi Mizushima

According to our database, Daichi Mizushima authored at least 3 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Gaussian Integers.

Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama

Formaliz. Math., 2013

2012

Operations of Points on Elliptic Curve in Projective Coordinates.

Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama

Formaliz. Math., 2012

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

Yuichi Futa, Daichi Mizushima, Hiroyuki Okazaki

Proceedings of the International Symposium on Information Theory and its Applications, 2012