Projects

Lean HoG

MathBases

This project is the successor of Catalogue of Mathematical Datasets (GitHub)

MathDataHub

A semantic portal for mathematical datasets.

DiscreteZOO

DiscreteZOO is a repository of graphs and other discrete objects. Various censuses of graphs and other objects exist on the web. DiscreteZOO aims to give them a common home, make them easily accessible and searchable according to some precomputed properties. MathDataHub builds on the ideas from DiscreteZOO.

Code4math

code4math is a professional organization dedicated to the advancement of mathematical research through the development of high-quality sociotechnical infrastructure: software, databases, communities, and more. It was founded as an outcome of the American Institute of Mathematics’ 2023 December workshop on Open-source cyberinfrastructure supporting mathematics research.