Présente le calcul symbolique, une nouvelle manière d'appréhender les mathématiques par une approche résolument algorithmique et expérimentale, en utilisant Maple comme système sous-jacent.