@manual{ AutoDoc,
author = {Gutsche, S. and Horn, M.},
title = {{AutoDoc
\texttt{
\symbol{
45}} Generate documentation
from GAP source code (Version
2023.
06.
19)}},
year = {
2023},
note = {GAP package,
\href
{
https://github.com/gap-packages/AutoDoc}
{
\texttt{
https://github.com/}\discretionary
{}{}{}
\texttt{gap
\texttt{
\symbol{
45}}packages/}
\discretionary
{}{}{}
\texttt{AutoDoc}}},
printedkey = {GH23}
}
@manual{ GAPDoc,
author = {L{
\"u}beck, F. and Neunh{
\"o}ffer, M.},
title = {{GAPDoc (Version
1.
6)}},
organization = {RWTH Aachen},
year = {
2017},
note = {GAP package,
\href
{
https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html}
{
\texttt{
https://www.math.rwth\texttt{
\symbol{
45}}aachen.de/}
\discretionary
{}{}{}
\texttt{
\texttt{
\symbol{
126}}Frank.Luebeck/}
\discretionary
{}{}{}
\texttt{GAPDoc/}
\discretionary
{}{}{}
\texttt{index.html}}},
printedkey = {LN17}
}
@manual{ GBNP,
author = {Cohen, A. and Knopper, J.},
title = {{GBNP
\texttt{
\symbol{
45}} computing Gr{
\"o}bner bases
of noncommutative polynomials (Version
1.
1.
0)}},
organization = {Discrete Algebra and Geometry (DAM) group at the
Department of Mathematics and Computer Science of
Eindhoven University of Technology},
year = {
2001\texttt{
\symbol{
45}}
2024},
note = {GAP package,
\href
{
https://github.com/gap-packages/gbnp}
{
\texttt{
https://github.com/}\discretionary
{}{}{}
\texttt{gap
\texttt{
\symbol{
45}}packages/}
\discretionary
{}{}{}
\texttt{gbnp}}},
printedkey = {CK24}
}
@manual{ GitHubPagesForGAP,
author = {Horn, M.},
title = {{A GitHub
Pages generator for GAP packages (Version
0.
3)}},
year = {
2019},
note = {GAP package,
\href
{
https://github.com/gap-system/GitHubPagesForGAP/}
{
\texttt{
https://github.com/}\discretionary
{}{}{}
\texttt{gap
\texttt{
\symbol{
45}}system/}
\discretionary
{}{}{}
\texttt{GitHubPagesForGAP/}}},
printedkey = {Hor19}
}
@misc{ GBNP1.
0.
5,
author = {Cohen, A. and Knopper, J.},
title = {{GBNP}, computing Gr{
\"o}bner bases of noncommutative
polynomials, {V}ersion
1.
0.
5},
year = {
2022},
note = {Refereed GAP package},
howpublished = {
\href {
https://gap-packages.github.io/gbnp/}
{
\texttt{
https://gap\texttt{
\symbol{
45}}packages.github.io/}
\discretionary
{}{}{}
\texttt{gbnp/}}},
printedkey = {CK22}
}
@phdthesis{ gareth-thesis,
author = {Evans, G. A.},
title = {Noncommutative Involutive Bases},
school = {University of Wales, Bangor},
year = {
2005},
note = {
\href {
https://arxiv.org/pdf/math/0602140.pdf}
{
\texttt{
https://arxiv.org/}\discretionary
{}{}{}
\texttt{pdf/}
\discretionary
{}{}{}
\texttt{math/}
\discretionary
{}{}{}
\texttt{
0602140.pdf}}},
printedkey = {Eva05}
}
@inproceedings{ Beaumont,
author = {Evans, G. A.},
editor = {Leech, J.},
booktitle = {Proc. Int. Conf. Applications of Computer Algebra},
title = {Noncommutative Involutive Bases},
publisher = {Pergamon Press},
year = {
1970},
pages = {
263\texttt{
\symbol{
45}}
297},
printedkey = {Eva70}
}
@
article{ EW-JSC,
author = {Evans, G. A. and Wensley, C. D.},
title = {Complete involutive rewriting systems},
journal = {Symbolic Comput.},
volume = {
42},
year = {
2007},
pages = {
1034\texttt{
\symbol{
45}}
1051},
printedkey = {EW07}
}
@
article{ onthewalk,
author = {Amrhein, B. and Gloor, O. and K{
\"u}chlin, W.},
title = {On the Walk},
journal = {Theoret. Comput. Sci.},
volume = {
187 (
1\texttt{
\symbol{
45}}
2)},
year = {
1997},
pages = {
179\texttt{
\symbol{
45}}
202},
printedkey = {AGK97}
}
@
article{ bergman,
author = {Bergman, G. M.},
title = {The Diamond Lemma for Ring Theory},
journal = {Adv. in Math.},
volume = {
29 (
2)},
year = {
1978},
pages = {
178\texttt{
\symbol{
45}}
218},
printedkey = {Ber78}
}
@inproceedings{ buchberger,
author = {Buchberger, B.},
editor = {Buchberger, B. and Winkler, F.},
booktitle = {Gr{
\"o}bner Bases and Applications},
title = {An Algorithmic Criterion for the Solvability of a
System of Algebraic Equations. {T}ranslation of
{P}h.{D}. thesis by {M}. {A}bramson and {R}. {L}umbert},
publisher = {Cambridge University Press},
series = {Proc. London Math. Soc.},
volume = {
251},
year = {
1998},
pages = {
535\texttt{
\symbol{
45}}
545},
printedkey = {Buc98}
}
@inproceedings{ knuth-bendix,
author = {Knuth, D. E. and Bendix, P. B.},
editor = {Leech, J.},
booktitle = {Computational Problems in
Abstract Algebra},
title = {Simple word problems in universal algebras},
publisher = {Pergamon Press},
year = {
2004},
pages = {
263\texttt{
\symbol{
45}}
297},
printedkey = {KB04}
}
@
book{ lambe-radford,
author = {Lambe, L. A. and Radford, D. E.},
title = {Introduction to the Quantum
Yang
\texttt{
\symbol{
45}}Baxter Equation and Quantum
Groups: An Algebraic Approach},
publisher = {Kluwer Academic},
series = {Mathematics and its Applications},
volume = {
423},
year = {
1997},
printedkey = {LR97}
}
@inproceedings{ mora,
author = {Mora, T.},
editor = {Calmet, J.},
booktitle = {AAECC
\texttt{
\symbol{
45}}
3: Proc.
3rd Int. Conf. on
Algebraic Algorithms and
Error
\texttt{
\symbol{
45}}Correcting Codes (Grenoble,
France, July
15\texttt{
\symbol{
45}}
19,
1985)},
title = {Gr{
\"o}bner Bases for
non
\texttt{
\symbol{
45}}commutative polynomial rings},
publisher = {Springer},
series = {Lecture Notes in Comput. Sci.},
volume = {
223},
year = {
1986},
pages = {
353\texttt{
\symbol{
45}}
362},
printedkey = {Mor86}
}
@
article{ yuyu,
author = {Zharkov, A. Y. and Blinkov, Y. A.},
title = {Involution approach to investigating polynomial
systems},
journal = {Math. Comput. Simulation},
volume = {(
42)
4\texttt{
\symbol{
45}}
6},
year = {
1996},
pages = {
323\texttt{
\symbol{
45}}
332},
printedkey = {ZB96}
}
