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