Simple extensions

From MaRDI portal

Publication:6557125

Jump to:navigation, search

DOI10.2478/forma-2023-0023zbMath1540.68297MaRDI QIDQ6557125

Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller

Publication date: 18 June 2024

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

zbMATH Keywords

primitive element field theory intermediate field simple extension

Mathematics Subject Classification ID

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

This page was built for publication: Simple extensions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6557125&oldid=40085519"