Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: algebraic integers

Sortuj według:

Ogranicz wyniki do:

Gaussian Integers

100%

Futa Y., Okazaki H., Mizushima D., Shidama Y.

Formalized Mathematics

2013

tom 21

nr 2

115-125

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 Z-algebra generated by Gaussian integer mentioned above. Moreover, we formalize some definitions about Gaussian rational numbers and Gaussian rational number field. Then we prove that the Gaussian rational number field and a quotient field of the Gaussian integer ring are isomorphic.

Ograniczanie wyników

1 Formalized Mathematics

1 Futa Y.

1 Mizushima D.

1 Okazaki H.

1 Shidama Y.

1 2013

Wyniki wyszukiwania

Gaussian Integers