The Use of DGS and CAS in Proving Theorems. R&E-SOURCE 2014, 1.