brouwer

Here are 2 public repositories matching this topic...

Kakutani fixed-point theorem and Brouwer fixed-point theorem formalized and proven in Lean 4

lean fixed-points lean4 kakutani theorem-verification brouwer

Find approximate fixed points of bounded vector-valued functions

numpy simplex numerical-methods fixed-point numba hypercube scarf brouwer simplotope

To associate your repository with the brouwer topic, visit your repo's landing page and select "manage topics."