Coefficients binomiaux, multinomiaux et dénombrement Un lien entre algèbre et combinatoire mathématiques dénombrement
Un peu de science insolite avec les prix Ig Nobel 2021 Quand la recherche fait d'abord rire, puis réfléchir. Encore et toujours ! ig nobel
Écrire des programmes prouvés corrects avec Coq Garantir mathématiquement le respect d'une spécification programmation coq méthodes formelles
Zeste de Savoir participe au Hacktoberfest 2022 Le mois d'octobre est idéal pour faire vos premières contributions au projet technique ! zeste de savoir hacktoberfest
