It's called experimental mathematics. It's gathering data about known structures to make conjectures about all structures satisfying certain properties.

Not to mention that, even outside of experimental math, there are plenty of pain-in-the-ass calculations that computer algebra systems make so much easier.