It's problem solving (i.e. finding a proof of a statement or finding one or more mathematical objects that have some given properties and proving they have them and possibly that no other objects do), not computation.