Symbolic demonstrations in MuPAD-Combinat

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorAbbad, Houda-
Autor(es): dc.creatorLaugerotte, Éric-
Data de aceite: dc.date.accessioned2026-02-09T12:36:53Z-
Data de disponibilização: dc.date.available2026-02-09T12:36:53Z-
Data de envio: dc.date.issued2008-12-01-
Data de envio: dc.date.issued2017-08-01-
Data de envio: dc.date.issued2017-08-01-
Data de envio: dc.date.issued2017-08-01-
Fonte completa do material: dc.identifierhttps://repositorio.ufla.br/handle/1/14975-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/1164838-
Descrição: dc.descriptionThis 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.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Publicador: dc.publisherUniversidade Federal de Lavras (UFLA)-
Relação: dc.relationhttp://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/235/220-
Direitos: dc.rightsAttribution 4.0 International-
Direitos: dc.rightsAttribution 4.0 International-
Direitos: dc.rightshttp://creativecommons.org/licenses/by/4.0/-
Direitos: dc.rightshttp://creativecommons.org/licenses/by/4.0/-
???dc.source???: dc.sourceINFOCOMP; Vol 7 No 4 (2008): December, 2008; 21-30-
???dc.source???: dc.source1982-3363-
???dc.source???: dc.source1807-4545-
Palavras-chave: dc.subjectRational series-
Palavras-chave: dc.subjectWeighted automata-
Palavras-chave: dc.subjectRational expressions-
Palavras-chave: dc.subjectSymbolic computations-
Palavras-chave: dc.subjectMuPAD-
Palavras-chave: dc.subjectMulti processing algebra data-
Título: dc.titleSymbolic demonstrations in MuPAD-Combinat-
Tipo de arquivo: dc.typeinfo:eu-repo/semantics/article-
Tipo de arquivo: dc.typeinfo:eu-repo/semantics/publishedVersion-
Aparece nas coleções:Repositório Institucional da Universidade Federal de Lavras (RIUFLA)

Não existem arquivos associados a este item.