A Constructive Proof of the Brouwer Fixed-Point Theorem and Computational Results | Synapse