Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Formally real fields

From MaRDI portal
Publication:1795559
Jump to:navigation, search

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
Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1795559&oldid=14147162"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 09:32.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki