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).
Code for publication: Hypergraph Geometry Reflects Higher-Order Dynamics in Protein Interaction Networks; Kevin A. Murgas, Emil Saucan, Romeil Sandhu; Scientific Reports (2022)
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
Exhaustive study in 4D of the Euler cell-composedness