Have a personal or library account? Click to login
Renamings and a Condition-free Formalization of Kronecker’s Construction Cover

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

Formalized Mathematics
Volume 28 (2020): Issue 2 (July 2020)
By: Christoph Schwarzweller  
Open Access
|Jan 2021

Metrics

DOI: https://doi.org/10.2478/forma-2020-0012 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 129 - 135
Accepted on: May 19, 2020
Published on: Jan 9, 2021
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
roots of polynomials,
field extensions,
Kronecker’s construction
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics

© 2021 Christoph Schwarzweller, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Volume 28 (2020): Issue 2 (July 2020)Next article