Topology is a dense forest of counterexamples. A usable map of the forest is a fine thing.
Contributing
π-Base's data and software are open-sourced on GitHub. We rely on volunteers like yourself to contribute new spaces, properties, and theorems.
About Us
The π-Base was founded in 2014 by its lead maintainer James Dabbs. π-Base's lead mathematical editor and contributing research software engineer Steven Clontz joined the project in 2017.
Other Mathematical Databases
Integer sequences: OEIS | L-functions and modular forms: LMFDB | Rings and modules: DaRT | Graphs: HoG
And many more: Catalogue of Mathematical Datasets
The π-Base software was designed to support any category of objects/properties/theorems. If you're interested in adapting π-Base for use in your field, reach out to us on GitHub.
Special Acknowledgements
Many people have contributed to this project, but a few individuals and organizations deserve particular recognition:
- Steen and Seebach for writing the inspiration for this project, Counterexamples in Topology.
- Scott Varagona for his heroic work serializing Counterexamples into the first version of the π-Base.
- Steven and James' graduate advisor, Gary Gruenhage, for all his support and guidance.
- Austin Mohr for his work and feedback using the π-Base as a pedagogical tool and promoting us on Math.StackExchange.
- Funding from the University of South Alabama Faculty Development Council (2017-2018).