Splitting fields for the rational polynomials \(X^2 -2\), \(X^2+X+1\), \(X^3 -1\), and \(X^3 -2\)

DOI10.2478/FORMA-2022-0003MaRDI QIDQ6489399

Sara Burgoa, Christoph Schwarzweller

Publication date: 22 April 2024

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

zbMATH Keywords

splitting fieldsrational polynomials

Mathematics Subject Classification ID

Algebraic field extensions (12F05) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• Unnamed Item
• The role of the Mizar mathematical library for interactive proof development in Mizar
• On roots of polynomials and algebraically closed fields
• Renamings and a condition-free formalization of Kronecker's construction
• Splitting fields
• Field extensions and Kronecker's construction
• Algebraic extensions
• Mizar: State-of-the-art and Beyond

This page was built for publication: Splitting fields for the rational polynomials \(X^2 -2\), \(X^2+X+1\), \(X^3 -1\), and \(X^3 -2\)