Symbolic demonstrations in MuPAD-Combinat

Página do item simplificado
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.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.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.urihttps://repositorio.ufla.br/handle/1/14975
dc.publisherUniversidade Federal de Lavras (UFLA)
dc.relationhttp://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/235/220
dc.rightsAttribution 4.0 International*
dc.rightsAttribution 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/*
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

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
ARTIGO_Symbolic demonstrations in MuPAD-Combinat.pdf
Tamanho:
139.89 KB
Formato:
Adobe Portable Document Format
Baixar

Coleções

Infocomp