Is machine calculation acceptable in a mathematical proof at the undergraduate level?

• Yes; technology is just another means of crafting a convincing argument.

• No; students need to learn to use pure logical deduction as the only reliable source of proof.

• That question is above my pay grade.