Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: algebraic number

Sortuj według:

Ogranicz wyniki do:

Algebraic Numbers

100%

Watase Y.

Formalized Mathematics

2016

tom 24

nr 4

291-299

This article provides definitions and examples upon an integral element of unital commutative rings. An algebraic number is also treated as consequence of a concept of “integral”. Definitions for an integral closure, an algebraic integer and a transcendental numbers [14], [1], [10] and [7] are included as well. As an application of an algebraic number, this article includes a formal proof of a ring extension of rational number field ℚ induced by substitution of an algebraic number to the polynomial ring of ℚ[x] turns to be a field.

Ograniczanie wyników

1 Formalized Mathematics

1 Watase Y.

1 2016

Wyniki wyszukiwania

Algebraic Numbers