 |  |
Analysis engines for mats
- Computable numbers or expressions
The value is analyzed taking in account a precision parameter. An expression non fully calculated can eventually be accepted.
- Formal expression, equation
What is analyzed there is whether the formula is exact or not. For instance expressions for the law of Ohm like « U=R*I » and « R=U/I » will be recognized as equivalent.
- Multi-number structures
Sets, vectors, matrices. Specialists know how to compare them, WIMS knows also.