PECH, P. The Use of DGS and CAS in Proving Theorems. R&E-SOURCE, [S. l.], v. 1, 2014. Disponível em: https://journal.ph-noe.ac.at/index.php/resource/article/view/101. Acesso em: 2 mai. 2024.