Prefer a chat interface with context about you and your work?
Finding zeroes of maps: homotopy methods that are constructive with probability one
We illustrate that most existence theorems using degree theory are in principle relatively constructive. The first one presented here is the Brouwer Fixed Point Theorem. Our method is "constructive with probability one" and can be implemented by computer. Other existence theorems are also proved by the same method. The approach …