Skip to main content
Appuyez sur Entrée pour rechercher ou ESC pour fermer
Search
Close Search
Couret Unification
search
Menu
A propos
Comprendre le projet
Carte
Désambiguïsation
Tableau de bord
L’automate InterIA — un horizon
La fabrique des machines
Bernard Couret
Positionnement
Cadre
Livre « Économie de la réponse »
Utiliser, citer, contribuer
Registre F0
Transmission & Compagnonnage
Le (S)enseur
Le (S)enseur
la Galerie des dépromotions
Recherches
Recherches
Doctrine du statut
Voie K^p
Registre
Vocabulaire
Cadres philosophiques
Méthodes formelles & IA
Passerelles
Passerelles
Résonances anciennes
Cycle du Passage
Contact
search
Recherche par Project Attribute
[M] Mesuré
P8-GRAM — la mesure opposable
[M] Mesuré
démonstratif
Arithmétique expérimentale (thèse)
[F] Falsifié
[H] Heuristique
[M] Mesuré
[O] Ouvert
[T] Transmis
expérimental
mé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] Ouvert
démonstratif
Bootstrap · Cramér modulaire · Score de relief
[C] Conditionnel
[M] Mesuré
[P] Probatoire
expérimental
L_joint_split (Phase 2.8.6-F1)
[D] Démontré
[F] Falsifié
[M] Mesuré
[P] Probatoire
expérimental
L_uniform · L_geo · L_CRT
[C] Conditionnel
[D] Démontré
[M] Mesuré
expérimental
Échelle des modèles nuls
[M] Mesuré
[O] Ouvert
[T] Transmis
expérimental
Comparaison Hardy–Littlewood locale
[C] Conditionnel
[M] Mesuré
[O] Ouvert
expérimental
Canaux jumeaux mod 30
[D] Démontré
[M] Mesuré
expérimental
MU210 – JOINT LAW
[F] Falsifié
[M] Mesuré
[O] Ouvert
expérimental
Martingale primorielle · entropie · rang effectif
[M] Mesuré
[O] Ouvert
dé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] Ouvert
démonstratif
Théorème E
[D] Démontré
[M] Mesuré
[O] Ouvert
dé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] Probatoire
expérimental
Résidu Δ(t) — indépendance du triplet
[H] Heuristique
[M] Mesuré
[O] Ouvert
expérimental
Matrices de préférence / asymétrie / transition
[M] Mesuré
[P] Probatoire
expérimental
Reliefs mod 210 / 2310 / 30030
[M] Mesuré
[O] Ouvert
démonstratif
méditatif
Reliefs mod 30
[H] Heuristique
[M] Mesuré
démonstratif
méditatif
Relief r_X(q) = μ_X − u_q
[D] Démontré
[M] Mesuré
expérimental
F-08 — cinq triplets canonique indiscernables T_C = {1, 11, 29}
[D] Démontré
[M] Mesuré
[O] Ouvert
démonstratif
La Chambre du Résidu
[C] Conditionnel
[D] Démontré
[F] Falsifié
[H] Heuristique
[M] Mesuré
[O] Ouvert
[P] Probatoire
[T] Transmis
méditatif
poétique
λ = 1/√7
[D] Démontré
[H] Heuristique
[M] Mesuré
[O] Ouvert
démonstratif
Crible en temps réel
[M] Mesuré
[P] Probatoire
expérimental
Cay(G₃₀, T_C) — Ramanujan finie
[D] Démontré
[M] Mesuré
[O] Ouvert
démonstratif
Close Menu
A propos
Comprendre le projet
Carte
Désambiguïsation
Tableau de bord
L’automate InterIA — un horizon
La fabrique des machines
Bernard Couret
Positionnement
Cadre
Livre « Économie de la réponse »
Utiliser, citer, contribuer
Registre F0
Transmission & Compagnonnage
Le (S)enseur
Le (S)enseur
la Galerie des dépromotions
Recherches
Recherches
Doctrine du statut
Voie K^p
Registre
Vocabulaire
Cadres philosophiques
Méthodes formelles & IA
Passerelles
Passerelles
Résonances anciennes
Cycle du Passage
Contact