svrnm / parallelGBC
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
- contains a package in Haskell to calculate the electronic structure properties of molecules using the Hartree-Fock method☆17Updated 8 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- fast probabilistic symmetry detection on graphs☆14Updated last month
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Basic Tensor Algebra Subroutines☆48Updated 3 weeks ago
- CMake FindLAPACK.cmake that works with Intel MKL, Atlas, OpenBLAS, Netlib, LAPACK95 for C / C++ / Fortran☆15Updated 2 years ago
- The Hackable Tensor Network library☆36Updated last month
- Correctly-rounded mathematical functions☆8Updated 2 months ago
- Basic Polynomial Algebra Subprograms☆15Updated 3 years ago
- A scientific computing book for physicists, with Julia programming language☆16Updated 3 months ago
- C++17 Wrapper for ScaLAPACK☆11Updated last year
- Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction☆68Updated last month
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- MLIR tools and dialect for GraphBLAS☆18Updated 3 years ago
- Partial differential equations using Discrete Exterior Calculus☆15Updated 5 years ago
- A Lattice Library for Julia☆34Updated 4 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆11Updated last month
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 3 years ago
- Simulated Full Amplitude Quantum Register (moved to Yao.jl/lib)☆12Updated 3 years ago
- Mathematica codes for computations related to the R-matrix parastatistics, defined in Nature 637, 314-318 (2025).☆20Updated 9 months ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated 11 months ago
- egraph <-> json☆13Updated 7 months ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆28Updated 6 months ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆15Updated 3 months ago
- This repository mirrors the principal Gitlab repository of the Chebyshev Accelerated Subspace iteration Eigensolver. If you want to contr…☆17Updated 3 weeks ago
- Julia package for the tight binding approximation of quantum lattice systems.☆21Updated 2 weeks ago
- 18.A01: Seminar in Numerical Computing☆19Updated 6 years ago
- The fastest tropical matrix multiplication in the world!☆29Updated last year
- Tensor Contraction Code Generator☆37Updated 7 years ago
- Base container for developing C++ and Fortran HPC applications☆18Updated 2 years ago