BrouwerFixedPoint Alternatives
Similar projects and alternatives to BrouwerFixedPoint
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better BrouwerFixedPoint alternative or higher similarity.
BrouwerFixedPoint reviews and mentions
Posts with mentions or reviews of BrouwerFixedPoint.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-09-05.
- What Are You Working On? September 05, 2022
-
What Are You Working On? August 01, 2022
I've been working on some algebraic topology in Lean. So far I've got the excision and homotopy invariance axioms, and all I have left for my project is to inductively calculate the homology of the sphere and deduce the Brouwer Fixed Point theorem. See https://github.com/Shamrock-Frost/BrouwerFixedPoint
Stats
Basic BrouwerFixedPoint repo stats
2
14
5.9
10 months ago
The primary programming language of BrouwerFixedPoint is Lean.
Popular Comparisons
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com