Symbolic demonstrations in MuPAD-Combinat

Detalhes bibliográficos
Autor(a) principal: Abbad, Houda
Data de Publicação: 2008
Outros Autores: Laugerotte, Éric
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UFLA
Texto Completo: http://repositorio.ufla.br/jspui/handle/1/14975
Resumo: 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.
id UFLA_512c35eb4d8d91109a8a68f92b59e9f4
oai_identifier_str oai:localhost:1/14975
network_acronym_str UFLA
network_name_str Repositório Institucional da UFLA
repository_id_str
spelling Symbolic demonstrations in MuPAD-CombinatRational seriesWeighted automataRational expressionsSymbolic computationsMuPADMulti processing algebra dataThis 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.Universidade Federal de Lavras (UFLA)2008-12-012017-08-01T21:08:40Z2017-08-01T21:08:40Z2017-08-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfABBAD, H.; LAUGEROTTE, É. Symbolic demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science, Lavras, v. 7, n. 4, p. 21-30, Dec. 2008.http://repositorio.ufla.br/jspui/handle/1/14975INFOCOMP; Vol 7 No 4 (2008): December, 2008; 21-301982-33631807-4545reponame:Repositório Institucional da UFLAinstname:Universidade Federal de Lavras (UFLA)instacron:UFLAenghttp://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/235/220Copyright (c) 2016 INFOCOMP Journal of Computer ScienceAttribution 4.0 Internationalhttp://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessAbbad, HoudaLaugerotte, Éric2021-09-26T17:33:14Zoai:localhost:1/14975Repositório InstitucionalPUBhttp://repositorio.ufla.br/oai/requestnivaldo@ufla.br || repositorio.biblioteca@ufla.bropendoar:2021-09-26T17:33:14Repositório Institucional da UFLA - Universidade Federal de Lavras (UFLA)false
dc.title.none.fl_str_mv Symbolic demonstrations in MuPAD-Combinat
title Symbolic demonstrations in MuPAD-Combinat
spellingShingle Symbolic demonstrations in MuPAD-Combinat
Abbad, Houda
Rational series
Weighted automata
Rational expressions
Symbolic computations
MuPAD
Multi processing algebra data
title_short Symbolic demonstrations in MuPAD-Combinat
title_full Symbolic demonstrations in MuPAD-Combinat
title_fullStr Symbolic demonstrations in MuPAD-Combinat
title_full_unstemmed Symbolic demonstrations in MuPAD-Combinat
title_sort Symbolic demonstrations in MuPAD-Combinat
author Abbad, Houda
author_facet Abbad, Houda
Laugerotte, Éric
author_role author
author2 Laugerotte, Éric
author2_role author
dc.contributor.author.fl_str_mv Abbad, Houda
Laugerotte, Éric
dc.subject.por.fl_str_mv Rational series
Weighted automata
Rational expressions
Symbolic computations
MuPAD
Multi processing algebra data
topic Rational series
Weighted automata
Rational expressions
Symbolic computations
MuPAD
Multi processing algebra data
description 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.
publishDate 2008
dc.date.none.fl_str_mv 2008-12-01
2017-08-01T21:08:40Z
2017-08-01T21:08:40Z
2017-08-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv ABBAD, H.; LAUGEROTTE, É. Symbolic demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science, Lavras, v. 7, n. 4, p. 21-30, Dec. 2008.
http://repositorio.ufla.br/jspui/handle/1/14975
identifier_str_mv ABBAD, H.; LAUGEROTTE, É. Symbolic demonstrations in MuPAD-Combinat. INFOCOMP Journal of Computer Science, Lavras, v. 7, n. 4, p. 21-30, Dec. 2008.
url http://repositorio.ufla.br/jspui/handle/1/14975
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv http://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/235/220
dc.rights.driver.fl_str_mv Copyright (c) 2016 INFOCOMP Journal of Computer Science
Attribution 4.0 International
http://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2016 INFOCOMP Journal of Computer Science
Attribution 4.0 International
http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Lavras (UFLA)
publisher.none.fl_str_mv Universidade Federal de Lavras (UFLA)
dc.source.none.fl_str_mv INFOCOMP; Vol 7 No 4 (2008): December, 2008; 21-30
1982-3363
1807-4545
reponame:Repositório Institucional da UFLA
instname:Universidade Federal de Lavras (UFLA)
instacron:UFLA
instname_str Universidade Federal de Lavras (UFLA)
instacron_str UFLA
institution UFLA
reponame_str Repositório Institucional da UFLA
collection Repositório Institucional da UFLA
repository.name.fl_str_mv Repositório Institucional da UFLA - Universidade Federal de Lavras (UFLA)
repository.mail.fl_str_mv nivaldo@ufla.br || repositorio.biblioteca@ufla.br
_version_ 1815439302649184256

Registros relacionados