%0 Journal Article
%A Lagrange, Jean-Baptiste
%T DERIVE, un système de calcul formel en classe de mathématiques
%J Publications de l'Institut de recherche mathématiques de Rennes
%Z talk:7
%D 1993-1994
%P 1-19
%N 3
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1993-1994___3_A7_0/
%G fr
%F PSMIR_1993-1994___3_A7_0