Présentation rigoureuse d'énoncés mathématiques et de diverses techniques de preuves. Démonstration de résultats fondamentaux en algèbre, topologie, analyse, calcul et algorithmie.
- Responsable du site: Charles Audet
Présentation rigoureuse d'énoncés mathématiques et de diverses techniques de preuves. Démonstration de résultats fondamentaux en algèbre, topologie, analyse, calcul et algorithmie.