Calculation, data processing, and automated reasoning.