latte-int / latte
LattE integrale, software for counting lattice points and integration over convex polytopes
☆39Updated last year
Related projects ⓘ
Alternatives and complementary repositories for latte
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆43Updated this week
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- A framework for composing and simulating multiphysics systems☆49Updated this week
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated last month
- Convex optimization modeling in Lean 4☆40Updated 5 months ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆66Updated 2 years ago
- List of Treewidth solvers, instances, and tools☆33Updated 2 years ago
- Building dynamical systems compositionally☆66Updated 2 weeks ago
- An efficient symbolic term rewriting engine☆77Updated 3 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆34Updated 8 months ago
- Compiler with automatic differentiation☆45Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 3 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- Modeling and Programming with Gecode☆45Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆80Updated last year
- Build Petri net models compositionally☆76Updated 2 weeks ago
- Julia bindings to the SAT solver picosat☆29Updated 10 months ago
- GAP packages for Julia integration☆67Updated this week
- Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles☆13Updated 6 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆25Updated this week
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆14Updated last month
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆17Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 3 years ago
- Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction☆65Updated 3 weeks ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆59Updated this week
- A development version of the numerically exact variant of MIP solver SCIP☆12Updated last year
- Interface to Polymake using CxxWrap☆29Updated 3 weeks ago