Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/kan/doc/   (GAP Algebra Version 4.15.1©)  Datei vom 23.0.2024 mit Größe 3 kB image not shown  

Quelle  bib.xml.bib   Sprache: Latech

 





@manual{ AutoDoc,
  author =           {Gutsche, S. and Horn, M.},
  title =            {{AutoDoc - Generate documentation from GAP source code
                      (Version 2017.09.15)}},
  year =             {2017},
  note =             {GAP                   package,                   \href
                      {https://github.com/gap-packages/AutoDoc}
                      {\texttt{https://github.com/}\discretionary
                      {}{}{}\texttt{gap-packages/}\discretionary
                      {}{}{}\texttt{AutoDoc}}},
  printedkey =       {GH17}
}
@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/gap/GAPDoc/index.html}
                      {\texttt{https://www.math.rwth-aachen.de/}\discretionary
                      {}{}{}\texttt{\texttt{\symbol{126}}Frank.Luebeck/}\discretionary
                      {}{}{}\texttt{gap/}\discretionary
                      {}{}{}\texttt{GAPDoc/}\discretionary
                      {}{}{}\texttt{index.html}}},
  printedkey =       {LN17}
}
@manual{ GitHubPagesForGAP,
  author =           {Horn, M.},
  title =            {{GitHubPagesForGAP  - Template for easily using GitHub
                      Pages within GAP packages (Version 0.2)}},
  year =             {2017},
  note =             {GAP                   package,                   \href
                      {https://gap-system.github.io/GitHubPagesForGAP/}
                      {\texttt{https://gap-system.github.io/}\discretionary
                      {}{}{}\texttt{GitHubPagesForGAP/}}},
  printedkey =       {Hor17}
}
@article{ BrHe,
  author =           {Brown, R. and Heyworth, A.},
  title =            {Using rewriting systems to compute left Kan extensions
                      and induced actions of categories},
  journal =          {J. Symbolic Comput.},
  volume =           {29},
  year =             {2000},
  pages =            {5{\textendash}31},
  printedkey =       {BH00}
}
@article{ BrGhHeWe,
  author =           {Brown,  R. and Ghani, N. and Heyworth, A. and Wensley,
                      C. D.},
  title =            {String rewriting systems for double coset systems},
  journal =          {J. Symbolic Comput.},
  volume =           {41},
  year =             {2006},
  pages =            {573{\textendash}590},
  printedkey =       {BGHW06}
}
@phdthesis{ anne-thesis,
  author =           {Heyworth, A.},
  title =            {Applications  of  {R}ewriting {S}ystems and {G}roebner
                      Bases    to   {C}omputing   {K}an   {E}xtensions   and
                      {I}dentities {A}mong {R}elations},
  school =           {University of Wales, Bangor},
  year =             {1999},
  note =             {\href
                      {https://www.researchgate.net/profile/Anne-Heyworth/research}
                      {\texttt{https://www.researchgate.net/}\discretionary
                      {}{}{}\texttt{profile/}\discretionary
                      {}{}{}\texttt{Anne-Heyworth/}\discretionary
                      {}{}{}\texttt{research}}},
  printedkey =       {Hey99}
}
@article{ SteveL,
  author =           {Linton, S.},
  title =            {Double coset enumeration},
  journal =          {J. Symbolic Comput.},
  volume =           {12},
  year =             {1991},
  pages =            {415{\textendash}426},
  printedkey =       {Lin91}
}

Messung
CHZG
939610096

¤ Dauer der Verarbeitung: 0.2 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.