Some algebraic properties of polynomial rings

DOI10.1515/forma-2016-0019zbMath1357.12006OpenAlexW2588251761MaRDI QIDQ516748

Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller, Artur Korniłowicz

Publication date: 15 March 2017

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

Full work available at URL: https://doi.org/10.1515/forma-2016-0019

zbMATH Keywords

polynomial ringpolynomialpolynomial GCD

Mathematics Subject Classification ID

Polynomials in general fields (irreducibility, etc.) (12E05) Mechanization of proofs and logical operations (03B35) Arithmetic theory of polynomial rings over finite fields (11T55)

Related Items (2)

Splitting fields ⋮ On roots of polynomials and algebraically closed fields

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Mizar: State-of-the-art and Beyond
• Galois theory

This page was built for publication: Some algebraic properties of polynomial rings