%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "1.06", %%% date = "25 April 2024", %%% time = "09:45:06 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 = "56498 1653 6304 72738", %%% 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.06, 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", }