On roots of polynomials and algebraically closed fields

DOI10.1515/forma-2017-0018zbMath1381.13004OpenAlexW2777606786MaRDI QIDQ1688744

Christoph Schwarzweller

Publication date: 11 January 2018

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

Full work available at URL: https://doi.org/10.1515/forma-2017-0018

zbMATH Keywords

polynomialscommutative algebraalgebraic closed fields

Mathematics Subject Classification ID

Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Polynomials over commutative rings (13B25) Mechanization of proofs and logical operations (03B35) Divisibility and factorizations in commutative rings (13A05)

Related Items (4)

Algebraically Closed Fields in Isabelle/HOL ⋮ Quadratic extensions ⋮ Derivation of commutative rings and the Leibniz formula for power of derivation ⋮ Formally real fields

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• Some algebraic properties of polynomial rings
• A Test for the Stability of Networks
• Mizar: State-of-the-art and Beyond

This page was built for publication: On roots of polynomials and algebraically closed fields