Calcul formel et manipulations symboliques

Des logiciels tels que Maple, Mathematica, Reduce... transforment un
ordinateur personnel usuel en un assistant mathématicien . Comment dialoguer
avec cet assistant ? Que peut-il faire ? Quelles sont ses limitations ?
Comment l'exploiter au mieux ? Comment étendre ses possibilités de calcul ?
Telles sont, parmi d'autres, les questions auxquelles le livre tente de donner
des réponses claires et pratiques. Le premier chapitre vise à donner au
lecteur une bonne compréhension du fonctionnement de ces logiciels et de lui
permettre de bien les exploiter. Il est invité à considérer les diverses
facettes du calcul mathématique depuis le calcul numérique jusqu'à la
résolution des équations différentielles. A chaque étape de cette excursion,
des exemples, pour la plupart réalisés à l'intérieur du logiciel Reduce mais
que l'on peut aussi réaliser dans les autres systèmes, illustrent et
concrétisent le propos. Quand c'est utile, les concepts sous-jacents sont
expliqués de façon simple. Le second chapitre met en évidence le fait que le
calcul mathématique n'est qu'un cas particulier de manipulations de symboles
dotés de propriétés. On y explique comment on peut rendre l'ordinateur
intelligent et lui faire comprendre des concepts. A cette fin, on décrit les
caractéristiques essentielles du langage LISP. Ensuite, on étudie le langage
RLISP dans lequel le système Reduce est construit. Cette démarche permet de
décrire le système en profondeur et donne au lecteur la possibilité d'acquérir
la même puissance de programmation que ceux qui développent le système. Le
livre est complété par un index contenant les différentes fonctions
considérées ce qui en fait un complément utile aux manuels d'utilisation des
logiciels de calcul formel existants.