4-manifolds

Here are 3 public repositories matching this topic...

gabe-rbo / pySurgery

A self-contained python library designed to apply Mathematical Surgery Theory over Manifolds.

python julia mathematics algebraic-topology manifold topological-data-analysis tda computational-topology homology simplicial-complex cohomology smith-normal-form cw-complex 4-manifolds surgery-theory intersection-form freedman

Updated Jul 1, 2026
Python

A reproducible, audit-first Python workbench for the invariants of smooth 4-dimensional topology — native Khovanov, Lee, Rasmussen s, and knot Floer homology for knots, links, and braids, validated against established tools.

python reproducible-research mathematics knot-theory concordance khovanov-homology computational-topology homological-algebra gauge-theory knot-invariant low-dimensional-topology heegaard-floer 4-manifolds knot-floer-homology

Updated Jul 1, 2026
Python

HautevilleHouse / smooth-4-dimensional-poincare-conjecture-canonical-lane

Star

Canonical-lane closure package for the Smooth 4-Dimensional Poincare Conjecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

topology reproducibility local-to-global mathematical-proof geometric-topology 4-manifolds smooth-4-dimensional-poincare-conjecture smooth-structures manifold-constrained canonical-lane

Updated Jul 2, 2026
Python

Improve this page

Add a description, image, and links to the 4-manifolds topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the 4-manifolds topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly