twalgor / tw
☆13Updated 3 years ago
Alternatives and similar repositories for tw:
Users that are interested in tw are comparing it to the libraries listed below
- ☆20Updated 7 years ago
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- A Julia library for computing tree decompositions and chordal completions of graphs.☆14Updated last week
- Reduction between computational hard problems.☆11Updated this week
- Convex optimization modeling in Lean 4☆44Updated 10 months ago
- Quantum information theory in Lean 4☆13Updated last month
- ☆10Updated 7 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 3 years ago
- Formalized quantum computing in Lean theorem prover☆22Updated 4 years ago
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆13Updated this week
- The fastest Tropical number matrix multiplication on GPU☆10Updated 3 months ago
- LuaTeX extension for graphical tensor notation☆32Updated 2 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 6 months ago
- Flexible and efficient persistent homology computation.☆67Updated 3 months ago
- Implementation of the tree width algorithms.☆18Updated 3 months ago
- Formalizing convex polyhedra in Coq☆23Updated 8 months ago
- Submission to PACE 17☆17Updated 2 months ago
- The Hackable Tensor Network library☆32Updated last week
- A semidefinite program solver for the conformal bootstrap.☆59Updated 3 weeks ago
- Conservative floating point interval arithmetic in Lean☆16Updated 2 months ago
- ☆14Updated 3 months ago
- Automated discovery of optimal branching rules for the branch-and-bound algorithm☆13Updated this week
- Tropical tensor network for spin glasses☆55Updated 3 months ago
- Coq library for reasoning about quantum programs☆39Updated 2 months ago
- An implementation of ZX-calculus in Julia☆50Updated 5 months ago
- a Sparse Direct Solver modulo p☆25Updated 4 months ago
- Tensor networks for quantum error correction.☆36Updated this week
- ☆25Updated 3 months ago
- A coding theory library for Julia.☆30Updated 3 weeks ago