The Borsuk-Ulam Theorem

DOI10.2478/V10037-012-0014-0zbMath1452.55002OpenAlexW2040311389MaRDI QIDQ2852147

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)

Related Items (1)

Program Algebra over an Algebra

Cites Work

• Fundamental Group of n-sphere for n ≥ 2
• Semantics of MML Query - Ordering
• Unnamed Item

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