Les invariants comme outils de preuve

Dans le périodique : Tangente. Hors-série (Paris), n°047 (10/2012)
• Auteur : Hervé Lehning
• Pages : p.6-8
• • Nature du document : documentaire
  • Résumé :

    Quelques exemples d'utilisation des invariants : la preuve par neuf, transformations arithmétiques, PGCD et théorème de Bachet, jeu de Nim et vecteurs.

• • Descripteurs : arithmétique