Quelle  bib.xml.bib   Sprache: Latech

@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}
}