Formally real fields

DOI10.1515/FORMA-2017-0024MaRDI QIDQ1795559zbMATH OpenOpenAlexFDO

Authors Christoph Schwarzweller

Publication date 16 October 2018

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

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

zbMATH Keywords

square rootsordered fieldsformally real fieldsabstract value

Mathematics Subject Classification ID

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

Recommendations

• Ordered rings and fields
• Theory of ordered fields
• Extended Artin-Schreier theory of fields
• Orders and order closure for not necessarily formally real fields
• scientific article; zbMATH DE number 3873454

Cites work

• scientific article; zbMATH DE number 195158 (Why is no real title available?)
• scientific article; zbMATH DE number 3201718 (Why is no real title available?)
• Characteristic of rings. Prime fields
• Four decades of \textsc{Mizar}. Foreword
• Lectures on formally real fields
• Mizar: state-of-the-art and beyond
• On roots of polynomials and algebraically closed fields
• Ordered rings and fields

Cited in

(6)

• Extensions of orderings
• Ordered rings and fields
• Theory of ordered fields
• scientific article; zbMATH DE number 558873 (Why is no real title available?)
• Lectures on formally real fields
• Quadratic extensions

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Formally real fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1795559)