Aller au contenu
Accueil
Objectif
Programme
La méthode
Recherche
Feuille de route
Connectome
Organisme incarné
Mathématiques
Travaux
Documents déposés
ArithSpec
Certification par tick
Deux marges
Robustesse au taux
Quantification connectome
Résultats
Atlas
Packomania
ESA SpOC 4
ESA Luna Tomato
IBM Ponder This
Friedman
FlyWire Codex
ex(50 ; C4) : un graphe à 50 sommets et
Kakeya discret : l’aire de l’union de 12
Distances unitaires entre points rationn
Complexité entière de 2⁶¹ − 1 : une expr
Contact
FR
EN
Travaux
L’organisme simulé : un quadrupède rejouable, reprenable et auditable
