Please use this identifier to cite or link to this item: http://repositorio.ufla.br/jspui/handle/1/14975
Full metadata record
DC FieldValueLanguage
dc.creatorAbbad, Houda-
dc.creatorLaugerotte, Éric-
dc.date2008-12-01-
dc.date.accessioned2017-08-01T21:08:40Z-
dc.date.available2017-08-01T21:08:40Z-
dc.date.issued2017-08-01-
dc.identifier.citationABBAD, H.; LAUGEROTTE, É. Symbolic demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science, Lavras, v. 7, n. 4, p. 21-30, Dec. 2008.-
dc.identifier.urihttp://repositorio.ufla.br/jspui/handle/1/14975-
dc.description.abstractThis 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.-
dc.formatapplication/pdf-
dc.languageeng-
dc.publisherUniversidade Federal de Lavras (UFLA)-
dc.relationhttp://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/235/220-
dc.rightsCopyright (c) 2016 INFOCOMP Journal of Computer Science-
dc.rightsAttribution 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/*
dc.sourceINFOCOMP; Vol 7 No 4 (2008): December, 2008; 21-30-
dc.source1982-3363-
dc.source1807-4545-
dc.subjectRational series-
dc.subjectWeighted automata-
dc.subjectRational expressions-
dc.subjectSymbolic computations-
dc.subjectMuPAD-
dc.subjectMulti processing algebra data-
dc.titleSymbolic demonstrations in MuPAD-Combinat-
dc.typeinfo:eu-repo/semantics/article-
dc.typeinfo:eu-repo/semantics/publishedVersion-
Appears in Collections:Infocomp

Files in This Item:
File Description SizeFormat 
ARTIGO_Symbolic demonstrations in MuPAD-Combinat.pdf139,89 kBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons