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

Quelle  ANUPQ.bib   Sprache: Latech

 
@incollection {HN80,
    AUTHOR = {Havas, George and Newman, M. F.},
     TITLE = {Application of computers to questions like those of
              {B}urnside},
 BOOKTITLE = {Burnside groups ({P}roc. {W}orkshop, {U}niv. {B}ielefeld,
              {B}ielefeld, 1977)},
    SERIES = {Lecture Notes in Math.},
    VOLUME = {806},
     PAGES = {211--230},
 PUBLISHER = {Springer},
   ADDRESS = {Berlin},
      YEAR = {1980},
   MRCLASS = {20-04 (20F50)},
  MRNUMBER = {586047 (82d:20002)},
MRREVIEWER = {Colin M. Campbell},
}

@article {NO96,
    AUTHOR = {Newman, M. F. and O'Brien, E. A.},
     TITLE = {Application of computers to questions like those of
              {B}urnside. {II}},
   JOURNAL = {Internat. J. Algebra Comput.},
  FJOURNAL = {International Journal of Algebra and Computation},
    VOLUME = {6},
      YEAR = {1996},
    NUMBER = {5},
     PAGES = {593--605},
      ISSN = {0218-1967},
   MRCLASS = {20-04 (20D15 20F05)},
  MRNUMBER = {1419133 (97k:20002)},
MRREVIEWER = {Colin M. Campbell},
       DOI = {10.1142/S0218196796000337},
       URL = {https://doi.org/10.1142/S0218196796000337},
}

@article {NNN98,
    AUTHOR = {Newman, M. F. and Nickel, Werner and Niemeyer, Alice C.},
     TITLE = {Descriptions of groups of prime-power order},
   JOURNAL = {J. Symbolic Comput.},
  FJOURNAL = {Journal of Symbolic Computation},
    VOLUME = {25},
      YEAR = {1998},
    NUMBER = {5},
     PAGES = {665--682},
      ISSN = {0747-7171},
   MRCLASS = {20F05 (68Q40)},
  MRNUMBER = {1617995 (99f:20054)},
MRREVIEWER = {Michael C. Slattery},
       DOI = {10.1006/jsco.1997.0193},
       URL = {https://doi.org/10.1006/jsco.1997.0193},
}

@article {LGS90,
    AUTHOR = {Leedham-Green, C. R. and Soicher, L. H.},
     TITLE = {Collection from the left and other strategies},
      NOTE = {Computational group theory, Part 1},
   JOURNAL = {J. Symbolic Comput.},
  FJOURNAL = {Journal of Symbolic Computation},
    VOLUME = {9},
      YEAR = {1990},
    NUMBER = {5-6},
     PAGES = {665--675},
      ISSN = {0747-7171},
   MRCLASS = {20D10 (68Q25)},
  MRNUMBER = {1075430 (92b:20021)},
MRREVIEWER = {M. Greendlinger},
       DOI = {10.1016/S0747-7171(08)80081-8},
       URL = {https://doi.org/10.1016/S0747-7171(08)80081-8},
}

@incollection {New77,
    AUTHOR = {Newman, M. F.},
     TITLE = {Determination of groups of prime-power order},
 BOOKTITLE = {Group theory ({P}roc. {M}iniconf., {A}ustralian {N}at.
              {U}niv., {C}anberra, 1975)},
     PAGES = {73--84. Lecture Notes in Math., Vol. 573},
 PUBLISHER = {Springer},
   ADDRESS = {Berlin},
      YEAR = {1977},
   MRCLASS = {20D15},
  MRNUMBER = {0453862 (56 \#12115)},
MRREVIEWER = {Bruce W. King},
}

@article {OBr90,
    AUTHOR = {O'Brien, E. A.},
     TITLE = {The {$p$}-group generation algorithm},
      NOTE = {Computational group theory, Part 1},
   JOURNAL = {J. Symbolic Comput.},
  FJOURNAL = {Journal of Symbolic Computation},
    VOLUME = {9},
      YEAR = {1990},
    NUMBER = {5-6},
     PAGES = {677--698},
      ISSN = {0747-7171},
   MRCLASS = {20D15},
  MRNUMBER = {1075431 (91j:20050)},
       DOI = {10.1016/S0747-7171(08)80082-X},
       URL = {https://doi.org/10.1016/S0747-7171(08)80082-X},
}

@article {OBr94,
    AUTHOR = {O'Brien, E. A.},
     TITLE = {Isomorphism testing for {$p$}-groups},
   JOURNAL = {J. Symbolic Comput.},
  FJOURNAL = {Journal of Symbolic Computation},
    VOLUME = {17},
      YEAR = {1994},
    NUMBER = {2},
     PAGES = {131, 133--147},
      ISSN = {0747-7171},
   MRCLASS = {20D15 (20D45 20F28)},
  MRNUMBER = {1283739 (95f:20040b)},
MRREVIEWER = {Richard Davitt},
       DOI = {10.1006/jsco.1994.1007},
       URL = {https://doi.org/10.1006/jsco.1994.1007},
}

@incollection {OBr95,
    AUTHOR = {O'Brien, E. A.},
     TITLE = {Computing automorphism groups of {$p$}-groups},
 BOOKTITLE = {Computational algebra and number theory ({S}ydney, 1992)},
    SERIES = {Math. Appl.},
    VOLUME = {325},
     PAGES = {83--90},
 PUBLISHER = {Kluwer Acad. Publ.},
   ADDRESS = {Dordrecht},
      YEAR = {1995},
   MRCLASS = {20D15 (20D45)},
  MRNUMBER = {1344923 (96g:20024)},
MRREVIEWER = {Wolfgang Lempken},
}

@book {Sims94,
    AUTHOR = {Sims, Charles C.},
     TITLE = {Computation with finitely presented groups},
    SERIES = {Encyclopedia of Mathematics and its Applications},
    VOLUME = {48},
 PUBLISHER = {Cambridge University Press},
   ADDRESS = {Cambridge},
      YEAR = {1994},
     PAGES = {xiii+604},
      ISBN = {0-521-43213-8},
   MRCLASS = {20F05 (20-02 68Q40 68Q42)},
  MRNUMBER = {1267733 (95f:20053)},
MRREVIEWER = {Friedrich Otto},
       DOI = {10.1017/CBO9780511574702},
       URL = {https://doi.org/10.1017/CBO9780511574702},
}

@incollection {VL84,
    AUTHOR = {Vaughan-Lee, M. R.},
     TITLE = {An aspect of the nilpotent quotient algorithm},
 BOOKTITLE = {Computational group theory ({D}urham, 1982)},
     PAGES = {75--83},
 PUBLISHER = {Academic Press},
   ADDRESS = {London},
      YEAR = {1984},
   MRCLASS = {20F05 (20-04 20D15 68Q40)},
  MRNUMBER = {760652 (86b:20040)},
MRREVIEWER = {M. F. Newman},
}

@article {VL90a,
    AUTHOR = {Vaughan-Lee, M. R.},
     TITLE = {Collection from the left},
      NOTE = {Computational group theory, Part 1},
   JOURNAL = {J. Symbolic Comput.},
  FJOURNAL = {Journal of Symbolic Computation},
    VOLUME = {9},
      YEAR = {1990},
    NUMBER = {5-6},
     PAGES = {725--733},
      ISSN = {0747-7171},
   MRCLASS = {20F12 (20-04 20D15 20F18)},
  MRNUMBER = {1075434 (92c:20065)},
MRREVIEWER = {M. Greendlinger},
       DOI = {10.1016/S0747-7171(08)80085-5},
       URL = {https://doi.org/10.1016/S0747-7171(08)80085-5},
}

@book {VL90b,
    AUTHOR = {Vaughan-Lee, Michael},
     TITLE = {The restricted {B}urnside problem},
    SERIES = {London Mathematical Society Monographs. New Series},
    VOLUME = {5},
      NOTE = {Oxford Science Publications},
 PUBLISHER = {The Clarendon Press Oxford University Press},
   ADDRESS = {New York},
      YEAR = {1990},
     PAGES = {xiv+209},
      ISBN = {0-19-853573-2},
   MRCLASS = {20-02 (20F12 20F40 20F45 20F50)},
  MRNUMBER = {1057610 (92c:20001)},
MRREVIEWER = {Norman Blackburn},
}

90%


¤ Dauer der Verarbeitung: 0.5 Sekunden  ¤

*© 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 ist noch experimentell.