Franco Saliola est un jeune chercheur du Département de mathématiques de l’Université du Québec à Montréal qui a intégré avec succès l’exploration à l’aide du calcul symbolique dans de nombreuses facettes de son programme de recherche. Il travaille dans un domaine des mathématiques où les propriétés des objets géométriques et algébriques peuvent être explorées en examinant les interactions entre certaines structures de données combinatoires. Un fil conducteur de ce programme de recherche est dédié au développement de techniques de décomposition de certains objets complexes (“représentations”) et à leur application à des problèmes de décomposition de longue date en algèbre linéaire, en théorie des probabilités et en représentation des groupes. Parmi les utilisations du calcul symbolique, on peut mentionner : le développement efficace de l’intuition et de la visualisation de problèmes de recherche; la capacité à explorer des exemples complexes qui seraient difficiles d’explorer autrement; et l’élaboration de stratégies de preuve par le biais de manipulations formelles d’algèbre de haut niveau.
