The π-Base model facilitates the curation of peer-reviewed and community-maintained knowledge in mathematics.
Underlying software is available on GitHub.
- DaRT: Database of Ring Theory
- CatDat (category theory)
- Ricerca Matrici per Proprieta (matrix theory)
- Adjectives Project (scheme theory)
See also Terence Tao's MathOverflow post listing crowd-sourced math research projects.
Learn more about mathematical databases at MathBases.org!