Dans cet atelier, on essaiera de mettre en évidence des propriétés
mathématiques, dans des activités interactives d'algorithmique
et programmation sous Mathematica.
Si le style procédural convient à la production de code compilé, destiné à augmenter la rapidité des calculs numériques, il est rarement le plus adapté au calcul formel. Les autres styles, plus proches de la pensée mathématique, la traduisent souvent de façon plus directe, plus élégante et plus rapide.
En fin de compte, l'idéal est évidemment de disposer d'un
langage de programmation symbolique multiparadigme, où les trois
grands styles de programmation : procédural ou impératif,
fonctionnel, transformationnel ou déclaratif, viendraient fusionner.