Le 22 avril 2014, c’était la journée de lancement du trimestre Sémantique des preuves et des programmes et mathématiques certifiées.
ÉCRIT PAR
Pierre Pansu
Professeur - Université Paris-Saclay
La sémantique, c’est romantique
Écrit par
Pierre Pansu
Publié le
8 juin 2014
Peu illustré
15 - 30 minutes
Il est possible d’utiliser des commandes LaTeX pour rédiger des commentaires — mais nous ne recommandons pas d’en abuser ! Les formules mathématiques doivent être composées avec les balises .
Par exemple, on pourra écrire que sont les deux solutions complexes de l’équation .
Si vous souhaitez ajouter une figure ou déposer un fichier ou pour toute autre question, merci de vous adresser au secrétariat.