Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/GAP/pkg/polycyclic/doc/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 28.7.2025 mit Größe 10 kB

Quelle polycyclicbib.xml.bib Sprache: Latech

@book{ Rob82,
  author =           {Robinson, D. J.},
  title =            {A Course in the Theory of Groups},
  publisher =        {Springer\texttt{\symbol{45}}Verlag},
  series =           {Graduate Texts in Math.},
  volume =           {80},
  address =          {New York, Heidelberg, Berlin},
  year =             {1982},
  printedkey =       {Rob82}
}
@book{ Seg83,
  author =           {Segal, D.},
  title =            {Polycyclic Groups},
  publisher =        {Cambridge University Press},
  address =          {Cambridge},
  year =             {1983},
  printedkey =       {Seg83}
}
@article{ Seg90,
  author =           {Segal, D.},
  title =            {Decidable properties of polycyclic groups},
  journal =          {Proc. London Math. Soc. (3)},
  volume =           {61},
  year =             {1990},
  pages =            {497\texttt{\symbol{45}}528},
  mrclass =          {20F10 (03D40 20F16)},
  mrnumber =         {MR1069513},
  printedkey =       {Seg90}
}
@article{ Hir38a,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(I)}},
  journal =          {Proc. London Math. Soc.},
  volume =           {44},
  number =           {2},
  year =             {1938},
  pages =            {53\texttt{\symbol{45}}60},
  printedkey =       {Hir38}
}
@article{ Hir38b,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(II)}},
  journal =          {Proc. London Math. Soc.},
  volume =           {44},
  number =           {2},
  year =             {1938},
  pages =            {336\texttt{\symbol{45}}414},
  printedkey =       {Hir38}
}
@article{ Hir46,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(III)}},
  journal =          {J. London Math. Soc.},
  volume =           {49},
  number =           {2},
  year =             {1946},
  pages =            {184\texttt{\symbol{45}}94},
  printedkey =       {Hir46}
}
@article{ Hir52,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(IV)}},
  journal =          {J. London Math. Soc.},
  volume =           {27},
  year =             {1952},
  pages =            {81\texttt{\symbol{45}}85},
  printedkey =       {Hir52}
}
@article{ Hir54,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(V)}},
  journal =          {J. London Math. Soc.},
  volume =           {29},
  year =             {1954},
  pages =            {250\texttt{\symbol{45}}251},
  printedkey =       {Hir54}
}
@article{ BCRS91,
  author =           {Baumslag,  G. and Cannonito, F. B. and Robinson, D. J.
                      S. and Segal, D.},
  title =            {The           algorithmic           theory          of
                      polycyclic\texttt{\symbol{45}}by\texttt{\symbol{45}}finite
                      groups},
  journal =          {J. Algebra},
  volume =           {142},
  year =             {1991},
  pages =            {118\texttt{\symbol{45}}\texttt{\symbol{45}}149},
  printedkey =       {BCRS91}
}
@book{ Sims94,
  author =           {Sims, C. C.},
  title =            {Computation with finitely presented groups},
  publisher =        {Cambridge University Press},
  series =           {Encyclopedia of Mathematics and its Applications},
  volume =           {48},
  address =          {Cambridge},
  year =             {1994},
  isbn =             {0\texttt{\symbol{45}}521\texttt{\symbol{45}}43213\texttt{\symbol{45}}8},
  mrclass =          {20F05 (20\texttt{\symbol{45}}02 68Q40 68Q42)},
  mrnumber =         {95f:20053},
  mrreviewer =       {Friedrich Otto},
  printedkey =       {Sim94}
}
@article{ LGS90,
  author =           {Leedham\texttt{\symbol{45}}Green,  C.  R. and Soicher,
                      L. H.},
  title =            {Collection from the left and other strategies},
  journal =          {J. Symbolic Comput.},
  volume =           {9},
  number =           {5\texttt{\symbol{45}}6},
  year =             {1990},
  pages =            {665\texttt{\symbol{45}}\texttt{\symbol{45}}675},
  issn =             {0747\texttt{\symbol{45}}7171},
  mrclass =          {20D10 (68Q25)},
  mrnumber =         {92b:20021},
  mrreviewer =       {M. Greendlinger},
  printedkey =       {LS90}
}
@article{ MVL90,
  author =           {Vaughan\texttt{\symbol{45}}Lee, M. R.},
  title =            {Collection from the left},
  journal =          {J. Symbolic Comput.},
  volume =           {9},
  number =           {5\texttt{\symbol{45}}6},
  year =             {1990},
  pages =            {725\texttt{\symbol{45}}\texttt{\symbol{45}}733},
  issn =             {0747\texttt{\symbol{45}}7171},
  mrclass =          {20F12 (20\texttt{\symbol{45}}04 20D15 20F18)},
  mrnumber =         {92c:20065},
  mrreviewer =       {M. Greendlinger},
  printedkey =       {Vau90}
}
@article{ B-K00,
  author =           {Beuerle, J. R. and Kappe, L.\texttt{\symbol{45}}C.},
  title =            {Infinite      metacyclic      groups     and     their
                      non\texttt{\symbol{45}}abelian tensor squares},
  journal =          {Proc. Edinburgh Math. Soc. (2)},
  volume =           {43},
  number =           {3},
  year =             {2000},
  pages =            {651\texttt{\symbol{45}}\texttt{\symbol{45}}662},
  issn =             {0013\texttt{\symbol{45}}0915},
  mrclass =          {20F05},
  mrnumber =         {2003d:20037},
  mrreviewer =       {Graham J. Ellis},
  printedkey =       {BK00}
}
@mastersthesis{ WWM97,
  author =           {Merkwitz, W. W.},
  title =            {{Symbolische Multiplikation in nilpotenten Gruppen mit
                      Deep Thought}},
  school =           {RWTH Aachen},
  year =             {1997},
  printedkey =       {Mer97},
  type =             {Diplomarbeit}
}
@article{ LGS98,
  author =           {Leedham\texttt{\symbol{45}}Green,  C.  R. and Soicher,
                      L. H.},
  title =            {Symbolic collection using {D}eep {T}hought},
  journal =          {LMS J. Comput. Math.},
  volume =           {1},
  year =             {1998},
  pages =            {9\texttt{\symbol{45}}\texttt{\symbol{45}}24
                      (electronic)},
  issn =             {1461\texttt{\symbol{45}}1570},
  mrclass =          {20\texttt{\symbol{45}}04 (20F18)},
  mrnumber =         {99f:20002},
  mrreviewer =       {Martyn R. Dixon},
  printedkey =       {LS98}
}
@inproceedings{ Eic00,
  author =           {Eick, B.},
  booktitle =        {{Groups and Computation {III}}},
  title =            {Computing with infinite polycyclic groups},
  organization =     {(DIMACS, 1999)},
  series =           {Amer. Math. Soc. DIMACS Series},
  year =             {2000},
  printedkey =       {Eic00}
}
@article{ EOs01,
  author =           {Eick, B. and Ostheimer, G.},
  title =            {On  the  orbit  stabilizer problem for integral matrix
                      actions of polycyclic groups},
  journal =          {Accepted by Math. Comp},
  year =             {2002},
  printedkey =       {EO02}
}
@article{ Eic01,
  author =           {Eick, B.},
  title =            {On      the      {Fitting}      subgroup      of     a
                      polycyclic\texttt{\symbol{45}}by\texttt{\symbol{45}}finite
                      group and its applications},
  journal =          {J. Algebra},
  volume =           {242},
  year =             {2001},
  pages =            {176\texttt{\symbol{45}}\texttt{\symbol{45}}187},
  printedkey =       {Eic01}
}
@misc{ Eic01b,
  author =           {Eick, B.},
  title =            {Computations with polycyclic groups},
  year =             {2001},
  howpublished =     {Habilitationsschrift, Kassel},
  printedkey =       {Eic01}
}
@article{ Eic02,
  author =           {Eick, B.},
  title =            {Orbit\texttt{\symbol{45}}stabilizer    problems    and
                      computing normalizers for polycyclic groups},
  journal =          {J. Symbolic Comput.},
  volume =           {34},
  year =             {2002},
  pages =            {1\texttt{\symbol{45}}\texttt{\symbol{45}}19},
  printedkey =       {Eic02}
}
@misc{ Lo99,
  author =           {Lo, E. H.},
  title =            {Enumerating   finite  index  subgroups  of  polycyclic
                      groups},
  year =             {1998},
  howpublished =     {Unpublished report},
  printedkey =       {Lo98}
}
@article{ LOs99,
  author =           {Lo, E. H. and Ostheimer, G.},
  title =            {A    practical    algorithm    for    finding   matrix
                      representations for polycyclic groups},
  journal =          {J. Symbolic Comput.},
  volume =           {28},
  year =             {1999},
  pages =            {339\texttt{\symbol{45}}\texttt{\symbol{45}}360},
  printedkey =       {LO99}
}
@article{ Lo98,
  author =           {Lo, E. H.},
  title =            {Finding   intersection   and  normalizer  in  finitely
                      generated nilpotent groups},
  journal =          {J. Symbolic Comput.},
  volume =           {25},
  year =             {1998},
  pages =            {45\texttt{\symbol{45}}\texttt{\symbol{45}}59},
  printedkey =       {Lo98}
}
@article{ Ost99,
  author =           {Ostheimer, G.},
  title =            {Practical algorithms for polycyclic matrix groups},
  journal =          {J. Symbolic Comput.},
  volume =           {28},
  year =             {1999},
  pages =            {361\texttt{\symbol{45}}\texttt{\symbol{45}}379},
  printedkey =       {Ost99}
}
@article{ dGN02,
  author =           {de Graaf, W. A. and Nickel, W.},
  title =            {Constructing      faithful      representations     of
                      finitely\texttt{\symbol{45}}generated
                      torsion\texttt{\symbol{45}}free nilpotent groups},
  journal =          {J. Symbolic Comput.},
  volume =           {33},
  number =           {1},
  year =             {2002},
  pages =            {31\texttt{\symbol{45}}\texttt{\symbol{45}}41},
  issn =             {0747\texttt{\symbol{45}}7171},
  mrclass =          {20C15 (20F18)},
  mrnumber =         {MR1876310},
  printedkey =       {GN02}
}
@article{ EickNickel07,
  author =           {Eick, B. and Nickel, W.},
  title =            {Computing    the    Schur    multiplicator   and   the
                      non\texttt{\symbol{45}}abelian   tensor  square  of  a
                      polycyclic group},
  journal =          {J. Algebra},
  volume =           {320},
  number =           {2},
  year =             {2008},
  pages =            {927{\textendash}\texttt{\symbol{45}}944},
  mrclass =          {20J05 (20\texttt{\symbol{45}}04 20E22 20F05)},
  mrnumber =         {MR2422322},
  printedkey =       {EN08}
}

quality93%

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