can we use mathematica to prove theorems?? I am studying elementary number theory and I have a lot of theorems need to proof and some questions how mathematica can help?? thanks in advance
Thank you very much Frank Kampas
