P. Pech, „The Use of DGS and CAS in Proving Theorems“, R&E-SOURCE, Bd. 1, Nov. 2014.