On roots of polynomials over \(F[X]/<p>\)

DOI10.2478/forma-2019-0010zbMath1432.68544OpenAlexW2962905250MaRDI QIDQ2337329

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-0010

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 (2)

On primary ideals. I ⋮ Renamings and a condition-free formalization of Kronecker's construction

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• The role of the Mizar mathematical library for interactive proof development in Mizar
• The first isomorphism theorem and other properties of rings
• Mizar: State-of-the-art and Beyond

This page was built for publication: On roots of polynomials over \(F[X]/

\)