OpenDreamKit's core strategy is to support, improve, and integrate software components already in active use by the mathematical research and education communities, ranging from computational mathematics software to general purpose e-infrastructure software such as user interfaces. This strategy fosters the emergence of a **flexible toolkit** whose components can be assembled in many ways to serve a large variety of use cases, in mathematics and beyond. See below a collection of software OpenDreamKit has contributed to and details about our contributions.

## Our main software

Download -- OpenDreamKit activities

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory.

Download -- OpenDreamKit activities

JOOMMF integrates the popular micromagnetic simulation package OOMMF with Python and Jupyter.

Download -- OpenDreamKit activities

Project Jupyter is an open source project, born out of the IPython Project in 2014 as it evolved to support interactive data science and scientific computing across all programming languages.

The LMFDB is an extensive database of mathematical objects arising in Number Theory.

Download -- OpenDreamKit activities

Linbox is a C++ template library for exact, high-performance linear algebra computation with dense, sparse, and structured matrices over the integers and over finite fields.

Download -- GitHub -- OpenDreamKit activities

Language and System for the Uniform Representation of Knowledge

Download -- OpenDreamKit activities

MPIR (Multiple Precision Integers and Rationals) is a highly optimised library for bignum arithmetic forked from the GMP bignum library. It is written in assembly language and C.

GitHub -- OpenDreamKit activities

MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics.

Download -- OpenDreamKit activities

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...).

Download -- OpenDreamKit activities

SageMath is a free open-source mathematics software system licensed under the GPL. Its mission is to create a viable free open source alternative to Magma, Maple, Mathematica and Matlab.

Download -- OpenDreamKit activities

Singular is a computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.