Quelle bib.xml.bib Sprache: Latech

@manual{ AutoDoc,
  author =           {Gutsche, S. and Horn, M.},
  title =            {{AutoDoc  \texttt{\symbol{45}}  Generate documentation
                      from GAP source code (Version 2023.06.19)}},
  year =             {2023},
  note =             {GAP                   package,                   \href
                      {https://github.com/gap-packages/AutoDoc}
                      {\texttt{https://github.com/}\discretionary
                      {}{}{}\texttt{gap\texttt{\symbol{45}}packages/}\discretionary
                      {}{}{}\texttt{AutoDoc}}},
  printedkey =       {GH23}
}
@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/GAPDoc/index.html}
                      {\texttt{https://www.math.rwth\texttt{\symbol{45}}aachen.de/}\discretionary
                      {}{}{}\texttt{\texttt{\symbol{126}}Frank.Luebeck/}\discretionary
                      {}{}{}\texttt{GAPDoc/}\discretionary
                      {}{}{}\texttt{index.html}}},
  printedkey =       {LN17}
}
@manual{ GBNP,
  author =           {Cohen, A. and Knopper, J.},
  title =            {{GBNP \texttt{\symbol{45}} computing Gr{\"o}bner bases
                      of noncommutative polynomials (Version 1.1.0)}},
  organization =     {Discrete  Algebra  and  Geometry  (DAM)  group  at the
                      Department  of  Mathematics  and  Computer  Science of
                      Eindhoven University of Technology},
  year =             {2001\texttt{\symbol{45}}2024},
  note =             {GAP                   package,                   \href
                      {https://github.com/gap-packages/gbnp}
                      {\texttt{https://github.com/}\discretionary
                      {}{}{}\texttt{gap\texttt{\symbol{45}}packages/}\discretionary
                      {}{}{}\texttt{gbnp}}},
  printedkey =       {CK24}
}
@manual{ GitHubPagesForGAP,
  author =           {Horn, M.},
  title =            {{A  GitHub  Pages  generator for GAP packages (Version
                      0.3)}},
  year =             {2019},
  note =             {GAP                   package,                   \href
                      {https://github.com/gap-system/GitHubPagesForGAP/}
                      {\texttt{https://github.com/}\discretionary
                      {}{}{}\texttt{gap\texttt{\symbol{45}}system/}\discretionary
                      {}{}{}\texttt{GitHubPagesForGAP/}}},
  printedkey =       {Hor19}
}
@misc{ GBNP1.0.5,
  author =           {Cohen, A. and Knopper, J.},
  title =            {{GBNP},  computing Gr{\"o}bner bases of noncommutative
                      polynomials, {V}ersion 1.0.5},
  year =             {2022},
  note =             {Refereed GAP package},
  howpublished =     {\href           {https://gap-packages.github.io/gbnp/}
                      {\texttt{https://gap\texttt{\symbol{45}}packages.github.io/}\discretionary
                      {}{}{}\texttt{gbnp/}}},
  printedkey =       {CK22}
}
@phdthesis{ gareth-thesis,
  author =           {Evans, G. A.},
  title =            {Noncommutative Involutive Bases},
  school =           {University of Wales, Bangor},
  year =             {2005},
  note =             {\href         {https://arxiv.org/pdf/math/0602140.pdf}
                      {\texttt{https://arxiv.org/}\discretionary
                      {}{}{}\texttt{pdf/}\discretionary
                      {}{}{}\texttt{math/}\discretionary
                      {}{}{}\texttt{0602140.pdf}}},
  printedkey =       {Eva05}
}
@inproceedings{ Beaumont,
  author =           {Evans, G. A.},
  editor =           {Leech, J.},
  booktitle =        {Proc. Int. Conf. Applications of Computer Algebra},
  title =            {Noncommutative Involutive Bases},
  publisher =        {Pergamon Press},
  year =             {1970},
  pages =            {263\texttt{\symbol{45}}297},
  printedkey =       {Eva70}
}
@article{ EW-JSC,
  author =           {Evans, G. A. and Wensley, C. D.},
  title =            {Complete involutive rewriting systems},
  journal =          {Symbolic Comput.},
  volume =           {42},
  year =             {2007},
  pages =            {1034\texttt{\symbol{45}}1051},
  printedkey =       {EW07}
}
@article{ onthewalk,
  author =           {Amrhein, B. and Gloor, O. and K{\"u}chlin, W.},
  title =            {On the Walk},
  journal =          {Theoret. Comput. Sci.},
  volume =           {187 (1\texttt{\symbol{45}}2)},
  year =             {1997},
  pages =            {179\texttt{\symbol{45}}202},
  printedkey =       {AGK97}
}
@article{ bergman,
  author =           {Bergman, G. M.},
  title =            {The Diamond Lemma for Ring Theory},
  journal =          {Adv. in Math.},
  volume =           {29 (2)},
  year =             {1978},
  pages =            {178\texttt{\symbol{45}}218},
  printedkey =       {Ber78}
}
@inproceedings{ buchberger,
  author =           {Buchberger, B.},
  editor =           {Buchberger, B. and Winkler, F.},
  booktitle =        {Gr{\"o}bner Bases and Applications},
  title =            {An  Algorithmic  Criterion  for  the  Solvability of a
                      System   of   Algebraic  Equations.  {T}ranslation  of
                      {P}h.{D}. thesis by {M}. {A}bramson and {R}. {L}umbert},
  publisher =        {Cambridge University Press},
  series =           {Proc. London Math. Soc.},
  volume =           {251},
  year =             {1998},
  pages =            {535\texttt{\symbol{45}}545},
  printedkey =       {Buc98}
}
@inproceedings{ knuth-bendix,
  author =           {Knuth, D. E. and Bendix, P. B.},
  editor =           {Leech, J.},
  booktitle =        {Computational Problems in Abstract Algebra},
  title =            {Simple word problems in universal algebras},
  publisher =        {Pergamon Press},
  year =             {2004},
  pages =            {263\texttt{\symbol{45}}297},
  printedkey =       {KB04}
}
@book{ lambe-radford,
  author =           {Lambe, L. A. and Radford, D. E.},
  title =            {Introduction          to          the          Quantum
                      Yang\texttt{\symbol{45}}Baxter  Equation  and  Quantum
                      Groups: An Algebraic Approach},
  publisher =        {Kluwer Academic},
  series =           {Mathematics and its Applications},
  volume =           {423},
  year =             {1997},
  printedkey =       {LR97}
}
@inproceedings{ mora,
  author =           {Mora, T.},
  editor =           {Calmet, J.},
  booktitle =        {AAECC\texttt{\symbol{45}}3:  Proc.  3rd  Int. Conf. on
                      Algebraic                Algorithms                and
                      Error\texttt{\symbol{45}}Correcting  Codes  (Grenoble,
                      France, July 15\texttt{\symbol{45}}19, 1985)},
  title =            {Gr{\"o}bner                  Bases                 for
                      non\texttt{\symbol{45}}commutative polynomial rings},
  publisher =        {Springer},
  series =           {Lecture Notes in Comput. Sci.},
  volume =           {223},
  year =             {1986},
  pages =            {353\texttt{\symbol{45}}362},
  printedkey =       {Mor86}
}
@article{ yuyu,
  author =           {Zharkov, A. Y. and Blinkov, Y. A.},
  title =            {Involution   approach   to   investigating  polynomial
                      systems},
  journal =          {Math. Comput. Simulation},
  volume =           {(42) 4\texttt{\symbol{45}}6},
  year =             {1996},
  pages =            {323\texttt{\symbol{45}}332},
  printedkey =       {ZB96}
}

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.