A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL
Discrete Kakeya cover for LLM KV cache: D4/E8 nested-lattice quantisation realising a Kakeya-style tube-cover over the direction sphere. 2.4x-2.8x compression at <1% perplexity loss on Qwen3, Llama-3, DeepSeek, GLM-4, Gemma. Drop-in transformers.DynamicCache. pip install kakeyalattice.
This repository is associated with the paper: “A Poset-Based Approach to Curvature of Hypergraphs”
Tracing curve on 2D plane = drawing curve on complex (2D) plane. Curve is a field line or equipotential line of potential scalar field.
tc18.org web site (https://www.tc18.org)
Solver for realizability of pseudo-points (through CC-systems / signotopes / triple orientations).
Implements digitized transformations defined in the space with geometric algebra (mostly Klein lib).
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
Discrete-geometry and wave simulation on tetrakis-square lattices: inject curvature by removing wedges and analyze graph spectra and dynamics.
Ideal horoball packings of triangulated spheres: solvers, placements, and bracket proofs.
A Lean 4 formalization of discrete causal posets and convex-cone models for AQEI constraints. Features 130+ machine-checked theorems covering chain-complex homology proxies, $Z_1$ cycle space stability, and bidirectional equivalence of 1-cycle proxies.
Add a description, image, and links to the discrete-geometry topic page so that developers can more easily learn about it.
To associate your repository with the discrete-geometry topic, visit your repo's landing page and select "manage topics."