A constructive version of Sperner's lemma and Brouwer's fixed point theorem.

Published in: Math. Log. Q. (1990)

Keyphrases

fixed point theorem
fixed point
boundary value problem
boundary conditions
continuous functions
sufficient conditions
differential equations
numerical solution
probabilistic model