Approach to mathematics in which computation is used to investigate mathematical objects and identify properties and patterns