Pech, Pavel. „The Use of DGS and CAS in Proving Theorems“. R&E-SOURCE 1 (November 19, 2014). Zugegriffen Mai 2, 2024. https://journal.ph-noe.ac.at/index.php/resource/article/view/101.