Développement : Théorème des restes chinois effectif

Détails/Enoncé :

Preuve du théorème des restes chinois dans un anneau principal en explicitant la formule de la surjection.
Application à la résolution de systèmes de congruences.

Versions :

Pas de version pour ce développement.