Computational linear algebra with models