Quelle manual.bib Sprache: Latech

% Bibliography for GRAPE

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%S  Publishers  . . . . . . . . . . . . . . . .  abbreviations for publishers
%%
%%  The following strings are abbreviations for publishers, which are used in
%%  *books*, *inbook*, and *proceedings*.
%%
@string{ AcaPress   = "Academic Press"                                       }
@string{ ACM        = "ACM Press"                                            }
@string{ AddWes     = "Addison-Wesley"                                       }
@string{ AMS        = "American Mathematical Society"                        }
@string{ Birkhaeus  = "Birkh{\accent127 a}user, Basel"                       }
@string{ BIWissV    = "BI-Wis\-sen\-schafts\-ver\-lag, Mannheim"             }
@string{ CUP        = "Cambridge University Press"                           }
@string{ Dover      = "Dover Publications, New York"                         }
@string{ Gruyter    = "Walter de Gruyter, Berlin, New York"                  }
@string{ HDeutsch   = "Verlag Harri Deutsch, Frankfurt/Main"                 }
@string{ Macmillan  = "The Macmillan Company, New York"                      }
@string{ OxUnPress  = "Oxford University Press"                              }
@string{ Pergamon   = "Pergamon Press, Oxford"                               }
@string{ Springer   = "Springer, Berlin, Heidelberg and New York"      }
@string{ Wiley      = "John Wiley, New York"                                 }
@string{ Reidel     = "Reidel, Dordrecht, Boston"                            }

@manual{Nau90,
author       = "Brendan D. McKay",
title        = "{nauty} user's guide (version 1.5),
               Technical report TR-CS-90-02",
year         = "1990",
organization = "Australian National University",
address      = "Computer Science Department",
note         =  "nauty homepage:
\URL{http://cs.anu.edu.au/people/bdm/nauty/}",
}

@inproceedings{JK07,
author       = "Tommi Juntilla and Petteri Kaski",
title        = "Engineering an efficient canonical labeling tool for large and sparse graphs",
crossref     = "ALENEX07",
pages        = "135--149",
note         = "bliss homepage: \URL{http://www.tcs.hut.fi/Software/bliss/}",
}

@proceedings{ALENEX07,
title     = "2007 Proceedings of the Ninth Workshop on Algorithm Engineering and Experiments (ALENEX)",
booktitle = "Proceedings of the Ninth Workshop on Algorithm Engineering and Experiments and the
Fourth Workshop on Analytic Algorithmics and Combinatorics",
editor    = "David Applegate et al.",
publisher = "SIAM",
year      = "2007",
}

@book{BCN89,
author       = "A.~E. Brouwer and
                A.~M. Cohen and
                A. Neumaier",
title        = "Distance-Regular Graphs",
year         = "1989",
publisher    = Springer,
}

@book{PS97,
author    = "Cheryl E. Praeger and
             Leonard H. Soicher",
title     = "Low rank representations and graphs for sporadic groups",
series    = "Australian Mathematical Society Lecture Series",
volume    = "8",
year      = "1997",
publisher = CUP,
}

@book{Cam99,
author       = "Peter J. Cameron",
title        = "Permutation Groups",
year         = "1999",
publisher    = CUP,
note         = "book's web-page:
\URL{https://webspace.maths.qmul.ac.uk/p.j.cameron/permgps/pgbook.html}",
}

@inproceedings{Hae81,
author       = "Willem Haemers",
title        = "A new partial geometry constructed from the Hoffman-Singleton
                graph",
crossref     = "IoT80",
pages        = "119--127",
}

@proceedings{IoT80,
booktitle    = "Finite Geometries and Designs: Proceedings of the Second
                Isle of Thorns Conference 1980",
editor       = "P.~J. Cameron and
                J.~W.~P. Hirschfeld and
                D.~R. Hughes",
series       = "London Mathematical Society Lecture Note Series",
volume       = "49",
year         = "1981",
publisher    =  CUP,
}

@inproceedings{Soi93,
author       = "Leonard H. Soicher",
title        = "{GRAPE}: a system for computing with graphs and groups",
crossref     = "DIMACS91",
pages        = "287--291",
}

@proceedings{DIMACS91,
booktitle    = "Groups and Computation",
editor       = "Larry Finkelstein and
                William M. Kantor",
series       = "DIMACS Series in Discrete Mathematics and
                Theoretical Computer Science",
volume       = "11",
year         = "1993",
publisher    = AMS
}

@inproceedings{HL99,
author  = "Alexander Hulpke and
           Steve Linton",
title   = "Construction of {Co3}. {An} example of the use of an integrated
system for {Computational} {Group} {Theory}",
crossref = "POGBAT97",
pages   = "394--409"}

@proceedings{POGBAT97,
booktitle = "Groups St Andrews 1997 in Bath",
editor    = "C.~M. Campbell and
             E.~F. Robertson and
             N. Ruskuc and
             G.~C. Smith",
publisher = CUP,
series    = "London Mathematical Society Lecture Note Series",
volume    = "260/261",
year      = "1999"}

@inproceedings{Lin04,
author  = "Steve Linton",
title   = "Finding the smallest image of a set",
crossref = "ISSAC04",
pages   = "229--234"}

@proceedings{ISSAC04,
booktitle = "ISSAC~'04: Proceedings of the 2004 International Symposium
on Symbolic and Algebraic Computation",
editor    = "Jaime Gutierrez",
publisher = ACM,
year      = "2004"}

@inproceedings{Soi24b,
author  = "Leonard H. Soicher",
title   = "Using {GAP} packages for research in graph theory,
design theory, and finite geometry",
crossref = "ACMG",
pages   = "527--566",
note    = "accepted manuscript available at:
\URL{https://webspace.maths.qmul.ac.uk/l.h.soicher/g2g2_final.pdf}"}

@proceedings{ACMG,
booktitle = "Algebraic Combinatorics and the Monster Group",
editor    = "Alexander~A. Ivanov",
publisher = CUP,
series    = "London Mathematical Society Lecture Note Series",
volume    = "487",
year      = "2024"}

@inproceedings{Soi24a,
author  = "Leonard H. Soicher",
title   = "Software for proper vertex-colouring exploiting graph symmetry",
crossref = "ICMS24",
pages   = "106--112",
note    = "accepted manuscript available at:
\URL{https://webspace.maths.qmul.ac.uk/l.h.soicher/icms_soicher_v3.pdf}"}

@proceedings{ICMS24,
booktitle = "Mathematical Software - ICMS 2024",
editor    = "Kevin Buzzard et al.",
publisher = Springer,
series    = "Lecture Notes in Computer Science",
volume    = "14749",
year      = "2024"}

@inproceedings{CSS99,
author   = "Hans Cuypers and
            Leonard H. Soicher and
            Hans Sterk",
title    = "The small Mathieu groups (Project)",
crossref = "TAPAS",
pages    = "323--337",
}

@proceedings{TAPAS,
booktitle    = "Some Tapas of Computer Algebra",
editor       = "Arjeh M. Cohen and
                Hans Cuypers and
                Hans Sterk",
series       = "Algorithms and Computation in Mathematics",
volume       = "4",
year         = "1999",
publisher    = Springer
}

@inproceedings{Soi04,
author   = "Leonard H. Soicher",
title    = "Computing with graphs and groups",
crossref = "TAGT",
pages    = "250--266",
}

@article{Soi06,
author   = "Leonard H. Soicher",
title    = "Is there a {M}c{L}aughlin geometry?",
journal  = "J. Algebra",
volume   = "300",
year     = "2006",
pages    = "248--255",
}

@proceedings{TAGT,
booktitle    = "Topics in Algebraic Graph Theory",
editor       = "Lowell W. Beineke and
                Robin J. Wilson",
series       = "Encyclopedia of Mathematics and its Applications",
volume       = "102",
year         = "2004",
publisher    = CUP
}

@article{MP14,
title = "Practical graph isomorphism, II",
author = "Brendan D. McKay and Adolfo Piperno",
journal = "J. Symbolic Comput.",
volume = "60",
pages = "94--112",
year = "2014",
doi = "https://doi.org/10.1016/j.jsc.2013.09.003",
note = "nauty and Traces homepage: \URL{https://pallini.di.uniroma1.it}",
}

quality85%

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