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), ...

Last U/L
FiniteCategories20.0Finite categories and usual categorical constructions on them. (data, gpl, library, maths)2022-03-28gsabbagh
LPPaver10.0An automated prover targeting problems that involve nonlinear real arithmetic (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification)2022-10-26JunaidRasheed
LargeCardinalHierarchy80.0A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-07Stephen_E_A_Britton
PropaFP40.0Auto-active verification of floating-point programs (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers)2022-10-13JunaidRasheed
colour-space270.0Instances of the manifold-classes for colour types (data, gpl, graphics, library, maths)2022-04-16leftaroundabout
planar-graph10.0A representation of planar graphs (bsd3, data, graphs, library, maths)2012-04-27IvanMiljenovic
semirings1592.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-07chessai
simplex-method20.0Implementation of the two-phase simplex method in exact rational arithmetic (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization)2022-07-18JunaidRasheed