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