Brouwer fixed point theorem in the general case

DOI10.2478/V10037-011-0024-3MaRDI QIDQ2865745zbMATH OpenOpenAlexFDO

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)