Packages tagged mathematics

21 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (20), bsd3 (15), math (5), maths (5), deprecated (4), program (4), algebra (3), data (3), optimization (3), category (2), formal-methods (2), mit (2), mpl (2), optimisation (2), theorem-provers (2), algorithms (1), animation (1), combinatorics (1), data-structures (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
LPPaver70.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
LargeCardinalHierarchy70.01A transfinite cardinal arithmetic library including all known large cardinals (library, math, mathematics, maths, set-theory)2014-09-070.0.1Stephen_E_A_Britton
PropaFP80.01Auto-active verification of floating-point programs (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers)2023-03-120.1.2.0JunaidRasheed
RoundingFiasco60.00rounding variants floor, ceil and truncate for floating point operations +-*/√… (interval, library, mathematics, mit, numerical, rounding)2024-04-090.1.0.0pauldennis
chainweb-mining-client80.00Mining Client for Kadena Chainweb (bsd3, data, mathematics, program)2022-11-230.5larsk
digraph400.00Directed Graphs (bsd3, data, library, mathematics)2023-02-030.3.0larsk, fosskers
imj-base62.02Game engine with geometry, easing, animated text, delta rendering. (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface)2018-01-010.1.0.2OlivierSohn
inf-backprop162.00Automatic differentiation and backpropagation. (bsd3, library, mathematics)2023-05-130.1.0.2AlexeyTochin
matroid82.00matroid (combinatorial pre-geometries) library (bsd3, combinatorics, library, mathematics, optimization)2021-02-280.0.0.1.1alb
moving-averages80.01This is a library for calculating moving averages on lists of numbers. (library, mathematics, mit)2017-05-120.2.0.0joshuaclayton
numhask-hedgehog (deprecated in favor of numhask)200.00Laws and tests for numhask (bsd3, deprecated, library, mathematics)2020-05-200.4.0tonyday567
numhask-prelude (deprecated in favor of numhask)490.08A numeric prelude (bsd3, deprecated, library, mathematics)2020-05-200.5.0tonyday567
numhask-test (deprecated in favor of numhask-hedgehog)70.01Laws and tests for numhask (bsd3, deprecated, library, mathematics)2018-06-170.1.0.0tonyday567
oalg-abg50.00Finitely generated abelian groups. (algebra, bsd3, category, library, mathematics)2024-01-061.0.0.0zErichGuz
oalg-base110.01Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems. (algebra, bsd3, category, library, mathematics)2024-01-051.1.4.0zErichGuz
ordered50.02A definition of Posets. (library, mathematics)2011-08-020.1MiguelPagano
plankton40.01The core of a numeric prelude, taken from numhask (bsd3, library, mathematics)2017-11-160.0.0.1chessai
semirings2992.018two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2024-05-210.7chessai
simple-expr170.01Minimalistic toolkit for simple mathematical expression. (bsd3, library, mathematics)2023-08-050.1.1.0AlexeyTochin
simplex-method60.03Implementation 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
tower (deprecated in favor of numhask)60.01A numeric tower (bsd3, deprecated, library, mathematics)2017-02-210.1.0tonyday567