Renamings and a Condition-free Formalization of Kronecker’s Construction

Data publikacji: 09 sty 2021

Zakres stron: 129 - 135

Przyjęty: 19 maj 2020

DOI: https://doi.org/10.2478/forma-2020-0012

Słowa kluczowe

roots of polynomials, field extensions, Kronecker’s construction

© 2020 Christoph Schwarzweller, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.