Fairouz Kamareddine

Une plongée profonde dans la substitution et son rôle dans le calcul des lambda.

Un aperçu du parcours des mathématiques depuis ses racines anciennes jusqu'aux concepts modernes.

Cet article parle de la transition vers des documents de mathématiques plus clairs en utilisant le balisage sémantique.