The Borsuk-Ulam theorem

DOI10.2478/V10037-012-0014-0zbMATH Open1452.55002OpenAlexW2040311389MaRDI QIDQ2852147FDOQ2852147

Authors: Artur Korniłowicz, Marco Riccardi 

Publication date: 8 October 2013

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

Full work available at URL: https://doi.org/10.2478/v10037-012-0014-0

Mathematics Subject Classification ID

Fixed points and coincidences in algebraic topology (55M20) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Title not available (Why is that?)
• Semantics of MML query -- ordering
• Fundamental group of \(n\)-sphere for \(n \geq 2\)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Borel's normal number theorem
• The Mazur-Ulam theorem
• Program algebra over an algebra
• The Banfi-Filatov theorem
• Title not available (Why is that?)

This page was built for publication: The Borsuk-Ulam theorem

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