[M] Mesuré

Arithmétique expérimentale (thèse)

[F] Falsifié[H] Heuristique[M] Mesuré[O] Ouvert[T] Transmisexpérimentalméditatif

Correcteur eulérien K_{ζ→C₂}

[M] Mesuréexpérimental

DefectNorm — décroissance des strates

[D] Démontré[M] Mesuréexpérimental

ParityGate · ResGoldLocal · FixedTargetLift

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

Bootstrap · Cramér modulaire · Score de relief

[C] Conditionnel[M] Mesuré[P] Probatoireexpérimental

L_joint_split (Phase 2.8.6-F1)

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

L_uniform · L_geo · L_CRT

[C] Conditionnel[D] Démontré[M] Mesuréexpérimental

Null-Model Ladder

[M] Mesuré[O] Ouvert[T] Transmisexpérimental

Comparaison Hardy–Littlewood locale

[C] Conditionnel[M] Mesuré[O] Ouvertexpérimental

Canaux jumeaux mod 30

[D] Démontré[M] Mesuréexpérimental

MU210-JOINT-LAW

[F] Falsifié[M] Mesuré[O] Ouvertexpérimental

Martingale primorielle · entropie · rang effectif

[M] Mesuré[O] Ouvertdémonstratif

Caractères mod 210 · conducteurs effectifs

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

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

[M] Mesurédémonstratif

Sophie Germain mod 30

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

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

[D] Démontré[M] Mesuré[O] Ouvertdé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

Matrices de préférence / asymétrie / transition

[M] Mesuré[P] Probatoireexpérimental

Reliefs mod 210 / 2310 / 30030

[M] Mesuré[O] Ouvertdémonstratifméditatif

Reliefs mod 30

[H] Heuristique[M] Mesurédémonstratifméditatif

Relief r_X(q) = μ_X − u_q

[D] Démontré[M] Mesuréexpérimental

Triplet canonique T_C = {1, 11, 29}

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

La Chambre du Résidu

[C] Conditionnel[D] Démontré[F] Falsifié[H] Heuristique[M] Mesuré[O] Ouvert[P] Probatoire[T] Transmisméditatifpoétique

λ = 1/√7

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

Crible en temps réel

[M] Mesuré[P] Probatoireexpérimental

Cay(G₃₀, T_C) — Ramanujan finie

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