Symbolic demonstrations in MuPAD-Combinat
Main Article Content
Abstract
This paper reports on a platform integrated to the open source package MuPAD-Combinat dedicated to the computation with rational expressions. Its main feature is the capacity of dealing with expressions whose scalars may belong to various algebraic structures. The paper describes some features of the platform as well as the data structures used in the implementation, details some algorithms and presents several illustrations of symbolic computations.
Article Details
How to Cite
Abbad, H., & Laugerotte, Éric. (2008). Symbolic demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science, 7(4), 21–30. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/235
Section
Articles
Upon receipt of accepted manuscripts, authors will be invited to complete a copyright license to publish the paper. At least the corresponding author must send the copyright form signed for publication. It is a condition of publication that authors grant an exclusive licence to the the INFOCOMP Journal of Computer Science. This ensures that requests from third parties to reproduce articles are handled efficiently and consistently and will also allow the article to be as widely disseminated as possible. In assigning the copyright license, authors may use their own material in other publications and ensure that the INFOCOMP Journal of Computer Science is acknowledged as the original publication place.