Skip to content
#

computational-origami

Here are 5 public repositories matching this topic...

Language: All
Filter by language

Two notions of tightness for the flat overhand knot — paper, exact/interval certificate suite, and Lean 4 formalization. Kauffman's pentagon minimizes truncation length; core-length pulling crosses it to a degree-12 S6-algebraic tight state; exact figure-eight hexagon in Q(sqrt 15).

  • Updated Aug 7, 2026
  • Python

Improve this page

Add a description, image, and links to the computational-origami 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 computational-origami topic, visit your repo's landing page and select "manage topics."

Learn more