# Math Software

## Gurobi

The **Gurobi** Optimizer is a commercial optimization solver for linear programming (LP), quadratic programming (QP), quadratically constrained programming (QCP), mixed integer linear programming (MILP), mixed-integer quadratic programming (MIQP), and mixed-integer quadratically constrained programming (MIQCP).

### Usage

Version | module |
---|---|

8.1.1 | gurobi/8.1.1 |

11.0.3 | gurobi/11.0.3 |

## Magma

Magma is a large, well-supported software package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides a mathematically rigorous environment for defining and working with structures such as groups, rings, fields, modules, algebras, schemes, curves, graphs, designs, codes and many others. Magma also supports a number of databases designed to aid computational research in those areas of mathematics which are algebraic in nature.

### Usage

Version | module |
---|---|

2.26 | magma_math/2.26 |