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
[P] Probatoire
H1 — l’auto-adjonction, fermée par une borne
[D] Démontré
[P] Probatoire
démonstratif
Bootstrap · Cramér modulaire · Score de relief
[C] Conditionnel
[M] Mesuré
[P] Probatoire
expérimental
L_race — L_HL — Phase 2.8.7
[D] Démontré
[O] Ouvert
[P] Probatoire
expérimental
L_joint_split (Phase 2.8.6-F1)
[D] Démontré
[F] Falsifié
[M] Mesuré
[P] Probatoire
expérimental
Théorème A.4′ — orbite A₄ = {1,11,19,29}
[D] Démontré
[P] Probatoire
démonstratif
Local Residue Relief Database · Crible en temps réel
[D] Démontré
[M] Mesuré
[P] Probatoire
expérimental
Matrices de préférence / asymétrie / transition
[M] Mesuré
[P] Probatoire
expérimental
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
Crible en temps réel
[M] Mesuré
[P] Probatoire
expérimental
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