Calcul Formel Et Manipulations Symboliques Caprasse, Hubert

Résumé :

Des logiciels tels que Maple, Mathematica, Reduce... transforment un ordinateur usuel en un assistant mathématicien . Comment dialoguer avec cet assistant ? Que peut-il faire ? Quelles sont ses limites ? Comment l'exploiter au mieux ? Comment étendre ses possibilités de calcul ? Telles sont, parmi d'autres, les questions auxquelles Calcul formel et manipulations symboliques tente de donner des réponses claires et pratiques.

Le premier chapitre donne au lecteur une bonne compréhension du fonctionnement de ces logiciels et lui permet 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, des exemples, pour la plupart réalisés à l'intérieur du logiciel Reduce mais qui peuvent l'être 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 manipulation 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.

A propos de l'auteur :

Hubert Caprasse est docteur en sciences physiques. Il enseigne la physique des particules et le calcul formel à l'université de Liège.

Sommaire :

LE CALCUL FORMEL

Besoin d'en savoir plus sur ce produit ?