Rechercher

Collapsus spectral · passage discret–continu

[H] Heuristique[O] Ouvertdémonstratif

Martingale primorielle · entropie · rang effectif

[M] Mesuré[O] Ouvertdémonstratif

Caractères mod 210 · conducteurs effectifs

[D] Démontré[M] Mesurédémonstratif

Projecteur P_π · résidu vertical V

[D] Démontrédémonstratif

Positivité de Ŵ ≥ 0

[O] Ouvertdémonstratif

Plan Verrou T — 12 lemmes

[C] Conditionnel[D] Démontré[O] Ouvertdémonstratif

Schatten S₂ · det₂(I − zS)

[C] Conditionnel[D] Démontré[O] Ouvertdémonstratif

Rigidité spectrale Δ₃(L) ≈ λ log L

[M] Mesurédémonstratif

Opérateur de Couret–Sonine S_{α,q}

[D] Démontrédémonstratif

Voie Kᵖ — ouverte sous verrous

[C] Conditionnel[D] Démontré[F] Falsifié[O] Ouvertdémonstratif

Voie K# — fermée par C-031

[D] Démontré[F] Falsifiédémonstratif

Complétion eulérienne · pont archimédien

[C] Conditionnel[O] Ouvertdémonstratif

Verrou F — recollement global adélique

[C] Conditionnel[O] Ouvertdémonstratif

H3 — trois mondes à recoller

[C] Conditionnel[D] Démontré[O] Ouvertdémonstratif

Copie de Pont det₂ ↔ ξ

[C] Conditionnel[O] Ouvertdémonstratif

Pont det₂ ↔ ξ

[C] Conditionnel[O] Ouvertdémonstratif

Théorème C-037 — no-go quadratique

[D] Démontré[F] Falsifiédémonstratif

Sophie Germain mod 30

[D] Démontré[H] Heuristique[M] Mesuré[O] Ouvertdémonstratif

Théorème C-036 — projecteur P_H

[D] Démontrédémonstratif

Théorème C-031

[D] Démontré[F] Falsifiédémonstratif

Théorème E — NT(sₙ) = 2/3

[D] Démontré[M] Mesuré[O] Ouvertdémonstratif

Théorème A.4′ — orbite A₄ = {1,11,19,29}

[D] Démontré[P] Probatoiredémonstratif

Théorème A.4 / A.4′ — résonance quadratique

[D] Démontré[F] Falsifié[M] Mesurédémonstratif

Local Residue Relief Database · Crible en temps réel

[D] Démontré[M] Mesuré[P] Probatoireexpérimental

Résidu Δ(t) — indépendance du triplet

[H] Heuristique[M] Mesuré[O] Ouvertexpérimental

Borne KLMN

[C] Conditionnel[O] Ouvertdémonstratif

Lemme 7 / résidu critique

[C] Conditionnel[F] Falsifié[O] Ouvertdémonstratif

λ = 1/√7

[D] Démontré[H] Heuristique[M] Mesuré[O] Ouvertdémonstratif