Brouwer fixed point theorem in the general case

DOI10.2478/V10037-011-0024-3zbMATH Open1276.54037OpenAlexW2086713333MaRDI QIDQ2865745FDOQ2865745

Authors: Karol Pąk 

Publication date: 3 December 2013

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

Full work available at URL: https://doi.org/10.2478/v10037-011-0024-3

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25)

Cites Work

• Semantics of MML query -- ordering

Cited In (4)

• Combining higher-order logic with set theory formalizations
• Using Brouwer’s Fixed Point Theorem
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
• Formal and Natural Proof: A Phenomenological Approach

This page was built for publication: Brouwer fixed point theorem in the general case

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