The textbook layer

Knowledge Base

A connected, proof-oriented textbook of nonlinear dynamics: approachable at the trailhead and uncompromising at the research frontier.

Look up one exact term Study a connected chapter Return to the Lean proof

Use the glossary when one word blocks your path. Open a Deep Dive when you want the whole climb: physical picture, exact definition, derivation, worked examples, failure modes, and the architecture of a machine-checked proof.

The chapters are connected but self-contained. Every symbol is introduced before it does work, every abstraction has a stated role, and advanced readers can use the chapter map to move directly to the ridge they need.

The current textbook corpus is public work in progress. Open working note labels distinguish owner-authorized publication from completed editorial, technical, or external review.

Choose your altitude

Enter where you are. Leave higher.

  1. 01
    Orient

    Use the glossary to make one unfamiliar word precise.

  2. 02
    Connect

    Follow a Deep Dive from physical picture through derivation.

  3. 03
    Formalize

    Carry the mathematical statement into its Lean architecture.