# Packages tagged maths

8 packages have this tag.

[Merge tag] (trustees only)Related tags: library (8), math (5), mathematics (5), data (4), bsd3 (3), formal-methods (2), gpl (2), mpl (2), program (2), theorem-provers (2), algebra (1), data-structures (1), ...

Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|

FiniteCategories | 6 | 0.0 | 0 | Finite categories and usual categorical constructions on them. | (data, gpl, library, maths) | 2023-03-13 | 0.2.0.0 | gsabbagh |

LPPaver | 4 | 0.0 | 0 | An automated prover targeting problems that involve nonlinear real arithmetic | (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification) | 2023-03-13 | 0.0.5.0 | JunaidRasheed |

LargeCardinalHierarchy | 6 | 0.0 | 1 | A transfinite cardinal arithmetic library including all known large cardinals | (library, math, mathematics, maths, set-theory) | 2014-09-07 | 0.0.1 | Stephen_E_A_Britton |

PropaFP | 6 | 0.0 | 1 | Auto-active verification of floating-point programs | (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers) | 2023-03-12 | 0.1.2.0 | JunaidRasheed |

colour-space | 20 | 0.0 | 1 | Instances of the manifold-classes for colour types | (data, gpl, graphics, library, maths) | 2022-04-16 | 0.2.0.0 | leftaroundabout |

planar-graph | 6 | 0.0 | 1 | A representation of planar graphs | (bsd3, data, graphs, library, maths) | 2012-04-27 | 1.0.0.0 | IvanMiljenovic |

semirings | 181 | 2.0 | 18 | two monoids as one, in holy haskimony | (algebra, bsd3, data, data-structures, library, math, mathematics, maths) | 2021-01-07 | 0.6 | chessai |

simplex-method | 6 | 0.0 | 1 | Implementation of the two-phase simplex method in exact rational arithmetic | (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization) | 2022-07-18 | 0.1.0.0 | JunaidRasheed |