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.
