Projects
Lean HoG
Lean HoG makes more than 23,000 graphs from the House of Graphs available inside the Lean proof assistant, together with formally verified proofs of selected properties.
- Joint work with Andrej Bauer, Gauvain Devillez and Jure Taslak.
- paper (CICM 2024)
- GitHub (BSD-2-Clause licence)
MathBases
A catalogue of more than 130 mathematical databases.
- With Adam Towsley, Ben Spitz, David Roe, David Lowry-Duda, Benjamin Hutz and Edgar Costa.
- I am a member of the editorial board.
- mathbases.org
- GitHub
This project is the successor of the Catalogue of Mathematical Datasets.
MathDataHub
- Joint project with the KWARC group at FAU Erlangen-Nürnberg.
- GitHub (GPL-3.0 licence)
A semantic portal for mathematical datasets. This project is a successor of DiscreteZOO
Mathswitch
- Joint work with Slobodan Stanojevikj.
- mathswitch.xyz
- GitHub (MIT licence)
Infrastructure for relaying and exchanging mathematical concepts. Mathswitch gathers concepts from sources such as Wikipedia, Wikidata, nLab, MathWorld, and ProofWiki, and links them when they refer to the same idea. It currently aligns more than 40,000 concept entries across 7 sources.
Catalogue of Mathematical Datasets
An earlier project, succeeded by MathBases.
DiscreteZOO
- Joint work with Janoš Vidali.
- discretezoo.xyz
- GitHub
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. I am a member of its steering committee.