Le logiciel Mentoniezh
Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 153-155.
@article{PSMIR_1998___S4_153_0,
     author = {Py, Dominique},
     title = {Le logiciel {Mentoniezh}},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     pages = {153--155},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {S4},
     year = {1998},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1998___S4_153_0/}
}
TY  - JOUR
AU  - Py, Dominique
TI  - Le logiciel Mentoniezh
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1998
SP  - 153
EP  - 155
IS  - S4
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1998___S4_153_0/
LA  - fr
ID  - PSMIR_1998___S4_153_0
ER  - 
%0 Journal Article
%A Py, Dominique
%T Le logiciel Mentoniezh
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1998
%P 153-155
%N S4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1998___S4_153_0/
%G fr
%F PSMIR_1998___S4_153_0
Py, Dominique. Le logiciel Mentoniezh. Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 153-155. http://www.numdam.org/item/PSMIR_1998___S4_153_0/