libsemigroups / HPCombi
Fast combinatorics in C++ using SSE/AVX instruction sets
☆15Updated this week
Alternatives and similar repositories for HPCombi:
Users that are interested in HPCombi are comparing it to the libraries listed below
- C++ library for semigroups and monoids☆45Updated this week
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- A simple CAS written in C.☆10Updated 9 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆84Updated last month
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated 4 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Successor to PolyBoRi☆18Updated last month
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆21Updated 8 months ago
- Tag-based webview of LaTeX documents☆28Updated 11 months ago
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- Basic package manager for GAP☆12Updated last month
- 🚀 Sum of the primes below x☆37Updated 2 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 2 months ago
- Formalizing convex polyhedra in Coq☆22Updated 6 months ago
- a Sparse Direct Solver modulo p☆23Updated 2 months ago
- ☆52Updated last month
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆11Updated 10 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated last month
- Library for exact real number computations☆39Updated 9 years ago
- some maths papers in English☆18Updated 2 months ago
- ☆9Updated last year
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆22Updated last week
- ☆9Updated 2 months ago
- The GAP package Semigroups☆24Updated last month
- GAP package guava - computations relative to error-correcting codes☆13Updated last week
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆28Updated 5 years ago
- M4GB: Efficient Groebner Basis algorithm☆54Updated 6 years ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆11Updated last year
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 3 years ago
- Free group automorphisms and train-track representative in python/sage☆10Updated 5 months ago