RI UFLA (Universidade Federal de Lavras) >
Revistas UFLA >
Infocomp >

Please use this identifier to cite or link to this item: http://repositorio.ufla.br/jspui/handle/1/10277

Title: Symbolic demonstrations in MuPAD-Combinat
???metadata.dc.creator???: Abbad, Houda
Laugerotte, Éric
Keywords: Rational series
Weighted automata
Rational expressions
Symbolic computations
MuP AD-Combinat
Séries racionais
Autômatos ponderada
Expressões racionais
Computações simbólicas
Publisher: Editora da UFLA
???metadata.dc.date???: 1-Dec-2008
Citation: ABBAD, H.; LAUGEROTTE, E. Symbolic demonstrations in MuPAD-Combinat. INFOCOMP: Journal of Computer Science, Lavras, v. 7, n. 4, p. 21-30, Dec. 2008.
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.
Other Identifiers: http://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/235
???metadata.dc.language???: eng
Appears in Collections:Infocomp

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

View Statistics


DSpace Software Copyright © 2002-2010  Duraspace - Feedback