Packages tagged mathematics

17 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (16), bsd3 (13), deprecated (4), math (4), maths (4), data (3), optimization (3), program (3), optimisation (2), algebra (1), algorithms (1), animation (1), combinatorics (1), data-structures (1), formal-methods (1), game-engine (1), ...

Last U/L
LargeCardinalHierarchy20.0A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-07Stephen_E_A_Britton
PropaFP10.0Auto-active verification of floating-point programs (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers)2022-07-22JunaidRasheed
chainweb-mining-client80.0Mining Client for Kadena Chainweb (bsd3, data, mathematics, program)2020-08-21larsk
digraph240.0Directed Graphs (bsd3, data, library, mathematics)2021-08-02larsk, fosskers
imj-base22.0Game engine with geometry, easing, animated text, delta rendering. (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface)2018-01-01OlivierSohn
matroid42.0matroid (combinatorial pre-geometries) library (bsd3, combinatorics, library, mathematics, optimization)2021-02-28alb
moving-averages20.0This is a library for calculating moving averages on lists of numbers. (library, mathematics, mit)2017-05-12joshuaclayton
numhask502.25A numeric class hierarchy. (bsd3, library, mathematics)2022-05-27tonyday567
numhask-hedgehog (deprecated in favor of numhask)40.0Laws and tests for numhask (bsd3, deprecated, library, mathematics)2020-05-20tonyday567
numhask-prelude (deprecated in favor of numhask)140.0A numeric prelude (bsd3, deprecated, library, mathematics)2020-05-20tonyday567
numhask-space310.0Numerical spaces. (bsd3, library, mathematics)2022-02-03tonyday567
numhask-test (deprecated in favor of numhask-hedgehog)10.0Laws and tests for numhask (bsd3, deprecated, library, mathematics)2018-06-17tonyday567
ordered40.0A definition of Posets. (library, mathematics)2011-08-02MiguelPagano
plankton60.0The core of a numeric prelude, taken from numhask (bsd3, library, mathematics)2017-11-16chessai
semirings1522.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-07chessai
simplex-method10.0Implementation of the two-phase simplex method in exact rational arithmetic (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization)2022-07-18JunaidRasheed
tower (deprecated in favor of numhask)20.0A numeric tower (bsd3, deprecated, library, mathematics)2017-02-21tonyday567