Can Maple 11 handle Discrete Math Topics such as induction? And, what can it do considering Disrcete Math?
What any computer algebra system (CAS) can do is almost all numeric calculations and a limited set of symbolic operations.
If one understands the basic operations involved in an induction, then it can be checked using a CAS. However, if someone expects a CAS to do some original thinking then that person is delusion. A CAS such as Maple is only as learned as the user.
Computers still CAN NOT THINK!