Abbad, Houda, and Éric Laugerotte. “Symbolic Demonstrations in MuPAD-Combinat”. INFOCOMP Journal of Computer Science 7, no. 4 (December 1, 2008): 21–30. Accessed May 3, 2024. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/235.