01 Exolangage
L’exolangage est le langage formel de SGDL. Les machines s’y décrivent les objets et les contraintes spatiales, de l’échelle planétaire à l’échelle moléculaire, de façon exacte, et indépendamment de tout modèle particulier.
FONDATION SGDL
Le site de la fondation est en construction.
La Fondation SGDL offrira l’exolangage et EXviator au monde de l’enseignement et de la recherche non commerciale, en accès libre.
En attendant l’ouverture de sgdl.foundation, cette page dit à quoi la fondation sert.
02 EXviator
EXviator est le moteur de rendu du noyau exact. Il produit l’image de ce que le calcul affirme, pour que l’œil puisse le vérifier. Il sera offert avec l’exolangage, aux mêmes conditions.
03 Accès libre
L’offre s’adresse à l’enseignement et à la recherche non commerciale. L’accès y sera libre. Les conditions paraîtront à l’ouverture de sgdl.foundation.