<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (IBNP) - References</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chapBib"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap6.html">[Previous Chapter]</a>    <a href="chapInd.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chapBib_mj.html">[MathJax on]</a></p>
<p><a id="X7A6F98FD85F02BFE" name="X7A6F98FD85F02BFE"></a></p>

<h3>References</h3>


<p><a id="biBonthewalk" name="biBonthewalk"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>AGK97</span>]   <b class='BibAuthor'>Amrhein, B., Gloor, O. and Küchlin, W.</b>,
 <i class='BibTitle'> On the Walk </i>,
 <span class='BibJournal'> Theoret. Comput. Sci. </span>,
 <em class='BibVolume'>187 (1-2)</em>
 (<span class='BibYear'>1997</span>),
 <span class='BibPages'>179-202</span>.
</p>


<p><a id="biBbergman" name="biBbergman"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Ber78</span>]   <b class='BibAuthor'>Bergman, G. M.</b>,
 <i class='BibTitle'> The Diamond Lemma for Ring Theory </i>,
 <span class='BibJournal'> Adv. in Math.</span>,
 <em class='BibVolume'>29 (2)</em>
 (<span class='BibYear'>1978</span>),
 <span class='BibPages'>178-218</span>.
</p>


<p><a id="biBbuchberger" name="biBbuchberger"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Buc98</span>]   <b class='BibAuthor'>Buchberger, B.</b> (<span class='BibEditor'>Buchberger, B. and Winkler, F.</span>, Eds.),
 <i class='BibTitle'>An Algorithmic Criterion for the Solvability of a 
         System of Algebraic Equations. 
         Translation of Ph.D. thesis 
         by M. Abramson and R. Lumbert
  </i>,
  in  <i class='BibBooktitle'>Gröbner Bases and Applications</i>,
 <span class='BibPublisher'>Cambridge University Press</span>,
 <span class='BibSeries'>Proc. London Math. Soc.</span>,
 <em class='BibVolume'>251</em>
 (<span class='BibYear'>1998</span>),
 <span class='BibPages'>535-545</span>.
</p>


<p><a id="biBGBNP" name="biBGBNP"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>CK24</span>]   <b class='BibAuthor'>Cohen, A. and Knopper, J.</b>,
 <i class='BibTitle'>GBNP - computing Gröbner bases of noncommutative polynomials 
         (Version 1.1.0)</i>,
 <span class='BibOrganization'>Discrete
Algebra and Geometry (DAM) group at the Department of Mathematics and 
Computer Science of Eindhoven University of Technology</span>
 (<span class='BibYear'>2001-2024</span>)<br />
(<span class='BibNote'>
    GAP package, 
    <a href="https://github.com/gap-packages/gbnp">https://github.com/gap-packages/gbnp</a>
  </span>).
</p>


<p><a id="biBBeaumont" name="biBBeaumont"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Eva70</span>]   <b class='BibAuthor'>Evans, G. A.</b> (<span class='BibEditor'>Leech, J.</span>, Ed.),
 <i class='BibTitle'> Noncommutative Involutive Bases </i>,
  in  <i class='BibBooktitle'> Proc. Int. Conf. Applications of Computer Algebra </i>,
 <span class='BibPublisher'> Pergamon Press </span>
 (<span class='BibYear'>1970</span>),
 <span class='BibPages'>263-297</span>.
</p>


<p><a id="biBgareth-thesis" name="biBgareth-thesis"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Eva05</span>]   <b class='BibAuthor'>Evans, G. A.</b>,
 <i class='BibTitle'>Noncommutative Involutive Bases</i>,
 <span class='BibType'>Ph.D. thesis</span>,
 <span class='BibSchool'>University of Wales, Bangor</span>
 (<span class='BibYear'>2005</span>)<br />
(<span class='BibNote'>
    <a href="https://arxiv.org/pdf/math/0602140.pdf">https://arxiv.org/pdf/math/0602140.pdf</a>
  </span>).
</p>


<p><a id="biBEW-JSC" name="biBEW-JSC"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>EW07</span>]   <b class='BibAuthor'>Evans, G. A. and Wensley, C. D.</b>,
 <i class='BibTitle'> Complete involutive rewriting systems </i>,
 <span class='BibJournal'> Symbolic Comput.</span>,
 <em class='BibVolume'>42</em>
 (<span class='BibYear'>2007</span>),
 <span class='BibPages'>1034-1051</span>.
</p>


<p><a id="biBAutoDoc" name="biBAutoDoc"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>GH23</span>]   <b class='BibAuthor'>Gutsche, S. and Horn, M.</b>,
 <i class='BibTitle'>AutoDoc - Generate documentation from GAP source code 
            (Version 2023.06.19)</i>
 (<span class='BibYear'>2023</span>)<br />
(<span class='BibNote'>
    GAP package, <a href="https://github.com/gap-packages/AutoDoc">https://github.com/gap-packages/AutoDoc</a>
  </span>).
</p>


<p><a id="biBGitHubPagesForGAP" name="biBGitHubPagesForGAP"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Hor19</span>]   <b class='BibAuthor'>Horn, M.</b>,
 <i class='BibTitle'>A GitHub Pages generator for GAP packages
            (Version 0.3)</i>
 (<span class='BibYear'>2019</span>)<br />
(<span class='BibNote'>
    GAP package, <a href="https://github.com/gap-system/GitHubPagesForGAP/">https://github.com/gap-system/GitHubPagesForGAP/</a>
  </span>).
</p>


<p><a id="biBknuth-bendix" name="biBknuth-bendix"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>KB04</span>]   <b class='BibAuthor'>Knuth, D. E. and Bendix, P. B.</b> (<span class='BibEditor'>Leech, J.</span>, Ed.),
 <i class='BibTitle'> Simple word problems in universal algebras </i>,
  in  <i class='BibBooktitle'> Computational Problems in Abstract Algebra </i>,
 <span class='BibPublisher'> Pergamon Press </span>
 (<span class='BibYear'>2004</span>),
 <span class='BibPages'>263-297</span>.
</p>


<p><a id="biBGAPDoc" name="biBGAPDoc"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>LN17</span>]   <b class='BibAuthor'>Lübeck, F. and Neunhöffer, M.</b>,
 <i class='BibTitle'>GAPDoc (Version 1.6)</i>,
 <span class='BibOrganization'>RWTH Aachen</span>
 (<span class='BibYear'>2017</span>)<br />
(<span class='BibNote'>
    GAP package, 
    <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html">https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html</a>
  </span>).
</p>


<p><a id="biBlambe-radford" name="biBlambe-radford"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>LR97</span>]   <b class='BibAuthor'>Lambe, L. A. and Radford, D. E.</b>,
 <i class='BibTitle'>Introduction to the Quantum Yang-Baxter Equation
         and Quantum Groups: An Algebraic Approach</i>,
 <span class='BibPublisher'>Kluwer Academic</span>,
 <span class='BibSeries'>Mathematics and its Applications</span>,
 <em class='BibVolume'>423</em>
 (<span class='BibYear'>1997</span>).
</p>


<p><a id="biBmora" name="biBmora"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Mor86</span>]   <b class='BibAuthor'>Mora, T.</b> (<span class='BibEditor'>Calmet, J.</span>, Ed.),
 <i class='BibTitle'>Gröbner Bases for non-commutative polynomial rings </i>,
  in  <i class='BibBooktitle'> AAECC-3: Proc. 3rd Int. Conf. on Algebraic Algorithms
              and Error-Correcting Codes
              (Grenoble, France, July 15-19, 1985)
  </i>,
 <span class='BibPublisher'> Springer </span>,
 <span class='BibSeries'> Lecture Notes in Comput. Sci. </span>,
 <em class='BibVolume'>223</em>
 (<span class='BibYear'>1986</span>),
 <span class='BibPages'>353-362</span>.
</p>


<p><a id="biByuyu" name="biByuyu"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>ZB96</span>]   <b class='BibAuthor'>Zharkov, A. Y. and Blinkov, Y. A.</b>,
 <i class='BibTitle'> Involution approach to investigating polynomial systems </i>,
 <span class='BibJournal'> Math. Comput. Simulation </span>,
 <em class='BibVolume'>(42) 4-6</em>
 (<span class='BibYear'>1996</span>),
 <span class='BibPages'>323-332</span>.
</p>

<p> </p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap6.html">[Previous Chapter]</a>    <a href="chapInd.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>