Formally real fields

DOI10.1515/forma-2017-0024zbMath1401.12003OpenAlexW2794816057MaRDI QIDQ1795559

Christoph Schwarzweller

Publication date: 16 October 2018

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

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

zbMATH Keywords

formally real fieldssquare rootsordered fieldsabstract value

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Ordered fields (12J15)

Related Items

Quadratic extensions

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Characteristic of rings. Prime fields
• Four decades of {\textsc{Mizar}}. Foreword
• Lectures on formally real fields
• On roots of polynomials and algebraically closed fields
• Ordered rings and fields
• Mizar: State-of-the-art and Beyond