In this talk, I will introduce some elementary examples for computer proofs. Besides some the facts and algorithms, such as WZ-method, the usage of some packages in Mathematica and SageMath will also be introduced. The focus will be on combinatorics, especially proving identities, number theory, and special functions.