Construction et vérification de figures géométriques dans le système
Publications de l'Institut de recherche mathématiques de Rennes, no. 5 (1988-1989), Exposé no. 8, 6 p.
@article{PSMIR_1988-1989___5_A8_0,
     author = {Nicolas, Pierrick},
     title = {Construction et v\'erification de figures g\'eom\'etriques dans le syst\`eme},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     note = {talk:8},
     pages = {1--6},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {5},
     year = {1988-1989},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1988-1989___5_A8_0/}
}
TY  - JOUR
AU  - Nicolas, Pierrick
TI  - Construction et vérification de figures géométriques dans le système
JO  - Publications de l'Institut de recherche mathématiques de Rennes
N1  - talk:8
PY  - 1988-1989
SP  - 1
EP  - 6
IS  - 5
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1988-1989___5_A8_0/
LA  - fr
ID  - PSMIR_1988-1989___5_A8_0
ER  - 
%0 Journal Article
%A Nicolas, Pierrick
%T Construction et vérification de figures géométriques dans le système
%J Publications de l'Institut de recherche mathématiques de Rennes
%Z talk:8
%D 1988-1989
%P 1-6
%N 5
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1988-1989___5_A8_0/
%G fr
%F PSMIR_1988-1989___5_A8_0
Nicolas, Pierrick. Construction et vérification de figures géométriques dans le système. Publications de l'Institut de recherche mathématiques de Rennes, no. 5 (1988-1989), Exposé no. 8, 6 p. http://www.numdam.org/item/PSMIR_1988-1989___5_A8_0/