Rotation en deux dimensionsExplore la rotation en deux dimensions, couvrant les produits vectoriels, l'élan angulaire et l'énergie cinétique des solides.
Formule sans quantificateurCouvre la transformation des formules sans quantificateur en formules équisatisfaisantes et la réduction pour résoudre l'arithmétique modulo.