Quadratic extensions

DOI10.2478/FORMA-2021-0021zbMath1494.68305OpenAlexW4285326349MaRDI QIDQ2171526

Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller

Publication date: 9 September 2022

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

Full work available at URL: https://doi.org/10.2478/forma-2021-0021

zbMATH Keywords

quadratic polynomialsquadratic extensionsfield extensions

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Characteristic of rings. Prime fields
• The role of the Mizar mathematical library for interactive proof development in Mizar
• On roots of polynomials and algebraically closed fields
• Formally real fields
• Field extensions and Kronecker's construction
• Mizar: State-of-the-art and Beyond
• Galois theory

This page was built for publication: Quadratic extensions