Calcul formel avec MuPAD

Résumé

MuPAD est le premier système complet de calcul formel développé en Europe ; il applique des algorithmes qui automatisent sans aucune approximation de nombreuses manipulations mathématiques dans des domaines aussi variés que l'analyse, l'algèbre polynomiale ou le calcul matriciel. Le système allie une grande facilité d'emploi au respect scrupuleux des propriétés des données traitées. Ce livre donne une vue d'ensemble de MuPAD ; il présente le plus simplement possible les commandes du système, en s'appuyant sur les définitions et les propriétés mathématiques sous-jacentes. Le cédérom joint - qui reprend la version 2,0 de MuPAD pour Linux et Windows - et les exemples de calculs illustrant le propos donnent la possibilité de découvrir concrètement le fonctionnement de ce système de calcul formel.

Sommaire

Les nombres

Fonctions mathématiques

Calculs en analyse

Simplifications et réécritures

Polynômes et fractions rationnelles

Algèbre linéaire

De l'algèbre pour l'analyse

Entre mathématique s et informatique

Autres domaines de l'application

Méthodes numériques

Tracé de courbes et commandes graphiques

Programmation

Ordres de grandeur des calculs sur les sentiers

Un exemple de catastrophe

Etude d'une loi de composition interne

La fonction tangente autour de zéro

Géométrie affine du plan

Caractérisation d'une rotation