Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/kbmag/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 3.0.2023 mit Größe 2 kB image not shown  

Quelle  kbmag.bib   Sprache: Latech

 


@Article{EHR91,
  author =       "D.F.~Holt and D.B.A.~Epstein and S.~Rees",
  title =        "The use of Knuth-Bendix methods to solve the word
                  problem in automatic groups",
  journal =      "J. Symbolic Computation",
  year =         1991,
  volume =       12,
  pages =        "397--414"
}

@Book{ECHLPT92,
  author =       "D.B.A.~Epstein and J.W.~Cannon and D.F.~Holt and
                  S.~Levy and M.S.~Paterson and W.P.~Thurston",
  title =        "Word Processing and Group Theory",
  publisher =    "Jones and Bartlett",
  year =         1992
}

@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
                      {http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html}
                      {\texttt{http://www.math.rwth-aachen.de/}\discretionary
                      {}{}{}\texttt{\texttt{\symbol{126}}Frank.Luebeck/}\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}
}

@InProceedings{Holt94,
  author =       "Derek~F.~Holt",
  title =        "The Warwick Automatic Groups Software",
  booktitle =    "Proceedings of DIMACS Conference on Computational
                  Group Theory, Rutgers, March 1994.",
  year =         "To appear"
}

@Book{LeC86,
  author =       "P.~LeChenadec",
  title =        "Canonical Forms in Finitely Presented Algebras",
  publisher =    "London Pitman and New York, Wiley",
  year =         1986
}

@Book{Sims94,
  author =       "Charles~C.~Sims",
  title =        "Computation with Finitely Presented Groups",
  publisher =    "Cambridge",
  year =         1994
}

Messung V0.5
C=100 H=100 G=100

¤ Dauer der Verarbeitung: 0.15 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 und die Messung sind noch experimentell.