Python library containing tools for calculating asymptotic directions and vertical cut-off rigidities.
-
Updated
Mar 13, 2026 - Python
#
rigidity
Here are 5 public repositories matching this topic...
Fast algorithms on 2 dimensional rigidity and (k,l)-sparsity matroids. M-component hypergraph, transversal on the MCT sets and redundant augmentation in O(|V|^2) time and O(|V|) memory.
-
Updated
Dec 14, 2024 - C++
Flagship executable URF/Chronos implementation with verified build and test surface
reproducible-research information-theory verification graph-theory chronos urf reference-implementation formal-verification sat computational-complexity complexity-theory expanders lean4 rigidity unified-rigidity-framework rigidity-theory entropy-depth
-
Updated
May 9, 2026 - Python
Trusted base of definitions, schemas, and verification artifacts for the Unified Rigidity Framework
reproducible-research information-theory logic mathematics verification graph-theory formal-methods invariants urf theoretical-computer-science formal-verification computational-complexity mathlib lean4 rigidity unified-rigidity-framework rigidity-theory core-axioms
-
Updated
May 9, 2026 - Python
Isolate and analyze the final terminal obstruction in FOᵏ-locality programs to determine limits on structure overlap and complexity in logic models.
entropy information-theory logic proof-assistant locality lean kernel-methods formal-verification computational-complexity github-config expanders rigidity finite-model-theory ef-games
-
Updated
May 9, 2026 - Lean
Improve this page
Add a description, image, and links to the rigidity topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the rigidity topic, visit your repo's landing page and select "manage topics."