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

quality92%

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

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.