There are 1 repository under discrete-geometry topic.
A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL
Tracing curve on 2D plane = drawing curve on complex (2D) plane. Curve is a field line or equipotential line of potential scalar field.
This repository is associated with the paper: “A Poset-Based Approach to Curvature of Hypergraphs”
Implements digitized transformations defined in the space with geometric algebra (mostly Klein lib).
The project about Accumulation Space and Confidence computation on triangle mesh model.
An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants
Code for publication: Hypergraph Geometry Reflects Higher-Order Dynamics in Protein Interaction Networks; Kevin A. Murgas, Emil Saucan, Romeil Sandhu; Scientific Reports (2022)
Exhaustive study in 4D of the Euler cell-composedness