| Author |
Comment/Response |
Daryl Robbins
|
 11/08/02 2:08pm
Is there any simple way to program Mathematica to do or partially do simple proofs using Mathematical Induction? For example, 1 + 2 + 3 + ... + k = k(k+1)/2
Sum[p,{p,1,k}] == k(k+1)/2
I have got it to simplify a sum with symbolic variables to a static expression, but I can't figure out how to make it prove things. Any help would be greatly appreciated, thank you.
/Daryl
URL: , |
|
