# Packages tagged mathematics

20 packages have this tag.

[Merge tag] (trustees only)Related tags: library (19), bsd3 (15), math (5), maths (5), deprecated (4), program (4), algebra (3), data (3), optimization (3), category (2), formal-methods (2), mpl (2), optimisation (2), theorem-provers (2), algorithms (1), animation (1), combinatorics (1), ...

Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|

LPPaver | 3 | 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 | 3 | 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 | 4 | 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 |

chainweb-mining-client | 7 | 0.0 | 0 | Mining Client for Kadena Chainweb | (bsd3, data, mathematics, program) | 2022-11-23 | 0.5 | larsk |

digraph | 31 | 0.0 | 0 | Directed Graphs | (bsd3, data, library, mathematics) | 2023-02-03 | 0.3.0 | larsk, fosskers |

imj-base | 4 | 2.0 | 2 | Game engine with geometry, easing, animated text, delta rendering. | (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface) | 2018-01-01 | 0.1.0.2 | OlivierSohn |

inf-backprop | 12 | 2.0 | 0 | Automatic differentiation and backpropagation. | (bsd3, library, mathematics) | 2023-05-13 | 0.1.0.2 | AlexeyTochin |

matroid | 24 | 2.0 | 0 | matroid (combinatorial pre-geometries) library | (bsd3, combinatorics, library, mathematics, optimization) | 2021-02-28 | 0.0.0.1.1 | alb |

moving-averages | 34 | 0.0 | 1 | This is a library for calculating moving averages on lists of numbers. | (library, mathematics, mit) | 2017-05-12 | 0.2.0.0 | joshuaclayton |

numhask-hedgehog (deprecated in favor of numhask) | 5 | 0.0 | 0 | Laws and tests for numhask | (bsd3, deprecated, library, mathematics) | 2020-05-20 | 0.4.0 | tonyday567 |

numhask-prelude (deprecated in favor of numhask) | 15 | 0.0 | 8 | A numeric prelude | (bsd3, deprecated, library, mathematics) | 2020-05-20 | 0.5.0 | tonyday567 |

numhask-test (deprecated in favor of numhask-hedgehog) | 2 | 0.0 | 1 | Laws and tests for numhask | (bsd3, deprecated, library, mathematics) | 2018-06-17 | 0.1.0.0 | tonyday567 |

oalg-abg | 4 | 0.0 | 0 | Finitely generated abelian groups. | (algebra, bsd3, category, library, mathematics) | 2024-01-06 | 1.0.0.0 | zErichGuz |

oalg-base | 11 | 0.0 | 0 | Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems. | (algebra, bsd3, category, library, mathematics) | 2024-01-05 | 1.1.4.0 | zErichGuz |

ordered | 4 | 0.0 | 2 | A definition of Posets. | (library, mathematics) | 2011-08-02 | 0.1 | MiguelPagano |

plankton | 3 | 0.0 | 1 | The core of a numeric prelude, taken from numhask | (bsd3, library, mathematics) | 2017-11-16 | 0.0.0.1 | chessai |

semirings | 164 | 2.0 | 18 | two monoids as one, in holy haskimony | (algebra, bsd3, data, data-structures, library, math, mathematics, maths) | 2021-01-07 | 0.6 | chessai |

simple-expr | 13 | 0.0 | 1 | Minimalistic toolkit for simple mathematical expression. | (bsd3, library, mathematics) | 2023-08-05 | 0.1.1.0 | AlexeyTochin |

simplex-method | 2 | 0.0 | 1 | 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 |

tower (deprecated in favor of numhask) | 18 | 0.0 | 1 | A numeric tower | (bsd3, deprecated, library, mathematics) | 2017-02-21 | 0.1.0 | tonyday567 |