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.
Vote
View Results
See this poll on:
https://poll.fm/1000973/embed