can we use mathematica to prove theorems??

tasneemsmadi · November 9, 2015, 9:03am

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

fkampas · November 9, 2015, 2:31pm

tasneemsmadi · November 9, 2015, 6:26pm

Thank you very much Frank Kampas

Topic		Replies	Views
Fundamental question about symbolic capabilities of Wolfram Language Questions physics , symbolic-computations	12	12911	May 20, 2015
How to prove that Sum[2 i, {i, 1, n}] == n^2 + n Questions symbolic-computations	7	7438	October 25, 2014
[WSS23] Empirical metamathematics: extending the Lean-to-Mathematica bridge Staff Picks software-development , external-interfaces , graphics-and-visualization , graphs-and-networks , ui-ux-and-ide , staff-pick , wolfram-summer-research-institute	1	7326	July 12, 2023
How to prove an expression by method of mathematical induction? Questions computer-science , mathematica	1	6059	February 11, 2014
[WSC18] Implementation of Common Axiom Systems and Proof Generation Staff Picks algebra , equation-solving , graphics-and-visualization , graphs-and-networks , logic , computer-based-maths , staff-pick , wolfram-high-school-summer-research-program , mathematics-and-foundations	2	22730	July 20, 2018

can we use mathematica to prove theorems??

Related topics