Anàlisi
Sistemes lineals i resolució matricial
La unitat desenvolupa la traducció de condicions a sistemes, la resolució per eliminació i Gauss, i la classificació segons el nombre de solucions. També presenta la resolució amb la inversa, la verificació contextual i la comparació crítica de models compatibles o incompatibles.