# 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 |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|

FiniteCategories | 2 | 0.0 | Finite categories and usual categorical constructions on them. | (data, gpl, library, maths) | 2022-03-28 | gsabbagh |

LPPaver | 1 | 0.0 | An automated prover targeting problems that involve nonlinear real arithmetic | (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification) | 2022-10-26 | JunaidRasheed |

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

PropaFP | 4 | 0.0 | Auto-active verification of floating-point programs | (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers) | 2022-10-13 | JunaidRasheed |

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

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

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

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