Christine Paulin-mohring
personne
mathématicienne et informaticienne française
Christine Paulin-Mohring, née le 31 mai 1962, est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Rocq.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Christine_Paulin-Mohring
Lien Wikidata : https://www.wikidata.org/wiki/Q33138766
Propriétés
- date_naissance
- +1962-05-3
- genre_personne
- féminin
- nationalite
- France
- occupation
- mathématicien ou mathématicienne
- p106_all
- mathématicien ou mathématicienne, informaticien ou informaticienne