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