Ordered rings and fields

DOI10.1515/forma-2017-0006zbMath1365.12006OpenAlexW2614270863MaRDI QIDQ2356939

Christoph Schwarzweller

Publication date: 7 June 2017

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

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

zbMATH Keywords

positive conescommutative algebraordered fields

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Ordered rings, algebras, modules (06F25) Ordered fields (12J15) Ordered rings (13J25)

Related Items (1)

Formally real fields

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Lectures on formally real fields
• Semantics of MML Query - Ordering
• Unnamed Item
• Unnamed Item

This page was built for publication: Ordered rings and fields