Computer und Software können als kognitive Technologie beim Aufbau von und insbesondere auch beim Denken in und mit mentalen Modellen eine wichtige Rolle übernehmen. Ausgewählte Demostrationen aus den Gebieten Matrixkondition, Subtraktionskatastrophe, Termumformung, Fehlerfortpflanzung, rekursive Algorithmen, Näherungszahlen und Computereffekte untersetzen dies.