Infinite Morphospace — Mathematical Models of Biological Form (1917–2026)
Side-by-side comparisons of real biological specimens (left) and published mathematical simulations (right) across 116 verified papers, Python solvers, and Lean 4 proofs.
🧬 Sorting Cells & CE 2.0 Lab ↗ 🎨 4-Page Student Guide PDF ↗ ⚡ bioelectricity.net Hub ↗ 📄 README (12-Step Loop) ↗ 🏛️ Classification Guide ↗ GitHub Repo ↗

1. Eight Landmark Models of Biological Form (1917–2021) — Start Here

Each card pairs a real biological specimen photograph (left) with a mathematical simulation of how that form grows or self-organizes (right), reproduced from a foundational scientific paper. Click any card to inspect its equations, paper DOI, Python code, and machine-checked Lean 4 proof, or click 🔍 Matrix Cell to see related models in the grid below.

2. Browse All 116 Verified Models: Organism Group (Rows) × Physical Mechanism (Cols)

Click any numbered cell to view its models on the right →
39 Populated Cells (116 Verified Models across 57 Genera) — Rows group organisms by taxon; columns group models by the physical or chemical mechanism that generates the form. Only models passing quantitative specimen-to-simulation comparison (ImgFit ≥ 70.0) are shown.
● Vertebrates (Mammals, Birds, Herps, Fish) ● Invertebrates (Insects, Shells, Corals, Worms) ● Land Plants ● Protists, Slime Molds & Bacteria
Selected Category Models
Each card compares the real organism photograph (Left) with the published mathematical simulation (Right). Click any card for full details.
Showing 1–9