Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/ibnp/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 11.8.2025 mit Größe 9 kB image not shown  

Quelle  chapBib_mj.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/ibnp/doc/chapBib_mj.html


<?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>
<script type="text/javascript"
  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<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_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap6_mj.html">[Previous Chapter]</a>    <a href="chapInd_mj.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chapBib.html">[MathJax off]</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_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap6_mj.html">[Previous Chapter]</a>    <a href="chapInd_mj.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.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>

100%


¤ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.