Registry · Theorem VI.T21 tau-effective planned

VI.T21 — Turing Patterns as Hodge Eigenmode Instantiations

Turing steady-state pattern = superposition of Hodge Laplacian eigenmodes; pattern type from eigenfunction symmetry, wavelength from domain size.

Book VI Part 4 Ch. 26

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: