%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.05",
%%%     date            = "01 February 2020",
%%%     time            = "09:34:26 MST",
%%%     filename        = "lncs2010a.bib",
%%%                        University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "11493 1609 6304 71991",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "BibTeX; bibliography; Lecture Notes in
%%%                        Computer Science",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of papers published in
%%%                        Lecture Notes in Computer Science
%%%                        (Springer-Verlag) for 2010.
%%%
%%%                        Bibliography entries below treat the series
%%%                        as a journal, rather than as conference
%%%                        proceedings.
%%%
%%%                        The companion bibliography lncs.bib lists
%%%                        just the individual volumes in the series,
%%%                        and the lncs19xy*.bib files list individual
%%%                        papers for year 19xy.  The large number of
%%%                        papers in this collection, and limitations
%%%                        in TeX and BibTeX, and in WWW HTTP transfer
%%%                        speeds, necessitate the splitting of the
%%%                        papers bibliographies into yearly files.
%%%
%%%                        At version 1.05, the year coverage looked
%%%                        like this:
%%%
%%%                             2010 (  69)
%%%
%%%                             Article:         56
%%%                             Proceedings:     13
%%%
%%%                             Total entries:   69
%%%
%%%                        This bibliography has been constructed
%%%                        primarily from the publisher Web site.
%%%                        Regrettably, final page numbers are not
%%%                        available at that source.
%%%
%%%                        Numerous errors in the sources noted above
%%%                        have been corrected.  Spelling has been
%%%                        verified with the UNIX spell and GNU ispell
%%%                        programs using the exception dictionary
%%%                        stored in the companion file with extension
%%%                        .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen as
%%%                        name:year:abbrev, where name is the family
%%%                        name of the first author or editor, year is a
%%%                        4-digit number, and abbrev is a 3-letter
%%%                        condensation of important title words.
%%%                        Citation labels were automatically generated
%%%                        by software developed for the BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order, with the help of ``bibsort
%%%                        -byvolume''.  The bibsort utility is available
%%%                        from ftp.math.utah.edu in /pub/tex/bib.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

@Preamble{
    "\ifx \undefined \bbb \def \bbb #1{\mathbb{#1}} \fi" #
    "\ifx \undefined \circled \def \circled #1{(#1)}\fi" #
    "\ifx \undefined \mathbb \def \mathbb #1{{\bf #1}}\fi" #
    "\ifx \undefined \mathcal \def \mathcal #1{{\cal #1}}\fi" #
    "\ifx \undefined \mathrm \def \mathrm #1{{\rm #1}}\fi" #
    "\ifx \undefined \ocirc  \def \ocirc #1{{\accent'27#1}}\fi" #
    "\ifx \undefined \reg \def \reg {\circled{R}}\fi" #
    "\ifx \undefined \TM \def \TM {${}^{\sc TM}$} \fi" #
    "\hyphenation{
        Ay-ka-nat
        Giun-chi-glia
        Lakh-neche
        Mal-er-ba
        Mart-el-li
        Reut-e-nau-er
        Thiel-sch-er
        }"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-LECT-NOTES-COMP-SCI   = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-SV                  = "Springer-Verlag Inc."}

@String{pub-SV:adr              = "New York, NY, USA"}

%%% ====================================================================
%%% Series abbreviations:

@String{ser-LNAI                = "Lecture Notes in Artificial Intelligence"}

@String{ser-LNCS                = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Bibliography entries:

@Article{Hales:2010:CDG,
  author =       "Thomas C. Hales",
  title =        "Computational Discrete Geometry",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "1--3",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/bfm:978-3-642-15582-6/1.pdf; http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_1.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Kojima:2010:ESS,
  author =       "Masakazu Kojima",
  title =        "Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "4--9",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_2.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Mehlhorn:2010:REG,
  author =       "Kurt Mehlhorn",
  title =        "Reliable and Efficient Geometric Computing",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "10--11",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_3.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Erocal:2010:SPU,
  author =       "Bur{\c{c}}in Er{\"o}cal and William Stein",
  title =        "The {Sage Project}: Unifying Free Mathematical
                 Software to Create a Viable Alternative to {Magma},
                 {Maple}, {Mathematica} and {MATLAB}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "12--27",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 http://www.math.utah.edu/pub/tex/bib/magma.bib;
                 http://www.math.utah.edu/pub/tex/bib/maple-extract.bib;
                 http://www.math.utah.edu/pub/tex/bib/mathematica.bib;
                 http://www.math.utah.edu/pub/tex/bib/matlab.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_4.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Chevillard:2010:SED,
  author =       "Sylvain Chevillard and Mioara Jolde{\c{s}} and
                 Christoph Lauter",
  title =        "{Sollya}: an Environment for the Development of
                 Numerical Codes",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "28--31",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_5.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Cuyt:2010:VSF,
  author =       "Annie Cuyt and Franky Backeljauw and Stefan Becuwe and Joris {Van Deun}",
  title =        "Validated Special Functions Software",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "32--34",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/elefunt.bib; http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_6.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Benoit:2010:DDM,
  author =       "Alexandre Benoit and Fr{\'e}d{\'e}ric Chyzak and Alexis Darrasse and Stefan Gerhold and Marc Mezzarobba {\textellipsis}",
  title =        "The {Dynamic Dictionary of Mathematical Functions (DDMF)}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "35--41",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_7.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Zimmermann:2010:RCG,
  author =       "Paul Zimmermann",
  title =        "Reliable Computing with {GNU MPFR}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "42--45",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/gnu.bib;
                 http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_8.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Barakat:2010:SCS,
  author =       "Mohamed Barakat and Simon G{\"o}rtzen",
  title =        "Simplicial Cohomology of Smooth Orbifolds in {GAP}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "46--49",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_9.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Eick:2010:CPQ,
  author =       "Bettina Eick and Max Horn",
  title =        "Computing Polycyclic Quotients of Finitely ({$L$}-)Presented Groups via {Gr{\"o}bner} Bases",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "50--53",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_10",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_10.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Ambrose:2010:CMT,
  author =       "Sophie Ambrose and Scott H. Murray and Cheryl E. Praeger and Csaba Schneider",
  title =        "Constructive Membership Testing in Black-Box Classical Groups",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "54--57",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_11",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_11.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Behrends:2010:THP,
  author =       "Reimer Behrends and Alexander Konovalov and Steve Linton and Frank L{\"u}beck and Max Neunh{\"o}effer",
  title =        "Towards High-Performance Computational Algebra with {GAP}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "58--61",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_12",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_12.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Miyamoto:2010:IFC,
  author =       "Izumi Miyamoto",
  title =        "An Improvement of a Function Computing Normalizers for Permutation Groups",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "62--68",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_13",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_13.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Pasechnik:2010:GPC,
  author =       "Dmitrii V. Pasechnik and Keshav Kini",
  title =        "A {GAP} Package for Computation with Coherent Configurations",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "69--72",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_14",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_14.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Abbott:2010:CCL,
  author =       "John Abbott and Anna M. Bigatti",
  title =        "{CoCoALib}: a {C++} Library for Computations in Commutative Algebra \ldots{} and Beyond",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "73--76",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_15",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_15.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Dumas:2010:LFS,
  author =       "Jean-Guillaume Dumas and Thierry Gautier and Cl{\'e}ment Pernet and B. David Saunders",
  title =        "{LinBox} Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "77--83",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_16",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_16.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Faugere:2010:FLC,
  author =       "Jean-Charles Faug{\`e}re",
  title =        "{FGb}: a Library for Computing {Gr{\"o}bner} Bases",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "84--87",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_17",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_17.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Hart:2010:FLN,
  author =       "William B. Hart",
  title =        "Fast Library for Number Theory: an Introduction",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "88--91",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_18",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_18.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Halperin:2010:CPC,
  author =       "Dan Halperin",
  title =        "Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "92--95",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_19",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_19.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Karavelas:2010:EGA,
  author =       "Menelaos I. Karavelas",
  title =        "Exact Geometric and Algebraic Computations in {CGAL}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "96--99",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_20",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:11 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_20.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Rouillier:2010:SSB,
  author =       "Fabrice Rouillier",
  title =        "On Solving Systems of Bivariate Polynomials",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "100--104",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_21",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_21.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Rump:2010:ARC,
  author =       "Siegfried M. Rump",
  title =        "Accurate and Reliable Computing in Floating-Point
                 Arithmetic",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "105--108",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_22",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_22.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Morig:2010:DDC,
  author =       "Marc M{\"o}rig",
  title =        "Deferring {DAG} Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "109--120",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_23",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_23.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Yu:2010:DCL,
  author =       "Jihun Yu and Chee Yap and Zilin Du and Sylvain Pion and Herv{\'e} Br{\"o}nnimann",
  title =        "The Design of {Core 2}: a Library for Exact Numeric Computation in Geometry and Algebra",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "121--141",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_24",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_24.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Adams:2010:IHZ,
  author =       "Mark Adams",
  title =        "Introducing {HOL Zero}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "142--143",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_25",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_25.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Alama:2010:EPF,
  author =       "Jesse Alama",
  title =        "{Euler}'s Polyhedron Formula in {Mizar}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "144--147",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_26",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_26.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Arthan:2010:BLM,
  author =       "R. D. Arthan",
  title =        "Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "148--148",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_27",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_27.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Hales:2010:LPK,
  author =       "Thomas C. Hales",
  title =        "Linear Programs for the {Kepler} Conjecture",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "149--151",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_28",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  MRclass =      "68-99 65-99",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/kepler.bib;
                 http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_28.pdf",
  ZMnumber =     "05785562",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
  keywords =     "Project Flyspeck",
}

@Article{Harrison:2010:FPP,
  author =       "John Harrison",
  title =        "A Formal Proof of {Pick}'s Theorem",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "152--154",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_29",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_29.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Urban:2010:EAT,
  author =       "Josef Urban and Krystof Hoder and Andrei Voronkov",
  title =        "Evaluation of Automated Theorem Proving on the {Mizar} Mathematical Library",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "155--166",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_30",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_30.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Hoffmann:2010:LDP,
  author =       "Tim Hoffmann",
  title =        "On Local Deformations of Planar Quad-Meshes",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "167--169",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_31",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_31.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Weber:2010:CHS,
  author =       "Matthias Weber",
  title =        "Construction of Harmonic Surfaces with Prescribed Geometry",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "170--173",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_32",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_32.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{vonGagern:2010:LOB,
  author =       "Martin von Gagern and Christian Mercat",
  title =        "A Library of {OpenGL}-Based Mathematical Image Filters",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "174--185",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_33",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_33.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Mucherino:2010:MJI,
  author =       "Antonio Mucherino and Leo Liberti and Carlile Lavor",
  title =        "{MD-jeep}: an Implementation of a Branch and Prune Algorithm for Distance Geometry Problems",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "186--197",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_34",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_34.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Reininghaus:2010:TCF,
  author =       "Jan Reininghaus and David G{\"u}nther and Ingrid Hotz and Steffen Prohaska and Hans-Christian Hege",
  title =        "{TADD}: a Computational Framework for Data Analysis Using Discrete {Morse} Theory",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "198--208",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_35",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_35.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Bruns:2010:IN,
  author =       "Winfried Bruns and Bogdan Ichim and Christof S{\"o}ger",
  title =        "Introduction to {Normaliz 2.5}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "209--212",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_36",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_36.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Markwig:2010:CAM,
  author =       "Thomas Markwig",
  title =        "Computer Algebra Methods in Tropical Geometry",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "213--216",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_37",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_37.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Blanco:2010:NDA,
  author =       "Roc{\'\i}o Blanco",
  title =        "A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "217--220",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_38",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_38.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Nakayama:2010:ACI,
  author =       "Hiromasa Nakayama and Kenta Nishiyama",
  title =        "An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "221--232",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_39",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_39.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Noro:2010:NAC,
  author =       "Masayuki Noro",
  title =        "New Algorithms for Computing Primary Decomposition of Polynomial Ideals",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "233--244",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_40",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:18 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_40.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Tec:2010:ACP,
  author =       "Loredana Tec and Georg Regensburger and Markus Rosenkranz and Bruno Buchberger",
  title =        "An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "245--248",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_41",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_41.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Dotsenko:2010:OGB,
  author =       "Vladimir Dotsenko and Mikael Vejdemo-Johansson",
  title =        "Operadic {Gr{\"o}bner} Bases: an Implementation",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "249--252",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_42",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_42.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Cannon:2010:MTN,
  author =       "John Cannon and Steve Donnelly and Claus Fieker and Mark Watkins",
  title =        "{Magma} --- a Tool for Number Theory",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "253--255",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_43",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_43.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Citro:2010:EGR,
  author =       "Craig Citro and Alexandru Ghitza",
  title =        "Enumerating {Galois} Representations in {Sage}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "256--259",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_44",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_44.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Tanaka:2010:N,
  author =       "Satoru Tanaka and Naoki Ogura and Ken Nakamula and Tetsushi Matsui and Shigenori Uchiyama",
  title =        "{NZMATH 1.0}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "260--269",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_45",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_45.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Adjiashvili:2010:RRQ,
  author =       "David Adjiashvili and Michel Baes and Philipp Rostalski",
  title =        "Removing Redundant Quadratic Constraints",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "270--281",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_46",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_46.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Jensen:2010:TSP,
  author =       "Anders Nedergaard Jensen",
  title =        "Traversing Symmetric Polyhedral Fans",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "282--294",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_47",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_47.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Rehn:2010:CTE,
  author =       "Thomas Rehn and Achill Sch{\"u}rmann",
  title =        "{C++} Tools for Exploiting Polyhedral Symmetries",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "295--298",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_48",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_48.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Verdoolaege:2010:IIS,
  author =       "Sven Verdoolaege",
  title =        "{isl}: an Integer Set Library for the Polyhedral Model",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "299--302",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_49",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_49.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Liberti:2010:ROS,
  author =       "Leo Liberti and Sonia Cafieri and David Savourey",
  title =        "The Reformulation-Optimization Software Engine",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "303--314",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_50",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_50.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Haase:2010:GSL,
  author =       "Christian Haase and Benjamin Lorenz and Andreas Paffenholz",
  title =        "Generating Smooth Lattice Polytopes",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "315--328",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_51",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_51.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Lecerf:2010:MTL,
  author =       "Gr{\'e}goire Lecerf",
  title =        "{Mathemagix}: Towards Large Scale Programming for Symbolic and Certified Numeric Computations",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "329--332",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_52",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_52.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Neher:2010:CIF,
  author =       "Markus Neher",
  title =        "Complex Inclusion Functions in the {CoStLy} {C++} Class Library",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "333--336",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_53",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_53.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Revol:2010:SIA,
  author =       "Nathalie Revol",
  title =        "Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "337--341",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_54",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_54.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Leiserson:2010:EEL,
  author =       "Charles E. Leiserson and Liyun Li and Marc Moreno Maza and Yuzhen Xie",
  title =        "Efficient Evaluation of Large Polynomials",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "342--353",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_55",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_55.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Popova:2010:CFE,
  author =       "Evgenija D. Popova and Walter Kr{\"a}mer",
  title =        "Communicating Functional Expressions from
                 {Mathematica} to {C-XSC}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "6327",
  pages =        "354--365",
  year =         "2010",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6_56",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Aug 9 15:34:26 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 http://www.math.utah.edu/pub/tex/bib/mathematica.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-642-15582-6_56.pdf",
  acknowledgement = ack-nhfb,
  author-dates = "1952--2014 (WK)",
  book-DOI =     "https://doi.org/10.1007/978-3-642-15582-6",
  book-URL =     "http://www.springerlink.com/content/978-3-642-15582-6",
  fjournal =     "Lecture Notes in Computer Science",
}

%%% ====================================================================
%%% Cross-referenced entries must come last:

@Proceedings{Abdalla:2010:PCL,
  editor =       "Michel Abdalla and Paulo S. L. M. Barreto",
  booktitle =    "{Progress in cryptology --- Latincrypt 2010: first
                 international conference on cryptology and information
                 security in Latin America, Puebla, Mexico, August
                 8--11, 2010, proceedings}",
  title =        "{Progress in cryptology --- Latincrypt 2010: first
                 international conference on cryptology and information
                 security in Latin America, Puebla, Mexico, August
                 8--11, 2010, proceedings}",
  volume =       "6212",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2010",
  ISBN =         "3-642-14711-9 (softcover)",
  ISBN-13 =      "978-3-642-14711-1 (softcover)",
  LCCN =         "????",
  bibdate =      "Mon Jan 10 18:27:32 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Abe:2010:ACA,
  editor =       "Masayuki Abe",
  booktitle =    "{Advances in cryptology --- Asiacrypt 2010: 16th
                 international conference on the theory and application
                 of cryptology and information security, Singapore,
                 December 5--9, 2010. Proceedings}",
  title =        "{Advances in cryptology --- Asiacrypt 2010: 16th
                 international conference on the theory and application
                 of cryptology and information security, Singapore,
                 December 5--9, 2010. Proceedings}",
  volume =       "6477",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2010",
  ISBN =         "3-642-17372-1 (softcover)",
  ISBN-13 =      "978-3-642-17372-1 (softcover)",
  LCCN =         "????",
  bibdate =      "Mon Jan 10 18:24:44 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Bao:2010:ISC,
  editor =       "Feng Bao and Moti Yung and Dongdai Lin",
  booktitle =    "{Information security and cryptology: 5th
                 international conference, INSCRYPT 2009, Beijing,
                 China, December 12--15, 2009. revised selected
                 papers}",
  title =        "{Information security and cryptology: 5th
                 international conference, INSCRYPT 2009, Beijing,
                 China, December 12--15, 2009. revised selected
                 papers}",
  volume =       "6151",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2010",
  ISBN =         "3-642-16341-6 (softcover)",
  ISBN-13 =      "978-3-642-16341-8 (softcover)",
  LCCN =         "????",
  bibdate =      "Mon Jan 10 18:26:08 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Bernstein:2010:PCA,
  editor =       "Daniel J. Bernstein and Tanja Lange",
  booktitle =    "{Progress in cryptology --- Africacrypt 2010: third
                 international conference on cryptology in Africa,
                 Stellenbosch, South Africa, May 3--6, 2010.
                 proceedings}",
  title =        "{Progress in cryptology --- Africacrypt 2010: third
                 international conference on cryptology in Africa,
                 Stellenbosch, South Africa, May 3--6, 2010.
                 proceedings}",
  volume =       "6055",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2010",
  ISBN =         "3-642-12677-4 (softcover)",
  ISBN-13 =      "978-3-642-12677-2 (softcover)",
  LCCN =         "????",
  bibdate =      "Mon Jan 10 18:26:50 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Gilbert:2010:ACE,
  editor =       "Henri Gilbert",
  booktitle =    "{Advances in cryptology --- Eurocrypt 2010: 29th
                 annual international conference on the theory and
                 applications of cryptographic techniques, Monaco, May
                 30--June 3, 2010. Proceedings}",
  title =        "{Advances in cryptology --- Eurocrypt 2010: 29th
                 annual international conference on the theory and
                 applications of cryptographic techniques, Monaco, May
                 30--June 3, 2010. Proceedings}",
  volume =       "6110",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2010",
  ISBN =         "3-642-13189-1 (softcover)",
  ISBN-13 =      "978-3-642-13189-9 (softcover)",
  LCCN =         "????",
  bibdate =      "Mon Jan 10 18:25:26 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Gollmann:2010:SCR,
  editor =       "Dieter Gollmann and Jean-Louis Lanet and Julien
                 Iguchi-Cartigny",
  booktitle =    "{Smart card research and advanced application: 9th
                 IFIP WG 8.8/11.2 International Conference, CARDIS 2010,
                 Passau, Germany, April 14--16, 2010: proceedings}",
  title =        "{Smart card research and advanced application: 9th
                 IFIP WG 8.8/11.2 International Conference, CARDIS 2010,
                 Passau, Germany, April 14--16, 2010: proceedings}",
  volume =       "6035",
  publisher =    "Springer",
  address =      "Berlin, Germany",
  pages =        "x + 237",
  year =         "2010",
  ISBN =         "3-642-12509-3 (paperback)",
  ISBN-13 =      "978-3-642-12509-6 (paperback)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "TK7895.S62 C36 2010",
  bibdate =      "Thu Feb 10 12:50:59 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  meetingname =  "CARDIS (Conference) (9th: 2010: Passau, Germany)",
  subject =      "Smart cards; Congresses",
}

@Proceedings{Gong:2010:PCI,
  editor =       "Guang Gong and Kishan Chand Gupta",
  booktitle =    "{Progress in cryptology --- Indocrypt 2010: 11th
                 international conference on cryptology in India,
                 Hyderabad, India, December 12--15, 2010. Proceedings}",
  title =        "{Progress in cryptology --- Indocrypt 2010: 11th
                 international conference on cryptology in India,
                 Hyderabad, India, December 12--15, 2010. Proceedings}",
  volume =       "6498",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2010",
  ISBN =         "3-642-17400-0 (softcover)",
  ISBN-13 =      "978-3-642-17400-1 (softcover)",
  LCCN =         "????",
  bibdate =      "Mon Jan 10 18:27:11 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Heng:2010:CNS,
  editor =       "Swee-Huay Heng and Rebecca N. Wright and Bok-Min Goi",
  booktitle =    "{Cryptology and network security: 9th international
                 conference, CANS 2010, Kuala Lumpur, Malaysia, December
                 12--14, 2010. Proceedings}",
  title =        "{Cryptology and network security: 9th international
                 conference, CANS 2010, Kuala Lumpur, Malaysia, December
                 12--14, 2010. Proceedings}",
  volume =       "6467",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2010",
  ISBN =         "3-642-17618-6 (softcover)",
  ISBN-13 =      "978-3-642-17618-0 (softcover)",
  LCCN =         "????",
  bibdate =      "Mon Jan 10 18:25:47 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Lee:2010:ISC,
  editor =       "Donghoon Lee and Seokhie Hong",
  booktitle =    "{Information, security and cryptology -- ICISC 2009:
                 12th international conference, Seoul, Korea, December
                 2--4, 2009, revised selected papers}",
  title =        "{Information, security and cryptology -- ICISC 2009:
                 12th international conference, Seoul, Korea, December
                 2--4, 2009, revised selected papers}",
  volume =       "5984",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2010",
  ISBN =         "3-642-14422-5 (softcover)",
  ISBN-13 =      "978-3-642-14422-6 (softcover)",
  LCCN =         "????",
  bibdate =      "Mon Jan 10 18:26:29 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Pieprzyk:2010:TCC,
  editor =       "Josef Pieprzyk",
  booktitle =    "{Topics in cryptology --- CT-RSA 2010: the 10th
                 cryptographers' track at the RSA conference 2010, San
                 Francisco, CA, USA, March 1--5, 2010. Proceedings}",
  title =        "{Topics in cryptology --- CT-RSA 2010: the 10th
                 cryptographers' track at the RSA conference 2010, San
                 Francisco, CA, USA, March 1--5, 2010. Proceedings}",
  volume =       "5985",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2010",
  ISBN =         "3-642-11924-7 (softcover)",
  ISBN-13 =      "978-3-642-11924-8 (softcover)",
  LCCN =         "????",
  bibdate =      "Mon Jan 10 18:27:53 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Rabin:2010:ACC,
  editor =       "Tal Rabin",
  booktitle =    "{Advances in cryptology --- Crypto 2010: 30th annual
                 cryptology conference, Santa Barbara, CA, USA, August
                 15--19, 2010. Proceedings}",
  title =        "{Advances in cryptology --- Crypto 2010: 30th annual
                 cryptology conference, Santa Barbara, CA, USA, August
                 15--19, 2010. Proceedings}",
  volume =       "6223",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2010",
  ISBN =         "3-642-14622-8 (softcover)",
  ISBN-13 =      "978-3-642-14622-0 (softcover)",
  LCCN =         "????",
  bibdate =      "Mon Jan 10 18:25:05 MST 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Lecture notes in computer science",
  acknowledgement = ack-nhfb,
}

@Proceedings{Sendrier:2010:PQC,
  editor =       "Nicolas Sendrier",
  booktitle =    "{Post-Quantum Cryptography: Third International
                 Workshop, PQCrypto 2010, Darmstadt, Germany, May
                 25--28, 2010. Proceedings}",
  title =        "{Post-Quantum Cryptography: Third International
                 Workshop, PQCrypto 2010, Darmstadt, Germany, May
                 25--28, 2010. Proceedings}",
  volume =       "6061",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "x + 240",
  year =         "2010",
  DOI =          "https://doi.org/10.1007/978-3-642-12929-2",
  ISBN =         "3-642-12928-5",
  ISBN-13 =      "978-3-642-12928-5",
  LCCN =         "QA76.9.A25 2010",
  bibdate =      "Thu Apr 21 17:24:28 MDT 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 z3950.bibsys.no:2100/BIBSYS",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  subject =      "Data protection; Computer science; Computer software;
                 Information Systems; Operating systems (Computers);
                 Computer Communication Networks; Data encryption
                 (Computer science)",
}

@Proceedings{Fukuda:2010:MSI,
  editor =       "Komei Fukuda and Joris van der Hoeven and Michael
                 Joswig and Nobuki Takayama",
  booktitle =    "{Mathematical software --- ICMS 2010: third
                 International Congress on Mathematical Software,
                 K{\=o}be, Japan, September 13--17, 2010: proceedings}",
  title =        "{Mathematical software --- ICMS 2010: third
                 International Congress on Mathematical Software,
                 K{\=o}be, Japan, September 13--17, 2010: proceedings}",
  volume =       "6327",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xvi + 368",
  year =         "2010",
  ISBN =         "3-642-15581-2 (paperback), 3-642-15582-0 (e-book)",
  ISBN-13 =      "978-3-642-15581-9 (paperback), 978-3-642-15582-6
                 (e-book)",
  LCCN =         "QA76.95 .I5654 2010",
  bibdate =      "Sat Aug 9 14:06:27 MDT 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 http://www.math.utah.edu/pub/tex/bib/lncs.bib;
                 http://www.math.utah.edu/pub/tex/bib/lncs2010a.bib;
                 http://www.math.utah.edu/pub/tex/bib/magma.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-15581-9",
  acknowledgement = ack-nhfb,
  subject =      "Mathematics; Data processing; Congresses; Computer
                 software",
}