Brouwer Fixed Point Theorem in the General Case
From MaRDI portal
Publication:2865745
DOI10.2478/v10037-011-0024-3zbMath1276.54037OpenAlexW2086713333MaRDI QIDQ2865745
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
Related Items (3)
Formal and Natural Proof: A Phenomenological Approach ⋮ Combining higher-order logic with set theory formalizations ⋮ Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
Cites Work
This page was built for publication: Brouwer Fixed Point Theorem in the General Case
