Explore la première proposition d'Euclide et ses implications architecturales, en soulignant la pertinence durable des principes géométriques classiques dans la pratique architecturale contemporaine.
Explore la relativité galiléenne, les transformations entre les systèmes de coordonnées inertielles, les horloges synchronisées et le mouvement de visualisation dans l'espace-temps en quatre dimensions.
Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.
