Use computer algebra systems for exact calculation, symbolic manipulation, equation solving, differentiation, integration, and hypothesis testing without treating output as proof.
