# Packages tagged maths

9 packages have this tag.

[Merge tag] (trustees only)Related tags: library (9), data (5), math (5), mathematics (5), bsd3 (3), gpl (3), formal-methods (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 | 19 | 0.0 | 1 | Finite categories and usual categorical constructions on them. | (data, gpl, library, maths) | 2024-05-31 | 0.6.5.1 | gsabbagh |

FiniteCategoriesGraphViz | 6 | 0.0 | 0 | Transform objects of the package FiniteCategories into graphs using GraphViz. | (data, gpl, library, maths) | 2023-10-10 | 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 | 5 | 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 | 8 | 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 | 29 | 0.0 | 1 | Instances of the manifold-classes for colour types | (data, gpl, graphics, library, maths) | 2023-07-04 | 0.2.1.0 | leftaroundabout |

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

semirings | 241 | 2.0 | 18 | two monoids as one, in holy haskimony | (algebra, bsd3, data, data-structures, library, math, mathematics, maths) | 2024-05-21 | 0.7 | chessai |

simplex-method | 11 | 0.0 | 3 | Implementation of the two-phase simplex method in exact rational arithmetic | (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization) | 2023-12-02 | 0.2.0.0 | JunaidRasheed |