Pech, P. „The Use of DGS and CAS in Proving Theorems“. R&E-SOURCE, Bd. 1, November 2014, https://journal.ph-noe.ac.at/index.php/resource/article/view/101.