ResPubID21671, undergraduate mathematics education, computer algebra system, mathematical induction