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

• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• Fundamental group of \(n\)-sphere for \(n \geq 2\)
• Semantics of MML query -- ordering

Cited in

(7)

• The Mazur-Ulam theorem
• scientific article; zbMATH DE number 2186646 (Why is no real title available?)
• scientific article; zbMATH DE number 2209639 (Why is no real title available?)
• The Banfi-Filatov theorem
• Borel's normal number theorem
• Program algebra over an algebra
• scientific article; zbMATH DE number 890716 (Why is no real title available?)

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)