Brouwer's fixed-point theorem in real-cohesive homotopy type theory.

Michael Shulman

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

fixed point theorem
fixed point
boundary conditions
boundary value problem
continuous functions
sufficient conditions
dynamical systems
image processing
computer vision
input output
belief propagation
differential equations