twalgor / tw
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for tw
- ☆18Updated 7 years ago
- Convex optimization modeling in Lean 4☆40Updated 5 months ago
- A coding theory library for Julia.☆26Updated this week
- List of Treewidth solvers, instances, and tools☆33Updated 2 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated last month
- A semidefinite program solver for the conformal bootstrap.☆55Updated this week
- Computing Hermite normal form and Smith normal form with transformation matrices☆17Updated 9 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated last year
- Formalized quantum computing in Lean theorem prover☆21Updated 3 years ago
- Library for Polynomial System Solving through Algebraic Methods☆95Updated 3 weeks ago
- LuaTeX extension for graphical tensor notation☆34Updated 2 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆122Updated 3 months ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆70Updated 4 months ago
- A Julia package for solving systems of polynomials via homotopy continuation.☆186Updated last week
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated 5 months ago
- Groebner bases in (almost) pure Julia☆66Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆347Updated last week
- Reduction between computational hard problems.☆11Updated last month
- GAP packages for Julia integration☆68Updated this week
- a Sparse Direct Solver modulo p☆21Updated last week
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆15Updated 6 months ago
- Tools based on AI for helping with Lean 4☆65Updated this week
- Mathport is a tool for porting Lean3 projects to Lean4☆43Updated 2 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- Submission to PACE 17☆16Updated 7 years ago
- Scientific computing in Lean 4☆324Updated this week
- Generic tensor networks for solution space properties.☆97Updated 3 months ago
- ☆16Updated 2 weeks ago
- Tropical tensor network for spin glasses☆54Updated 2 years ago
- Lattice reduction and other lattice tools in Julia☆48Updated last week