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
Qui sommes-nous / Pourquoi ce projet ?
Carte & Territoire
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
Histoire d’une discipline
Direction de recherche
Le Programme (V3)
Vérifier vous-même
Résultats minimaux
Reconstruction
Reprise
Fibres de réalisation
Provenance
Capacités de reprise
Les mathématiques du programme
InterIA — Transparence
Ce que CU ne revendique pas
Publications & dépôts
Transmission & Compagnonnage
Le (S)enseur
Le (S)enseur
la Galerie des dépromotions
Contradictions & dettes
Dettes publiques explicites
Recherches
Recherches (Catalogue)
Doctrine du statut
Voie K# fermée (C-031) / Voie K^p
Registre mathématique
Vocabulaire
Cadres philosophiques
Méthodes formelles & IA
Falsifiabilité par branche
Recherche humain–IA
Travaux voisins & convergences
Vers une qualité commune
Benchmark scientifique 2026
Panorama recherche actuelle
Passerelles
Passerelles
Résonances anciennes
Cycle du Passage
Fonds Bernard : Rangs et Pièces
Contact
search
Recherche par Project Attribute
[C] Conditionnel
Bootstrap · Cramér modulaire · Score de relief
[C] Conditionnel
[M] Mesuré
[P] Probatoire
expérimental
L_uniform · L_geo · L_CRT
[C] Conditionnel
[D] Démontré
[M] Mesuré
expérimental
Comparaison Hardy–Littlewood locale
[C] Conditionnel
[M] Mesuré
[O] Ouvert
expérimental
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
Borne KLMN
[C] Conditionnel
[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
Close Menu
A propos
Comprendre le projet
Qui sommes-nous / Pourquoi ce projet ?
Carte & Territoire
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
Histoire d’une discipline
Direction de recherche
Le Programme (V3)
Vérifier vous-même
Résultats minimaux
Reconstruction
Reprise
Fibres de réalisation
Provenance
Capacités de reprise
Les mathématiques du programme
InterIA — Transparence
Ce que CU ne revendique pas
Publications & dépôts
Transmission & Compagnonnage
Le (S)enseur
Le (S)enseur
la Galerie des dépromotions
Contradictions & dettes
Dettes publiques explicites
Recherches
Recherches (Catalogue)
Doctrine du statut
Voie K# fermée (C-031) / Voie K^p
Registre mathématique
Vocabulaire
Cadres philosophiques
Méthodes formelles & IA
Falsifiabilité par branche
Recherche humain–IA
Travaux voisins & convergences
Vers une qualité commune
Benchmark scientifique 2026
Panorama recherche actuelle
Passerelles
Passerelles
Résonances anciennes
Cycle du Passage
Fonds Bernard : Rangs et Pièces
Contact