“The Use of DGS and CAS in Proving Theorems” (2014) R&E-SOURCE, 1. Available at: https://journal.ph-noe.ac.at/index.php/resource/article/view/101 (Accessed: 22 December 2024).