Software & Data

As part of my research, I routinely produce mathematical research data and contribute to mathematical software packages.

Conditional-Independence.net

The Conditional-Independence.net (CInet) is an online repository for research data related to conditional independence structures. Its features include:

Research data repositories are available as git repositories with full commit history.
The process generating research data for each project is fully documented and automated via Docker containers.
A Docker build recipe and ready-made containers for the associated software suite CInet::Tools is available for download.

I am maintaining both the website and the CInet::Tools. Some packages, like CInet::ManySAT which bundles a collection of SAT solvers, are useful beyond the scope of conditional independence. It can be used to count or enumerate any type of combinatorial object with a “propositional” description.

OSCAR

OSCAR is a new computer algebra system which ties together more specialized software systems (GAP, Singular, Polymake, FLINT and more) into a common framework.

Together with Benjamin Hollering and Marine Garrote-López I am developing the Algebraic Statistics module.