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