The human mind can establish facts about mathematical objects even when the objects are difficult (or impossible) to write down explicitly. In this talk, we will look at some examples of how we use CAS environments as a platform for experimenting, to reduce computational overhead, and to build computational models of algebraic objects.