On monomorphisms and subfields

DOI10.2478/FORMA-2019-0014zbMath1432.68545OpenAlexW2963218298WikidataQ127450689 ScholiaQ127450689MaRDI QIDQ2337333

Christoph Schwarzweller

Publication date: 19 November 2019

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2019-0014

zbMATH Keywords

roots of polynomialsfield extensionsKronecker's construction

Mathematics Subject Classification ID

Algebraic field extensions (12F05) Polynomials in general fields (irreducibility, etc.) (12E05) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (1)

Renamings and a condition-free formalization of Kronecker's construction

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Unnamed Item
• Unnamed Item

This page was built for publication: On monomorphisms and subfields