An intuitionist correction of the fixed-point theorem on the sphere
From MaRDI portal
Publication:5811780
DOI10.1098/rspa.1952.0106zbMath0046.40902MaRDI QIDQ5811780
Publication date: 1952
Published in: Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1098/rspa.1952.0106
Related Items
Brouwer's \(\epsilon\)-fixed point and Sperner's lemma, Some computational methods for systems of nonlinear equations and systems of polynomial equations, Algorithmic foundations of computable general equilibrium theory