svrnm / parallelGBCLinks
Parallel Groebner Basis Computation
☆24Updated 2 years ago
Alternatives and similar repositories for parallelGBC
Users that are interested in parallelGBC are comparing it to the libraries listed below
Sorting:
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆24Updated 5 years ago
- fast probabilistic symmetry detection on graphs☆14Updated last month
- Correctly-rounded mathematical functions☆8Updated 4 months ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆18Updated 5 months ago
- Rigorous Global Branch-and-Bound Optimizer☆24Updated 6 months ago
- A package for computation in *-algebras with basis☆11Updated last week
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆28Updated 8 months ago
- Partial differential equations using Discrete Exterior Calculus☆15Updated 5 years ago
- A hierarchical matrix C/C++ library☆23Updated last week
- ☆31Updated last week
- Assorted s-expression utilities for Julia☆16Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- Library for Polynomial System Solving through Algebraic Methods☆137Updated this week
- GluCat: Clifford algebra templates☆21Updated 3 months ago
- Simulated Full Amplitude Quantum Register (moved to Yao.jl/lib)☆12Updated 3 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- egraph on top of sqlite☆11Updated 3 years ago
- Julia package for the tight binding approximation of quantum lattice systems.☆22Updated last month
- Successor to PolyBoRi☆20Updated last month
- Tensor algebra abstract type interoperability setup☆43Updated 7 months ago
- Unified interface to symbolic manipulation libraries in Python☆9Updated 4 months ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 4 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆69Updated 3 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 months ago
- Standard basic quantum circuit simulator building blocks. (archived, for it is moved to Yao.jl)☆26Updated 3 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year