convex-polyhedron

There are 0 repository under convex-polyhedron topic.

ZJU-FAST-Lab / VertexEnumeration3D
Fast Vertex Enumeration for 3D Polytopes
polyhedron polytope computational-geometry convex-polyhedron
Language:C++ 52
ChitambarLab / BellScenario.jl
Compute Bell inequalities and their quantum violations.
bell-inequalities information-theory quantum-violations quantum-information convex-polyhedron
Language:Julia 5
pyapron / pyapron
pyApron: A library for numerical abstract domains manipulation based on Apron
python apron abstract-interpretation abstract-domain numerical-domain static-analysis convex-polyhedron
Language:Python 4
ChitambarLab / SignalingDimension.jl
Certify the classical simulation cost of black-box systems.
quantum-information information-theory convex-polyhedron bell-inequalities
Language:Julia 2
yi-ji / mVSA
Solution implementations of m-VS and VSA problems
convex-polyhedron vector-subset-choice-problems vector-sum-problems
Language:C++ 2
aureooms-research / pats-game
:video_game: Website displaying solutions for the game found in http://oeis.org/A070214
convex-polyhedron oeis-a070214 research triangles tripod-packing
Language:JavaScript 0
aureooms-research / turan
Turán-type theorems for triangles in convex point sets
convex-polyhedron oeis-a070214 research triangles tripod-packing
Language:TeX 0
aureooms-research / pats-game-solutions
:video_game: Solutions for the game found in http://oeis.org/A070214
research counting sat-solver reductions clique stable-set triangles convex-polyhedron tripod-packing oeis-a070214