Skip to content
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Servicios bibliotecarios
Temas
Arquitectura y diseño
Artes
Ciencias Sociales
Ciencias de la Información y Bibliotecas, Estudios del Libro
Ciencias de la vida
Ciencias de los materiales
Deporte y tiempo libre
Estudios clásicos y del Cercano Oriente antiguo
Estudios culturales
Estudios judíos
Farmacia
Filosofía
Física
Geociencias
Historia
Informática
Ingeniería
Interés general
Ley
Lingüística y semiótica
Literatura
Matemáticas
Medicina
Música
Negocios y Economía
Química
Química industrial
Teología y religión
Publicaciones
Revistas
Libros
Actas
Editoriales
Journal Matcher
Blog
Contacto
Buscar
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
Formalized Mathematics
Volumen 28 (2020): Edición 2 (Julio 2020)
Acceso abierto
Renamings and a Condition-free Formalization of Kronecker’s Construction
Christoph Schwarzweller
Christoph Schwarzweller
Institute of Informatics, University of Gdańsk
Poland
Buscar este autor en
Sciendo
|
Google Scholar
Schwarzweller, Christoph
09 ene 2021
Formalized Mathematics
Volumen 28 (2020): Edición 2 (Julio 2020)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Descargar portada
Publicado en línea:
09 ene 2021
Páginas:
129 - 135
Aceptado:
19 may 2020
DOI:
https://doi.org/10.2478/forma-2020-0012
Palabras clave
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.
