Output details
11 - Computer Science and Informatics
University of Edinburgh
Article title
Sufficiency Conditions for Bokut' Normal Forms
Type
D - Journal article
Title of journal
Communications in Algebra
Article number
-
Volume number
39
Issue number
8
First page of article
2862
ISSN of journal
0092-7872
Year of publication
2011
Number of additional authors
0
Additional information
<10> Originality: Groups with a standard basis were introduced by Bokut' in the 1960s. The existence and uniqueness of normal forms is not guaranteed and must be shown for each case. This paper establishes general conditions under which existence and uniqueness are guaranteed.
Significance: This is the first effort of this type and opens up the possibility of further research in establishing the existence of normal forms via machine assistance. Also shows that these normal forms can be viewed as examples of Groebner-Shirshov forms.
Rigour: Refereed and published in an international journal; all proofs provided in full in the paper.
Interdisciplinary
-
Cross-referral requested
-
Research group
F - Laboratory for Foundations of Computer Science
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
