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
FiniteCategories310.01Finite categories and usual categorical constructions on them. (data, gpl, library, maths)2024-03-080.6.4.0gsabbagh
FiniteCategoriesGraphViz40.00Transform objects of the package FiniteCategories into graphs using GraphViz. (data, gpl, library, maths)2023-10-100.2.0.0gsabbagh
LPPaver40.00An automated prover targeting problems that involve nonlinear real arithmetic (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification)2023-03-130.0.5.0JunaidRasheed
LargeCardinalHierarchy50.01A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-070.0.1Stephen_E_A_Britton
PropaFP50.01Auto-active verification of floating-point programs (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers)2023-03-120.1.2.0JunaidRasheed
colour-space130.01Instances of the manifold-classes for colour types (data, gpl, graphics, library, maths)2023-07-040.2.1.0leftaroundabout
planar-graph70.01A representation of planar graphs (bsd3, data, graphs, library, maths)2012-04-271.0.0.0IvanMiljenovic
semirings1442.018two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-070.6chessai
simplex-method50.01Implementation of the two-phase simplex method in exact rational arithmetic (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization)2023-12-020.2.0.0JunaidRasheed