Gaussian integer is one of basic algebraic integers. In this article we formalize some definitions about Gaussian integers [27]. We also formalize ring (called Gaussian integer ring), Z-module andâ€¦ (More)

In this paper, we introduce formal definitions and theorems in the Mizar proof checking system for the Gaussian integer ring and the Z-module constructed from Gaussian integers, as well as forâ€¦ (More)

In this article, we formalize operations of points on an elliptic curve over GF(p). Elliptic curve cryptography [7], whose security is based on a difficulty of discrete logarithm problem of ellipticâ€¦ (More)