Sagemath with %display latex does practically the same thing, and it's much more powerful symbolic execution engine. Works with matrices too.