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
[O] Ouvert
QMod-30 — une juridiction quasimodulaire
[O] Ouvert
[T] Transmis
démonstratif
Arithmétique expérimentale (thèse)
[F] Falsifié
[H] Heuristique
[M] Mesuré
[O] Ouvert
[T] Transmis
expérimental
méditatif
AnalyticBridge — pont global ResGold
[O] Ouvert
expérimental
ParityGate · ResGoldLocal · FixedTargetLift
[D] Démontré
[M] Mesuré
[O] Ouvert
démonstratif
TransportTest
[O] Ouvert
expérimental
L_race — L_HL — Phase 2.8.7
[D] Démontré
[O] Ouvert
[P] Probatoire
expérimental
Échelle des modèles nuls
[M] Mesuré
[O] Ouvert
[T] Transmis
expérimental
Extension MU210 → 2310 → 30030
[O] Ouvert
expérimental
Comparaison Hardy–Littlewood locale
[C] Conditionnel
[M] Mesuré
[O] Ouvert
expérimental
MU210 – JOINT LAW
[F] Falsifié
[M] Mesuré
[O] Ouvert
expérimental
Module F — Goldbach comme laboratoire
[D] Démontré
[O] Ouvert
expérimental
Collapsus spectral · passage discret–continu
[H] Heuristique
[O] Ouvert
démonstratif
Martingale primorielle · entropie · rang effectif
[M] Mesuré
[O] Ouvert
démonstratif
Positivité de Ŵ ≥ 0
[O] Ouvert
démonstratif
Plan Verrou T — 12 lemmes
[C] Conditionnel
[D] Démontré
[O] Ouvert
démonstratif
Schatten S₂ · det₂(I − zS)
[C] Conditionnel
[D] Démontré
[O] Ouvert
démonstratif
Voie K^p
[C] Conditionnel
[D] Démontré
[F] Falsifié
[O] Ouvert
démonstratif
Complétion eulérienne · pont archimédien
[C] Conditionnel
[O] Ouvert
démonstratif
Verrou F — le recollement adélique
[C] Conditionnel
[O] Ouvert
démonstratif
H3 — trois mondes à recoller
[C] Conditionnel
[D] Démontré
[O] Ouvert
démonstratif
Pont det₂ ↔ ξ – Verrou F3
[C] Conditionnel
[O] Ouvert
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
Résidu Δ(t) — indépendance du triplet
[H] Heuristique
[M] Mesuré
[O] Ouvert
expérimental
Notation des reliefs — R = (Z, U, A, F)
[D] Démontré
[H] Heuristique
[O] Ouvert
démonstratif
méditatif
Reliefs mod 210 / 2310 / 30030
[M] Mesuré
[O] Ouvert
démonstratif
méditatif
Borne KLMN
[C] Conditionnel
[O] Ouvert
démonstratif
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
Lemme 7 / résidu critique
[C] Conditionnel
[F] Falsifié
[O] Ouvert
démonstratif
λ = 1/√7
[D] Démontré
[H] Heuristique
[M] Mesuré
[O] Ouvert
démonstratif
Mersenne
[O] Ouvert
démonstratif
expérimental
Le (S)enseur
[O] Ouvert
démonstratif
poétique
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