Regular Grobner bases
(2002) In Journal of Symbolic Computation 33(2). p.163-181- Abstract
- In this paper we introduce the concept of bi-automaton algebras, generalizing the automaton algebras previously defined by Ufnarovski. A bi-automaton algebra is a quotient of the free algebra, defined by a binomial ideal admitting a Grobner basis which can be encoded as a regular set; we call such a Grobner basis regular. We give several examples of bi-automaton algebras, and show how automata connected to regular Grobner bases can be used to perform reduction. (C) 2002 Academic Press.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/343793
- author
- Månsson, Jonas LU and Nordbeck, Patrik LU
- organization
- publishing date
- 2002
- type
- Contribution to journal
- publication status
- published
- subject
- in
- Journal of Symbolic Computation
- volume
- 33
- issue
- 2
- pages
- 163 - 181
- publisher
- Elsevier
- external identifiers
-
- wos:000173745400003
- scopus:0036167484
- ISSN
- 0747-7171
- DOI
- 10.1006/jsco.2001.0500
- language
- English
- LU publication?
- yes
- id
- 43c5812e-40c8-4b6b-9652-74439bcd81cf (old id 343793)
- date added to LUP
- 2016-04-01 15:52:03
- date last changed
- 2022-02-20 01:40:56
@article{43c5812e-40c8-4b6b-9652-74439bcd81cf, abstract = {{In this paper we introduce the concept of bi-automaton algebras, generalizing the automaton algebras previously defined by Ufnarovski. A bi-automaton algebra is a quotient of the free algebra, defined by a binomial ideal admitting a Grobner basis which can be encoded as a regular set; we call such a Grobner basis regular. We give several examples of bi-automaton algebras, and show how automata connected to regular Grobner bases can be used to perform reduction. (C) 2002 Academic Press.}}, author = {{Månsson, Jonas and Nordbeck, Patrik}}, issn = {{0747-7171}}, language = {{eng}}, number = {{2}}, pages = {{163--181}}, publisher = {{Elsevier}}, series = {{Journal of Symbolic Computation}}, title = {{Regular Grobner bases}}, url = {{http://dx.doi.org/10.1006/jsco.2001.0500}}, doi = {{10.1006/jsco.2001.0500}}, volume = {{33}}, year = {{2002}}, }