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

Quelle  chapBib.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/kan/doc/chapBib.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>
<title>GAP (Kan) - 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="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="chap3.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="biBBrGhHeWe" name="biBBrGhHeWe"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>BGHW06</span>]   <b class='BibAuthor'>Brown, R., Ghani, N., Heyworth, A. and Wensley, C. D.</b>,
 <i class='BibTitle'>String rewriting systems for double coset systems</i>,
 <span class='BibJournal'>J. Symbolic Comput.</span>,
 <em class='BibVolume'>41</em>
 (<span class='BibYear'>2006</span>),
 <span class='BibPages'>573–590</span>.
</p>


<p><a id="biBBrHe" name="biBBrHe"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>BH00</span>]   <b class='BibAuthor'>Brown, R. and Heyworth, A.</b>,
 <i class='BibTitle'>Using rewriting systems to compute left Kan extensions 
         and induced actions of categories</i>,
 <span class='BibJournal'>J. Symbolic Comput.</span>,
 <em class='BibVolume'>29</em>
 (<span class='BibYear'>2000</span>),
 <span class='BibPages'>5–31</span>.
</p>


<p><a id="biBAutoDoc" name="biBAutoDoc"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>GH17</span>]   <b class='BibAuthor'>Gutsche, S. and Horn, M.</b>,
 <i class='BibTitle'>AutoDoc - Generate documentation from GAP source code (Version 2017.09.15)</i>
 (<span class='BibYear'>2017</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="biBanne-thesis" name="biBanne-thesis"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Hey99</span>]   <b class='BibAuthor'>Heyworth, A.</b>,
 <i class='BibTitle'>Applications of Rewriting Systems and 
  Groebner Bases to Computing Kan Extensions 
  and Identities Among Relations</i>,
 <span class='BibType'>Ph.D. thesis</span>,
 <span class='BibSchool'>University of Wales, Bangor</span>
 (<span class='BibYear'>1999</span>)<br />
(<span class='BibNote'>
    <a href="https://www.researchgate.net/profile/Anne-Heyworth/research">https://www.researchgate.net/profile/Anne-Heyworth/research</a>
  </span>).
</p>


<p><a id="biBGitHubPagesForGAP" name="biBGitHubPagesForGAP"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Hor17</span>]   <b class='BibAuthor'>Horn, M.</b>,
 <i class='BibTitle'>GitHubPagesForGAP - Template for easily using GitHub Pages within GAP packages (Version 0.2)</i>
 (<span class='BibYear'>2017</span>)<br />
(<span class='BibNote'>
    GAP package, <a href="https://gap-system.github.io/GitHubPagesForGAP/">https://gap-system.github.io/GitHubPagesForGAP/</a>
  </span>).
</p>


<p><a id="biBSteveL" name="biBSteveL"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Lin91</span>]   <b class='BibAuthor'>Linton, S.</b>,
 <i class='BibTitle'>Double coset enumeration</i>,
 <span class='BibJournal'>J. Symbolic Comput.</span>,
 <em class='BibVolume'>12</em>
 (<span class='BibYear'>1991</span>),
 <span class='BibPages'>415–426</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/gap/GAPDoc/index.html">https://www.math.rwth-aachen.de/~Frank.Luebeck/gap/GAPDoc/index.html</a> 
  </span>).
</p>

<p> </p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap3.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="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

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

100%


¤ Dauer der Verarbeitung: 0.1 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.