Résumé : Les tendances de l'évolution des logiciels de calcul formel sont présentées, telles qu'elles sont ressenties par l'auteur à l'aube de l'an 2000. Deux points sont paticulièrement développés~: La multiplications des logiciels spécialisés performants et la résolution des systèmes d'équations polynomiales, où des progrès remarquables sont en cours.}
Daniel Lazard. Calcul formel : tendances et progrès récents. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2000, 19 (1-2-3), pp.325-333. ⟨inria-00099273⟩