 |  |
Les moteurs d'analyse pour des maths
- Nombres ou expressions calculables
La valeur est analysée en prenant en compte un paramètre de précision. Une expression non totalement calculée peut être acceptée éventuellement.
- Expression formelle, équation
Ce qui est analysé là, c'est l'exactitude d'une formule. Par exemple, des expressions de la loi d'Ohm telles que « U=R*I » et « R=U/I » doivent être reconnues comme équivalentes.
- Structures à plusieurs nombres
Ensembles, vecteurs, matrices. Les spécialistes savent les comparer, WIMS aussi.