Le logiciel MuPAD, de Benno Fuchssteiner et al. (université de Paderborn et SciFace GmbH) est un logiciel généraliste de calcul formel. Le moteur de base, qui effectue les calculs formels, a été mis, comme TEX, à la libre disposition de la communauté scientifique (sous le nom de MuPAD Light). Puis doté d'une interface très conviviale, il a été diffusé d'abord gratuitement (MuPAD Studio), puis a été proposé dans une version plus accomplie (MuPAD Pro) à un prix très bas de 170 FF (aux étudiants et personnels d'établissements à but non lucratif), puis est devenu un produit commercial très coûteux.
"Introduction à MuPAD" traduit en français par André JACCOMARD, Edition Springer, 2001
"Calcul formel avec MuPAD" François Maltey, Edition Springer, 2002
Chaque object a un type unique, qui est aussi appelé son domaine. Pour l'afficher on utilise la fonction prédéfinie type( ). Voici la liste des domaine prédéfinis
Domaine |
Description |
Nom de |
| DOM_ARRAY | Array | M |
| DOM_LIST | Liste | L |
| DOM_SET | Ensemble | E1 |
| DOM_TABLE | Table | T |
| DOM_DOMAIN | Domaine | D1 |
| DOM_EXPR | Expression | e |
| DOM_BOOL | Les objects TRUE, FALSE, UNKNOWN | b |
| DOM_COMPLEX | Complexes | z |
| DOM_FLOAT | Float | x,y |
| DOM_RAT | Rationnel | r |
| DOM_INT | Integer | i,j,k,n |
| DOM_STRING | Chaîne de caractères | s |
| DOM_IDENT | Identifiant | x,y |
| DOM_INTERVAL | Interval float | h |
| DOM_POLY | Polynôme | P |
| DOM_FAIL | L’objet FAIL | |
| DOM_NIL | L’objet NIL | |
| DOM_NULL | L’objet vide null() | |
| DOM_POINT | Point | p |
| DOM_POLYGON | Polygone | G |
| DOM_PROC | Procédure | f |
| DOM_FUNC_ENV | Function environment | |
| DOM_VAR | Variable locale |