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.

tc18.org web site (https://www.tc18.org)

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.

Code for publication: Hypergraph Geometry Reflects Higher-Order Dynamics in Protein Interaction Networks; Kevin A. Murgas, Emil Saucan, Romeil Sandhu; Scientific Reports (2022)

An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants

Exhaustive study in 4D of the Euler cell-composedness