TY - JOUR AU - Lagrange, Jean-Baptiste TI - DERIVE, un système de calcul formel en classe de mathématiques JO - Publications de l'Institut de recherche mathématiques de Rennes N1 - talk:7 PY - 1993-1994 SP - 1 EP - 19 IS - 3 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://www.numdam.org/item/PSMIR_1993-1994___3_A7_0/ LA - fr ID - PSMIR_1993-1994___3_A7_0 ER -