Interactive application Educational WIP
Interactive
Overview · selected highlights

Clique Proofs

A growing educational atlas of direct proof routes. Compactness, minimum spanning trees and Fourier-related clusters connect apparently different formulations of one concept; each bridge exposes assumptions and structure that a bare equivalence statement can hide.

A local condition becomes a global statement
ConnectCountProve
Brochure →Open project ↗
  1. ◇

    Choose a viewpoint

    Start from a familiar formulation in a focused concept cluster.

  2. ⇒

    Follow a proof

    Read the direct argument connecting it to another formulation.

  3. ↔

    Compare the routes

    Inspect what a different bridge reveals about the same structure.

  4. ∅

    Test the assumptions

    Use counterexamples and scope notes to locate an equivalence's limits.

Known mathematics, connected through inspectable arguments. Educational · work in progress.

Minimum-spanning-tree relations distinguish implications, variants and near misses beside the selected proof bridge.
Minimum-spanning-tree relations distinguish implications, variants and near misses beside the selected proof bridge.
The spectral proof web connects eigenpairs, matrix structure, and equivalent characterizations.
The spectral proof web connects eigenpairs, matrix structure, and equivalent characterizations.