text:
{K. Hammond and J. Berthold and R. Loogen},
  title     = {{Automatic Skeletons in Template Haskell}},
  year      = {2003},
  volume    = {13},
  number    = {3},
  pages     = {413--424},
  journal   = {Parallel Processing Letters},
  publusher = {World Scientific Publishing Company},
}

@Report{Hammond2007a,
  author        = {Kevin Hammond and Dana Petcu and Phil Trinder and Abdallah Al Zain and Steve Linton and Greg Michaelson},
  title         = {{Project Paper: the SCIEnce Joint Research Activity Symbolic Computing on the Grid}},
  year          = {2007},
  optmonth      = {August},
  optnote       = {retrieved in February 2008},
  xhowpublished = {???},
}

@Book{Hardy1975,
  author    = {Hardy, G. H. and Wright, E. M.},
  title     = {An introduction to the theory of numbers},
  year      = {1975},
  edition   = {fourth},
  publisher = {Oxford Clarendon},
}

@Article{Hawley1992,
  author    = {Hawley, D.},
  title     = {A {Buchberger} algorithm for distributed memory multi-processors},
  year      = {1992},
  pages     = {385--390},
  journal   = {Parallel Computation},
  publisher = S-V,
}

@Article{Heideman1984,
  author  = {Heideman, M. T. and Johnson, D. H. and Burrus, C. S.},
  title   = {{Gauss} and the history of the {FFT}},
  year    = {1984},
  volume  = {1},
  pages   = {14--21},
  journal = {IEEE Acoustics, Speech, and Signal Processing Magazine},
}

@InProceedings{Hernandez1999,
  author    = {Hernandez, F. and Pe{\~n}a, R. and Rubio, F.},
  title     = {{From GranSim to Paradise}},
  booktitle = SFP,
  year      = {1999},
  editor    = {P. W. Trinder and G. Michaelson and H-W. Loidl},
  volume    = {1},
  series    = {{Trends in Functional Programming}},
  publisher = {Intellect},
  pages     = {11--19},
  address   = {Stirling, Scotland},
}

@PhdThesis{Herrmann2000a,
  author    = {C. A. Herrmann},
  title     = {The Skeleton-Based Parallelization of Divide-and-Conquer Recursions},
  year      = {2000},
  note      = {ISBN 3-89722-556-5},
  publisher = {LogoS-Verlag, Berlin},
  school    = {Universit\"at Passau},
}

@Article{Herrmann2000,
  author    = {Herrmann, C.A. and Lengauer, C.},
  title     = {{HDC: A Higher-Order Language for Divide-and-Conquer}},
  year      = {2000},
  volume    = {10},
  number    = {2/3},
  pages     = {239--250},
  journal   = {Parallel Processing Letters},
  publusher = {World Scientific Publishing Company},
}

@Article{Hestenes1952,
  author  = {Hestenes, M.R. and Stiefel, E.},
  title   = {{Methods of conjugate gradients for solving linear systems}},
  year    = {1952},
  volume  = {49},
  number  = {6},
  pages   = {409--436},
  journal = {J. Res. Nat. Bur. Stand},
}

@InProceedings{HidalgoHerrero2000,
  author       = {{Hidalgo Herrero}, M. and {Ortega Mall{\'e}n}, Y.},
  title        = {{A Distributed Operational Semantics for a Parallel Functional Language}},
  booktitle    = {{SFP'00}},
  year         = {2000},
  volume       = {2},
  series       = {{Trends in Functional Programming}},
  publisher    = {Intellect},
  month        = jul,
  address      = {University of St Andrews, Scotland},
  optbooktitle = {{SFP'00 --- Scottish Functional Programming Workshop}},
}

@PhdThesis{Hidalgo-Herrero2004,
  author = {Mercedes {Hidalgo-Herrero}},
  title  = {Formal Semantics for a parallel functional language},
  year   = {2004},
  note   = {(in spanish)},
  school = {Universidad Complutense de Madrid},
}

@Article{Hidalgo-Herrero2002,
  author    = {M. Hidalgo{-Herrero} and Y. Ortega{-Mall{\'e}n}},
  title     = {An Operational Semantics for the Parallel Language {E}den},
  year      = {2002},
  editor    = {S. Gorlatch and C. Lengauer},
  volume    = {12},
  number    = {2},
  pages     = {211-228},
  journal   = {Parallel Processing Letters},
  publusher = {World Scientific Publishing Company},
}

@InProceedings{Hidalgo-Herrero2003,
  author       = {M. Hidalgo{-Herrero} and Y. Ortega{-Mall{\'e}n}},
  title        = {Continuation Semantics for Parallel Haskell Dialects},
  booktitle    = {Proceedings of the 1\st Asian Symposium on Programming Languages and Systems , ({APLAS'03})},
  year         = {2003},
  organization = {LNCS 2895},
  publisher    = S-V,
  pages        = {303-321},
}

@InProceedings{Hidalgo-Herrero2000,
  author    = {M. Hidalgo{-Herrero} and Y. Ortega{-Mall{\'e}n}},
  title     = {A Distributed Operational Semantics for a Parallel Functional Language},
  booktitle = {Trends in Functional Programming (Selected papers of the Second Scottish Functional Programming Workshop)},
  year      = {2000},
  volume    = {2},
  publisher = {Intellect},
  pages     = {89-102},
}

@Article{Hilbert1890,
  author    = {Hilbert, David},
  title     = {{\"{U}ber} die {Theorie} der algebraischen {Formen}},
  year      = {1890},
  volume    = {36},
  number    = {4},
  pages     = {473--534},
  journal   = {Mathematische Annalen},
  optnote   = {Hilbert's Basis Theorem},
  publisher = S-V,
}

@Article{Hill2008,
  author    = {Hill, M. D. and Marty, M. R.},
  title     = {{Amdahl's} law in the multicore era},
  year      = {2008},
  journal   = {Computer},
  optpages  = {33--38},
  publisher = {IEEE Computer Society},
}

@Article{Hippold2006,
  author  = {J. Hippold and G. R{\"u}nger},
  title   = {Task Pool Teams: A Hybrid Programming Environment for Irregular Algorithms on {SMP} Clusters},
  year    = {2006},
  volume  = {18},
  pages   = {1575--1594},
  journal = {Concurrency and Computation: Practice and Experience},
}

@Book{Horowitz1978,
  author    = {E. Horowitz and S. Sahni},
  title     = {Fundamentals of Computer Algorithms},
  year      = {1978},
  publisher = {Computer Science Press, Inc.},
  address   = {Rockville, MD},
  keywords  = {Data structures, divide-and-conquer, greedy method, dynamic programming, backtracking, branch-and-bound, lower bound theory, np-complete problems},
}

@InProceedings{Horstmeyer2010,
  author       = {Thomas Horstmeyer and Rita Loogen},
  title        = {Graph-based Comminication in {Eden}},
  booktitle    = {TFP'2010 --- Trends in Fuctional Programming},
  year         = {2010},
  editor       = {Zolt\'{a}n Horv\'{a}th and Vict\'{o}ria Zs\'{o}k and Peter Achten and Pieter Koopman},
  volume       = {10},
  publisher    = {Intellect},
  pages        = {1--16},
  oldbooktitle = {Tenth Symposium on Trends in Fuctional Programming},
  oldpages     = {261--273},
}

@Misc{Huch2001,
  author      = {Frank Huch and Volker Stolz},
  title       = {Implementation of Port-based Distributed Haskell},
  year        = {2001},
  booktitle   = {Draft Proceedings of IFL'01},
  optabstract = {We present an implementation of robust distributed open systems in Haskell via ports. The system is designed to allow an arbitrary number of applications to communicate in a peer-to-peer manner. An application may offer services to clients in the network which can access it over the Internet. For service-discovery, the supporting runtime-system (implemented itself in Haskell) can map symbolic names to the low-level references used for internal communication. A stream layer abstracts from the actual IO and allows to use some means of communication in a functional context. We present both our experiences from the implementation and sample applications, using many of the language features Haskell provides. Finally a detailed discussion of the implementation is provided.},
  optannote   = {Volker Stolz (RWTH Aachen , 52056 Aachen , Germany; Christian-Albrechts-University of Kiel , 24118 Kiel , Germany);},
  opturl      = {http://www-i2.informatik.rwth-aachen.de/Research/distributedHaskell/ifl2001.ps.gz},
}

@Conference{Huss-Lederman1996,
  author    = {Huss-Lederman, S. and Jacobson, EM and Johnson, JR and Tsao, A. and Turnbull, T.},
  title     = {Implementation of {Strassen's} Algorithm for Matrix Multiplication},
  booktitle = {Proceedings of the 1996 ACM/IEEE Conference on Supercomputing},
  year      = {1996},
  pages     = {32--32},
}

@InProceedings{Hammond1994,
  author    = {Kevin {H}ammond},
  title     = {Parallel Functional Programming: An Introduction},
  booktitle = {First Intl. Symposium on Parallel Symbolic Computation},
  year      = {1994},
  note      = {Hagenberg/Linz, Austria},
  publisher = {World Scientific},
}

@InProceedings{Hammond2007,
  author       = {K. {H}ammond and A. {Al Zain} and G. Cooperman and D. Petcu and P. Trinder},
  title        = {SymGrid: a Framework for Symbolic Computation on the Grid},
  year         = {2007},
  series       = {LNCS 4703},
  organization = {EuroPar'07 -- European Conf. on Parallel Processing, Rennes, France},
  publisher    = {Spinger-Verlag},
  month        = {August},
}

@Book{Higham1996,
  author    = {Nicholas J. {H}igham},
  title     = {Accuracy and Stability of Numerical Algorithms},
  year      = {1996},
  publisher = {SIAM},
}

@Article{Ihaka1996,
  author    = {Ihaka, R. and Gentleman, R.},
  title     = {{R: A language for data analysis and graphics}},
  year      = {1996},
  pages     = {299--314},
  journal   = {J. of computational and graphical statistics},
  publisher = {American Statistical Association, Institute of Mathematical Statistics, and Interface Foundation of North America},
}

@InProceedings{Jackson2004,
  author    = {Preston A. Jackson and Cy P. Chan and Jonathan E. Scalera and Charles M. Rader and M. Michael Vai},
  title     = {A Systolic {FFT} Architecture for Real Time {FPGA} Systems},
  booktitle = {Proceedings of the High Performance Embedded Computing Conference},
  year      = {2004},
}

@InProceedings{Jebelean1997,
  author    = {Jebelean, T.},
  title     = {Using the parallel {Karatsuba} algorithm for long integer multiplication and division},
  booktitle = {Euro-Par'97 Parallel Processing},
  year      = {1997},
  publisher = S-V,
  pages     = {1169--1172},
}

@Article{Jones1976,
  author    = {Jones, J. P. and Sato, D. and Wada, H. and Wiens, D.},
  title     = {Diophantine representation of the set of prime numbers},
  year      = {1976},
  pages     = {449--464},
  journal   = {American Mathematical Monthly},
  publisher = {Mathematical Association of America},
}

@Article{Karatsuba1995,
  author  = {Karatsuba, A.},
  title   = {The complexity of computations},
  year    = {1995},
  volume  = {211},
  pages   = {169--183},
  journal = {Proc. Steklov Inst. Math},
}

@InCollection{Karatsuba1963,
  author    = {Karatsuba, A. and Ofman, Y.},
  title     = {{Multiplication of Multidigit Numbers on Automata}},
  booktitle = {Soviet Physics Doklady},
  year      = {1963},
  volume    = {7},
  note      = {Original published 1962.},
  pages     = {595},
}

@Article{Karczmarczuk2001,
  author    = {Jerzy Karczmarczuk},
  title     = {Functional Differentiation of Computer Programs},
  year      = {2001},
  volume    = {14},
  number    = {1},
  pages     = {35-57},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  journal   = {Higher--Order and Symbolic Computation},
}

@InProceedings{Karczmarczuk2000,
  author    = {Jerzy Karczmarczuk},
  title     = {Lazy Processing and Optimization of Discrete Sequences},
  booktitle = {Proceedings of the JFLA},
  year      = {2000},
}

@InProceedings{Karczmarczuk1998a,
  author       = {Jerzy Karczmarczuk},
  title        = {Functional differentiation of computer programs},
  booktitle    = {Proceedings of ICFP},
  year         = {1998},
  publisher    = theacm,
  pages        = {195--203},
  optbooktitle = {Proceedings of the third {ACM SIGPLAN} international conference on Functional programming},
}

@Misc{Karczmarczuk1998,
  author = {Jerzy Karczmarczuk},
  title  = {The Most Unreliable Technique in the World to Compute PI},
  year   = {1998},
}

@Article{Karp1990,
  author        = {Karp, Alan H. and Flatt, Horace P.},
  title         = {Measuring parallel processor performance},
  year          = {1990},
  volume        = {33},
  number        = {5},
  pages         = {539--543},
  journal       = {Comm. ACM},
  longpublisher = {Association for Computing Machinery, Inc, One Astor Plaza, 1515 Broadway, New York, NY, 10036-5701, USA,},
  publisher     = theacm,
}

@PhdThesis{Klusik2003,
  author   = {Klusik, U.},
  title    = {{An Efficient Implementation of the Parallel Functional Language Eden on Distributed-Memory System}},
  year     = {2003},
  note     = {In prep.},
  optmonth = {November},
  school   = {University of Marburg},
}

@InProceedings{Klusik2000,
  author    = {Klusik, U. and Loogen, R. and Priebe, S.},
  title     = {Controlling Parallelism and Data Distribution in {Eden}},
  booktitle = {{SFP 2000 --- Scottish Functional Programming Workshop}},
  year      = {2000},
  volume    = {2},
  series    = {{TFP}},
  publisher = {Intellect},
  pages     = {53--64},
}

@InProceedings{Klusik2001,
  author     = {Klusik, U. and Loogen, R. and Priebe, S. and Rubio, F.},
  title      = {Implementation Skeletons in {Eden} --- Low-Effort Parallel Programming},
  booktitle  = {IFL 2000 --- Implementation of Functional Languages},
  year       = {2001},
  series     = {LNCS 2011},
  publisher  = S-V,
  pages      = {71--88},
  confyear   = {2000},
  optaddress = {Aachen, Germany},
  optmonth   = {#Sep#},
  optvolume  = {2011},
}

@InProceedings{Klusik1999a,
  author    = {Klusik, U. and {Ortega-Mall{\'e}n}, Y. and {Pe{\~n}a Mar\'\i}, R.},
  title     = {{Implementing Eden -- or: Dreams Become Reality}},
  booktitle = {IFL'98},
  year      = {1999},
  series    = {LNCS 1595},
  publisher = S-V,
  pages     = {103-119},
  optvolume = {1595},
}

@InProceedings{Klusik1999,
  author       = {Klusik, U. and Pe{\~n}a, R. and Segura, C.},
  title        = {Bypassing of Channels in {Eden}},
  booktitle    = {{SFP'99}},
  year         = {1999},
  editor       = {P. W. Trinder and G. Michaelson and H-W. Loidl},
  volume       = {1},
  series       = {{Trends in Functional Programming}},
  publisher    = {Intellect},
  pages        = {2--11},
  url          = {http://www.cee.hw.ac.uk/\~greg/sfp/},
  optaddress   = {Stirling, Scotland},
  optbooktitle = {# SFP #},
}

@Article{Koren2001,
  author     = {Koren, Israel},
  title      = {Computer Arithmetic Algorithms},
  year       = {2001},
  edition    = {second},
  optaddress = {Natick, MA, USA},
  publisher  = {AK Peters},
}

@Conference{Kornerup1985,
  author       = {Kornerup, P. and Aarhus, D. and Matula, D. W.},
  title        = {{Finite precision lexicographic continued fraction number systems}},
  booktitle    = {Proceedings},
  year         = {1985},
  organization = {IEEE Computer Society Press},
  pages        = {207},
}

@Article{Kornerup1983,
  author    = {Kornerup, P. and Gregory, R. T.},
  title     = {{Mapping integers and Hensel codes onto Farey fractions}},
  year      = {1983},
  volume    = {23},
  number    = {1},
  pages     = {9--20},
  journal   = {BIT Numerical Mathematics},
  publisher = S-V,
}

@Article{Koy2001a,
  author    = {Koy, H. and Schnorr, C.},
  title     = {Segment {LLL}-reduction with floating point orthogonalization},
  year      = {2001},
  pages     = {81--96},
  journal   = {Cryptography and Lattices},
  publisher = S-V,
}

@Article{Kredel2010,
  author     = {Heinz Kredel},
  title      = {Distributed Hybrid {Gr{\"o}bner} Bases Computation},
  year       = {2010},
  pages      = {561-567},
  isbn       = {978-0-7695-3967-6},
  journal    = {Complex, Intelligent and Software Intensive Systems, International Conference},
  optaddress = {Los Alamitos, CA, USA},
  optdoi     = {http://doi.ieeecomputersociety.org/10.1109/CISIS.2010.26},
  optvolume  = {0},
  publisher  = {IEEE Computer Society},
}

@Book{Kreuzer2001,
  author    = {Kreuzer, Martin and Robbiano, Lorenzo},
  title     = {Computational commutative algebra},
  year      = {2001},
  volume    = {1},
  publisher = S-V,
}

@Misc{Kuchen2002---,
  author = {Herbert Kuchen},
  title  = {The {M\"unster} Skeleton Library {Muesli}},
  year   = {2002},
  url    = {http://danae.uni-muenster.de/lehre/kuchen/Skeletons/},
}

@InProceedings{Kuechlin1995,
  author    = {Wolfgang Kuechlin},
  title     = {{PARSAC-2: Parallel Computer Algebra on the Desk Top}},
  booktitle = {Computer Algebra in Science and Engineering},
  year      = {1995},
  publisher = {World Scientific},
}

@Book{Kumar1994a,
  author    = {V. Kumar and A. Grama and A. Gupta and G. Karypis},
  title     = {Introduction to parallel computing: design and analysis of algorithms},
  year      = {1994},
  publisher = {Benjamin-Cummings Publishing Co., Inc.},
  address   = {Redwood City, CA, USA},
}

@ARTICLE{kumar1994analyzing-,
  author = {Kumar, V. and Gupta, A.},
  title = {{Analyzing scalability of parallel algorithms and architectures}},
  journal = {J. of Parallel and Distributed Computing},
  year = {1994},
  volume = {22},
  pages = {379--391},
  number = {3},
  publisher = {Citeseer}
}

@Article{Karatsuba1962,
  author  = {A. {K}aratsuba and Yu. {O}fman},
  title   = {Multiplication of Many-Digital Numbers by Automatic Computers},
  year    = {1962},
  volume  = {145},
  pages   = {293--294},
  note    = {Translation in Physics--Doklady 7, 595--596, 1963},
  journal = {Doklady Akad. Nauk SSSR},
}

@Article{Karczmarczuk1999,
  author  = {Jerzy Karczmarczuk},
  title   = {Scientific computation and functional programming},
  year    = {1999},
  volume  = {1},
  number  = {3},
  pages   = {64--72},
  journal = {Computing in Science \& Engineering},
  xmonth  = {May/June},
}

@BOOK{khinchin-kb-rus,
  title = {\cyr{Zepnye drobi}},
  year = {1960},
  author = {\cyr{A.~Ya.~Hinchin} (A.~Ya.~{K}hinchin)}
}

@Book{Khinchin1997,
  author    = {A.~Ya.~{K}hinchin},
  title     = {Continued Fractions},
  year      = {1997},
  note      = {Translation originally published by University of Chicago Press, 1964. Russian edition in year 1960.},
  publisher = {Dover Publications, Inc.},
  xaddress  = {Mineola, New York},
}

@Book{Knuth1998,
  author    = {Donald E. {K}nuth},
  title     = {The Art of Computer Programming},
  year      = {1998},
  volume    = {2},
  edition   = {Third},
  publisher = awpubl,
}

@Article{Lakshmivarahan1999,
  author     = {S. Lakshmivarahan and Sudarshan K. Dhall},
  title      = {Ring, torus and hypercube architectures/algorithms for parallel computing},
  year       = {1999},
  volume     = {25},
  number     = {13-14},
  pages      = {1877-1906},
  abstract   = {This paper provides a survey of both architectural and algorithmic
	aspects of solving problems using parallel processors with ring,
	torus and hypercube interconnection.},
  bdsk-url-1 = {http://www.sciencedirect.com/science/article/B6V12-48CPB0M-1D/2/497bf4fe1c63a8beae64c2a611b79b1b},
  bdsk-url-2 = {http://dx.doi.org/10.1016/S0167-8191(99)00069-1},
  journal    = {Parallel Computing},
  keywords   = {Computer architecture},
  xdoi       = {DOI: 10.1016/S0167-8191(99)00069-1},
  xissn      = {0167-8191},
  xurl       = {http://www.sciencedirect.com/science/article/B6V12-48CPB0M-1D/2/497bf4fe1c63a8beae64c2a611b79b1b},
}

@Article{Lehmer1938,
  author    = {Lehmer, Derrick H.},
  title     = {Euclid's algorithm for large numbers},
  year      = {1938},
  pages     = {227--233},
  journal   = {American Mathematical Monthly},
  publisher = {Mathematical Association of America},
}

@PhdThesis{Levandovskyy2005,
  author = {Levandovskyy, Viktor},
  title  = {Non--commutative computer algebra for polynomial algebras: {Gr\"{o}bner} bases, applications and implementation},
  year   = {2005},
  school = {{Universit\"{a}t} Kaiserslautern},
}

@Article{Limongelli1994,
  author    = {Limongelli, C. and Pirastu, R.},
  title     = {Exact solution of linear systems over rational numbers by parallel {$p$-adic} arithmetic},
  year      = {1994},
  pages     = {313--313},
  journal   = {Lectures On Proof Verification And Approximation Algorithms},
  publisher = S-V,
}

@Conference{Lipson1971,
  author       = {Lipson, J. D.},
  title        = {{Chinese} remainder and interpolation algorithms},
  booktitle    = {Proceedings of the second ACM symposium on symbolic and algebraic manipulation},
  year         = {1971},
  organization = theacm,
  pages        = {372--391},
  optaddr      = {: Los Angeles, California, United States},
}

@Misc{Lobachev2007a,
  author         = {Oleg Lobachev},
  title          = {{Multimodulare Arithmetik}},
  year           = {2007},
  note           = {Diplomarbeit at Justis-Liebig-Universit{\"a}t Gie\ss{}en, in German. \url{http://www.mathematik.uni-marburg.de/\~lobachev/diplom.pdf}},
  month          = mar,
  date-modified  = {2010-05-07 22:21:50 +0200},
  optinstitution = {Justis-Liebig-Universit\"{a}t Gie\ss{}en},
}

@PhdThesis{Lobachev2007,
  author = {Oleg Lobachev},
  title  = {{Multimodulare Arithmetik}},
  year   = {2007},
  type   = {Diplomarbeit},
  note   = {In German},
  month  = mar,
  url    = {http://www.mathematik.uni-marburg.de/\~lobachev/diplom.pdf},
  school = {Justis-Liebig-Universit{\"a}t Gie\ss{}en},
}

@TechReport{Lobachev2010,
  author      = {Oleg Lobachev and Rita Loogen},
  title       = {Estimating parallel performance, a skel\-e\-ton-based approach},
  institution = {Philipps-Universit{\"a}t Marburg, Fb.~12 -- Mathematik und Informatik},
  year        = {2010},
  number      = {bi2010-2},
  month       = apr,
  editor      = {Loulergue, F.},
  volume      = {BI},
}

@InProceedings{Lobachev2010c,
  author    = {Oleg Lobachev and Rita Loogen},
  title     = {Estimating parallel performance, a skel\-e\-ton-based approach},
  booktitle = {Proceedings of 4\th International Workshop on High-level Parallel Programming and Applications},
  year      = {2010c},
  publisher = theacm,
  pages     = {25-34},
  noopyear  = {{\noopsort{c}}2010},
  optmonth  = {#sep#},
  optnote   = {hlpp 2010},
  xyear     = {2010},
}

@InProceedings{Lobachev2010a,
  author    = {Oleg Lobachev and Rita Loogen},
  title     = {Implementing Data Parallel Rational Multiple-Residue Arithmetic in {Eden}},
  booktitle = {CASC'2010: Computer Algebra in Scientific Computing},
  year      = {2010a},
  editor    = {Gerdt, V. P. and Koepf, W. and Mayr, E. W. and Vorozhtsov, E. H.},
  series    = {LNCS 6244},
  note      = {Extended and revised version in \cite{multimod-report}.},
  publisher = s-v,
  pages     = {178-193},
  badvolume = {6244},
  gernote   = {Erweiterte Version als Technischer Bericht bi2010-3, Fachbereich Mathematik und Informatik, Philipps-Universit{\"a}t Marburg 2010.},
  key       = {ll-2010a},
  noopyear  = {{\noopsort{a}}2010},
  optmonth  = {#sep#},
  xyear     = {2010},
}

@TechReport{Lobachev2010b,
  author      = {Oleg Lobachev and Rita Loogen},
  title       = {Implementing Data Parallel Rational Multiple-Residue Arithmetic in {Eden}},
  institution = {Fachbereich Mathematik und Informatik der Philipps-Universit\"{a}t Marburg},
  year        = {2010b},
  number      = {bi2010-3},
  key         = {ll-2010ax},
  noopyear    = {{\noopsort{b}}2010},
  volume      = {BI},
  xmonth      = {#sep#},
  xyear       = {2010},
}

@InProceedings{Lobachev2008,
  author        = {Oleg Lobachev and Rita Loogen},
  title         = {Towards an Implementation of a Computer Algebra System in a Functional Language},
  booktitle     = {Intelligent Computer Mathematics},
  year          = {2008},
  editor        = {Autexier, S. and Campbell, J. and Rubio, J. and Sorge, V. and Suzuki, M. and Wiedijk, F.},
  volume        = {5144},
  series        = {LNAI},
  organization  = {AISC 2008: 9\th International Conference on Artificial Intelligence and Symbolic Computation},
  publisher     = S-V,
  pages         = {141--154},
  date-modified = {2010-05-07 20:47:29 +0200},
}

@InProceedings{Loidl2001,
  author     = {Loidl, H-W.},
  title      = {{Load Balancing in a Parallel Graph Reducer}},
  booktitle  = {{SFP'01 --- Scottish Functional Programming Workshop}},
  year       = {2001},
  editor     = {Hammond, K. and Curtis, S.},
  volume     = {3},
  series     = {Trends in Functional Programming},
  publisher  = {Intellect},
  pages      = {63--74},
  address    = {Bristol, UK},
  optaddress = {Univ of Stirling, Scotland},
  optnote    = {\url{http://www.cee.hw.ac.uk/\~{}dsg/gph/papers/drafts/sfp01-gum.ps.gz}},
}

@PhdThesis{Loidl1998,
  author    = {Loidl, H-W.},
  title     = {{Granularity in Large-Scale Parallel Functional Programming}},
  year      = {1998},
  address   = {University of Glasgow},
  optannote = {Submitted: December 1997; accept with minor changes: February 1998},
  optmonth  = {#Mar#},
  optnote   = {\url{http://www.cee.hw.ac.uk/\~{}dsg/gph/papers/ps/loidl-thesis.ps.gz}},
  school    = {Department of Computing Science},
}

@InProceedings{Loidl2000b,
  author       = {Loidl, H-W. and Klusik, U. and Hammond, K. and Loogen, R. and Trinder, P.W.},
  title        = {{GpH} and {Eden}: Comparing Two Parallel Functional Languages on a {Beowulf} Cluster},
  booktitle    = {{SFP'00}},
  year         = {2000},
  volume       = {2},
  series       = {TFP},
  publisher    = {Intellect},
  pages        = {39--52},
  abstract     = {"We investigate two similar but contrasting parallel functional language
	designs: Eden and GpH. Both languages use the non-strict functional
	language Haskell as a core expression language, both their implementations
	are based on the same host sequential implementation --- the high
	performance Glasgow Haskell Compiler (GHC), and both implementations
	are available on the same distributed architecture --- the St Andrews
	Beowulf cluster. This allows an exceptionally pure comparison of
	the language design characteristics and their impact on parallel
	performance.

	The comparison is illustrated by two parallel benchmarks which expose
	differences in the communication, process creation, and work distribution
	mechanisms employed by Eden and GpH. Our results show that the explicit
	process model favoured by Eden gives good parallel performance for
	coarse-grained applications running on the Beowulf cluster. In comparison,
	the implicit process model used in GpH gives poorer absolute speedup
	for this class of application on this architecture. Further work
	is needed to verify the reasons for this difference in performance
	and to extend these results to other architectures."},
  optbooktitle = {{SFP'00 --- Scottish Functional Programming Workshop}},
  xnote        = {{\tt \small http://www.cee.hw.ac.uk/\~{}dsg/gph/papers/ps/sfp00.ps.gz}},
}

@InBook{Loidl2000,
  author    = {Loidl, H.-W. and Klusik, U. and Hammond, K. and Loogen, R. and Trinder, P. W.},
  title     = {{Trends in Functional Programming}},
  year      = {2000},
  publisher = {Intellect Books},
  chapter   = {{GpH} and {Eden}: Comparing two parallel functional languages on a {Beowulf} cluster},
}

@Article{Loidl2000a,
  author    = {Loidl, H.-W. and Klusik, U. and Hammond, K. and Loogen, R. and Trinder, P. W.},
  title     = {{GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster}},
  year      = {2000},
  pages     = {39},
  journal   = {Trends in Functional Programming},
  publisher = {Intellect Books},
}

@Article{Loidl2003a,
  author  = {H-W. Loidl and F. {Rubio Diez} and N.R. Scaife and K. Hammond and U. Klusik and R. Loogen and G.J. Michaelson and S. Horiguchi and R. {Pena Mari} and S.M. Priebe and A.J. Rebon Portillo and P.W. Trinder},
  title   = {Comparing Parallel Functional Languages: Programming and Performance},
  year    = {2003},
  volume  = {16(3)},
  journal = {Higher-order and Symbolic Computation},
}

@Article{Loidl2003,
  author     = {H-W. Loidl and F. {Rubio Diez} and N.R. Scaife and others},
  title      = {Comparing Parallel Functional Languages: Programming and Performance},
  year       = {2003},
  volume     = {16},
  number     = {3},
  journal    = {HOSC},
  optjournal = {Higher-order and Symbolic Computation},
}

@InCollection{Loogen1999,
  author    = {Loogen, R.},
  title     = {{Programming Language Constructs}},
  booktitle = {{Research Directions in Parallel Functional Programming}},
  year      = {1999},
  editor    = {K. Hammond and G. Michaelson},
  publisher = S-V,
  pages     = {63--91},
}

@ARTICLE{eden--,
  author = {Rita Loogen and Yolanda Ortega-Mall\'{e}n and Ricardo {Pe\~{n}a-Mar\'{\i}}},
  title = {{Parallel Functional Programming in Eden}},
  journal = {{Journal of Functional Programming}},
  year = {2005},
  volume = {15},
  pages = {431-475},
  number = {3},
  xtitle = {{, Special Issue on Functional Approaches to High-Performance Parallel
	Programming}}
}

@INCOLLECTION{Eden:SkeletonBookChapter02-,
  author = {Loogen, R. and {Ortega-Mall\'{e}n}, Y. and {Pe\~{n}a}, R. and Priebe,
	S. and Rubio, F.},
  title = {{Parallelism Abstractions in Eden}},
  booktitle = {{Patterns and Skeletons for Parallel and Distributed Computing}},
  publisher = S-V,
  year = {2003},
  editor = {F. A. Rabhi and S. Gorlatch},
  pages = {71--88},
  BADBADnote = {See also \cite{SkeletonBook}}
}

@Article{Loos1974,
  author     = {Loos, Ruediger G. K.},
  title      = {Toward a formal implementation of computer algebra},
  year       = {1974},
  volume     = {8},
  number     = {3},
  pages      = {9--16},
  issn       = {0163-5824},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1086837.1086839},
  journal    = {SIGSAM Bull.},
  optaddress = {New York, NY, USA},
  publisher  = theacm,
  xdoi       = {http://doi.acm.org/10.1145/1086837.1086839},
}

@Article{Luby194,
  author  = {Michael Luby and Alistair Sinclair and David Zuckerman},
  title   = {Optimal Speedup of Las Vegas Algorithms},
  year    = {194},
  volume  = {26},
  number  = {1},
  journal = {ACM Computing Surveys (CSUR)},
}

@Book{Lang1987,
  author    = {Serge {L}ang},
  title     = {Linear Algebra},
  year      = {1987},
  edition   = {Third},
  publisher = S-V,
}

@InProceedings{Loidl1997,
  author    = {Hans-Wolfgang {L}oidl},
  title     = {LinSolv: A case study in strategic parallelism},
  booktitle = {Glasgow Workshop on Functional Programming},
  year      = {1997},
  optpages  = {15--17},
}

@Article{Loogen2005,
  author    = {Rita {L}oogen and Yolanda {Ortega--Mall\'{e}n} and Ricardo {Pe\~{n}a--Mar\'{\i}}},
  title     = {{P}arallel {F}unctional {P}rogramming in {E}den},
  year      = {2005},
  number    = {15},
  pages     = {431--475},
  note      = {Special Issue on Functional Approaches to High-Performance Parallel Programming},
  journal   = {J. of Functional Programming},
  optauthor = {Rita {L}oogen and Yolanda {Ortega--Mall\'{e}n} and Ricardo {Pena--Mar\'{\i}}},
  optkey    = {LOP05},
  optvolume = {15},
}

@InProceedings{M.Poldner2005,
  author    = {M.Poldner and H.Kuchen},
  title     = {On Implementing the Farm Skeleton},
  booktitle = {Proceedings of the 3\rd International Workshop HLPP 2005},
  year      = {2005},
  editor    = {Alexander Tiskin and Fr\'ed\'eric Loulergue},
  note      = {\jbcomment{== Draft Proc.s, PPL version? Better reference?} \rlcomment{Parallel Computing Artikel oder ICSOFT-Papier zitieren?}},
  address   = {Warwick, UK},
  optmonth  = {July},
}

@InCollection{MacTutor2011,
  author    = {MacTutor},
  booktitle = {History of Mathematics Archive},
  year      = {2011},
  note      = {Retrieved 25.03.2011},
  publisher = {University of St.~Andrews, Scotland},
  url       = {http://www-history.mcs.st-and.ac.uk/},
  qr        = {\makeqr{http://www-history.mcs.st-and.ac.uk/}},
}

@Article{Malaquias2007,
  author    = {Jos{\'e} Romildo Malaquias and Carlos Roberto Lopes},
  title     = {Implementing a computer algebra system in {H}askell},
  year      = {2007},
  volume    = {192},
  number    = {1},
  pages     = {120-134},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee        = {http://dx.doi.org/10.1016/j.amc.2007.02.126},
  journal   = {Applied Mathematics And Computation},
}

@Article{Marlow2009,
  author    = {Marlow, S. and {Peyton Jones}, S. and Singh, S.},
  title     = {Runtime support for multicore {Haskell}},
  year      = {2009},
  volume    = {44},
  number    = {9},
  pages     = {65--78},
  journal   = {{SIGPLAN} Not.},
  publisher = theacm,
}

@InProceedings{Martinez2004,
  author     = {Rafael Mart\'{\i}nez and Ricardo {Pe\~{n}a}},
  title      = {Building an Interface Between {Eden} and {Maple}: A Way of Parallelizing Computer Algebra Algorithms.},
  booktitle  = {IFL 2003 --- 15\th International Workshop on Implementation of Functional Languages, Revised Papers},
  year       = {2004},
  editor     = {Philip W. Trinder and Greg Michaelson and Ricardo {Pe\~{n}a}},
  series     = {LNCS 3145},
  publisher  = S-V,
  pages      = {135--151},
  optcomment = {Edingurgh, UK, September 8-11, 2003,},
  optvolume  = {3145},
}

@Conference{Marti-Puig2008,
  author       = {Marti-Puig, P. and Bolano, R.R. and Baradad, V.P.},
  title        = {{Radix-R FFT and IFFT Factorizations for Parallel Implementation}},
  booktitle    = {International Symposium on Distributed Computing and Artificial Intelligence 2008 (Dcaia08)},
  year         = {2008},
  organization = S-V,
  pages        = {152},
}

@Article{Matiyasevich1981,
  author    = {Matiyasevich, Y. V.},
  title     = {Primes are nonnegative values of a polynomial in 10 variables},
  year      = {1981},
  volume    = {15},
  number    = {1},
  pages     = {33--44},
  note      = {Translation of 1977 publication.},
  journal   = {J. Mathematical Sciences},
  publisher = S-V,
}

@Conference{Matiyasevich1971,
  author    = {Matiyasevich, Y. V.},
  title     = {Diophantine representation of the set of prime numbers},
  booktitle = {Dokl. Akad. Nauk SSSR},
  year      = {1971},
  volume    = {196},
  pages     = {770--773},
}

@Conference{MATULA1990,
  author       = {MATULA, D. W. and KORNERUP, P.},
  title        = {Finite Precision Rational Arithmetic: Slash Number Systems},
  booktitle    = {Computer arithmetic},
  year         = {1990},
  organization = {IEEE Computer Society},
  pages        = {325},
}

@Article{Mayr1982,
  author   = {Ernst W. Mayr and Albert R. Meyer},
  title    = {The complexity of the word problems for commutative semigroups and polynomial ideals},
  year     = {1982},
  volume   = {46},
  number   = {3},
  pages    = {305--329},
  abstract = {Any decision procedure for the word problems for commutative semigroups
	and polynomial deals inherently requires computational storage space
	growing exponentially with the size of the problem instance to which
	the procedure is applied. This bound is achieved by a simple procedure
	for the semigroup problem.},
  journal  = {Advances in Mathematics},
  optdoi   = {DOI: 10.1016/0001-8708(82)90048-2},
  opturl   = {http://www.sciencedirect.com/science/article/B6W9F-4CRY4PH-149/2/77f767e8369182c0fbc32de9aa2e0fff},
  xissn    = {0001-8708},
}

@Article{McIlroy2001,
  author    = {{McIlroy}, M. D.},
  title     = {The music of streams},
  year      = {2001},
  volume    = {77},
  number    = {2-4},
  pages     = {189--195},
  journal   = {Information Processing Letters},
  publisher = {Elsevier},
}

@Article{McIlroy1999,
  author    = {{McIlroy}, M. D.},
  title     = {Power series, power serious},
  year      = {1999},
  volume    = {9},
  number    = {3},
  pages     = {325--337},
  journal   = {Journal of Functional Programming},
  mynote    = {Functional pearl},
  publisher = {Cambridge Univ Press},
}

@Misc{Mechveliani2007a,
  author       = {Serge D. Mechveliani},
  title        = {{DoCon} the Algebraic Domain Constructor program},
  year         = {2007},
  howpublished = {\url{http://www.haskell.org/docon/}},
  optmonth     = {August},
  optnote      = {retrieved in August 2007},
}

@Manual{Mechveliani2007,
  author       = {Serge D. Mechveliani},
  title        = {DoCon. The Algebraic Domain Constructor Manual},
  year         = {2007},
  note         = {Version 2.11},
  organization = {Program Systems Institute},
  address      = {Pereslavl--Zalessky, Russia},
  optedition   = {Version 2.11},
}

@PhdThesis{Mencer2000,
  author = {Mencer, Oskar},
  title  = {Rational arithmetic units in computer systems},
  year   = {2000},
  month  = {February},
  school = {STANFORD UNIVERSITY},
}

@Article{Michaelson2001,
  author  = {Michaelson, Greg and Scaife, Norman and Bristow, Paul and King, Peter},
  title   = {{Nested Algorithmic Skeletons from Higher Order Functions}},
  year    = {2001},
  volume  = {16},
  pages   = {181--206},
  journal = {{Parallel Algorithms and Appl.}},
  xnote   = {Special Issue on High Level Models and Languages for Parallel Processing.},
}

@Article{Miller1976,
  author    = {Miller, G. L.},
  title     = {Riemann's hypothesis and tests for primality},
  year      = {1976},
  volume    = {13},
  number    = {3},
  pages     = {300--317},
  journal   = {Journal Of Computer And System Sciences},
  publisher = {Elsevier},
}

@Article{Montgomery2005,
  author    = {Montgomery, P. L.},
  title     = {{Five, six, and seven-term Karatsuba-like formulae}},
  year      = {2005},
  pages     = {362--369},
  journal   = {IEEE Transactions on Computers},
  publisher = {IEEE Computer Society},
}

@Article{Montgomery1985,
  author    = {Montgomery, P. L.},
  title     = {Modular multiplication without trial division},
  year      = {1985},
  volume    = {44},
  number    = {170},
  pages     = {519--521},
  journal   = {Mathematics Of Computation},
  publisher = {American Mathematical Society},
}

@Misc{Mechveliani2000,
  author       = {Serge D. Mechveliani},
  title        = {Haskell and computer algebra},
  year         = {2000},
  howpublished = {Manuscript},
  note         = {Pereslavl-Zalessky, Russia.},
  url          = {http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/haskellInCA2.ps.zip},
}

@Book{Meyberg1980,
  author    = {Kurt {M}eyberg},
  title     = {Algebra},
  year      = {1980},
  volume    = {I},
  publisher = {Carl Hanser Verlag},
  address   = {M"unchen, Wien},
}

@MastersThesis{Milmeister1995,
  author = {G\'{e}rard {M}ilmeister},
  title  = {Functional Kernels with Modules},
  year   = {1995},
  school = {ETH Z\"{u}rich},
}

@InProceedings{Nguyen2005,
  author    = {Nguyen, P. Q. and Stehl{\'e}, D.},
  title     = {Floating-point {LLL} revisited},
  booktitle = {Advances in Cryptology -- EUROCRYPT 2005},
  year      = {2005},
  publisher = S-V,
  pages     = {215--233},
}

@Article{Nichols1996,
  author  = {Nichols, B. and Buttlar, D. and Farrell, J.P.},
  title   = {{Pthreads Programming: A POSIX Standard for Better Multiprocessing}},
  year    = {1996},
  journal = {Reilly, California},
}

@Book{Nikhil2001,
  author    = {R. Nikhil and L. A. Arvind},
  title     = {Implicit Parallel Programming in {pH}},
  year      = {2001},
  publisher = {Morgan Kaufmann},
}

@Manual{Nikhil1995,
  author       = {R. S. Nikhil and L. A. Arvind and J. Hicks and S. Aditya and L. Augustsson and J. Maessen and Y. Zhou},
  title        = {p{H} Language Reference Manual, Version~1.0},
  year         = {1995},
  note         = {Computation Structures Group Memo No.~396},
  organization = {Massachusetts Institute of Technology},
  url          = {http://csg.csail.mit.edu/pubs/memos/Memo-369/memo-369.pdf},
  bdsk-url-1   = {http://csg.csail.mit.edu/pubs/memos/Memo-369/memo-369.pdf},
}

@TechReport{Noro1995,
  author      = {Noro, M. and Yokoyama, K.},
  title       = {New methods for the change-of-ordering in {Gr\"{o}bner} basis computation},
  institution = {Fujutsu},
  year        = {1995},
}

@Book{Nussbaumer1981,
  author     = {H.J. Nussbaumer},
  title      = {Fast Fourier Transform and Convolution Algorithms},
  year       = {1981},
  publisher  = S-V,
  optaddress = {Berlin},
}

@Article{ONeill2008,
  author    = {O'Neill, Melissa E.},
  title     = {{The genuine sieve of Eratosthenes}},
  year      = {2008},
  volume    = {19},
  number    = {01},
  pages     = {95--106},
  journal   = {Journal of Functional Programming},
  publisher = {Cambridge Univ Press},
}

@Book{Okasaki1998,
  author    = {Chris Okasaki},
  title     = {Purely Functional Data Structures},
  year      = {1998},
  publisher = {Cambridge University Press},
  key       = {Oka99},
}

@InProceedings{P.Hudak1994,
  author         = {P. {Hudak}, M. P. {Jones}},
  title          = {{H}askell vs. {A}da vs. {C}++ vs. awk vs.\dots{} {A}n Experiment in Software Prototyping Productivity},
  year           = {1994},
  organization   = {Yale University, Department of Computer Science},
  month          = {July},
  howpublished   = {\url{http://haskell.org/papers/NSWC/jfp.ps}},
  optinstitution = {Yale University, Department of Computer Science},
  optnote        = {Unpublished Report},
}

@Article{Paar1996,
  author       = {Paar, C.},
  title        = {{A new architecture for a parallel finite field multiplier with low complexity based on composite fields}},
  year         = {1996},
  volume       = {45},
  number       = {7},
  pages        = {856--861},
  journal      = {IEEE Transactions on Computers},
  optpublisher = {Citeseer},
}

@InProceedings{Pareja2000,
  author    = {Pareja, C. and Pena, R. and Rubio, F. and Segura, C.},
  title     = {{Optimising Eden by Transformation}},
  booktitle = {{SFP'00 --- Scottish Functional Programming Workshop}},
  year      = {2000},
  series    = {{Trends in Functional Programming}},
  publisher = {Intellect},
  month     = jul,
  address   = {University of St Andrews, Scotland},
  optvolume = {2},
}

@INPROCEEDINGS{Eden:COptSFP00,
  author = {Pareja, C. and Pe{\~n}a, R. and Rubio, F. and Segura, C.},
  title = {Optimising {Eden} by Transformation},
  booktitle = {{SFP'00}},
  year = {2000},
  series = {{Trends in Functional Programming}},
  month = jul,
  publisher = {Intellect},
  optaddress = {University of St Andrews, Scotland},
  optbooktitle = {{SFP'00 --- Scottish Functional Programming Workshop}},
  optvolume = {2}
}

@Book{Parhami2000,
  author    = {Parhami, Behrooz},
  title     = {Computer arithmetic: algorithms and hardware designs},
  year      = {2000},
  publisher = {Oxford University Press},
  isbn      = {0-19-512583-5},
  address   = {Oxford, UK},
}

@Article{Partain,
  author  = {Partain, W. and {Peyton Jones}, S. and Marlow, S.},
  title   = {{The NoFib benchmark suite}},
  journal = {available from: Computing Department, The University of Glasgow},
}

@Article{Pauer1992,
  author    = {Pauer, F.},
  title     = {On lucky ideals for {Gr\"{o}bner} basis computations},
  year      = {1992},
  volume    = {14},
  number    = {5},
  pages     = {471--482},
  journal   = {Journal of Symbolic Computation},
  publisher = {Elsevier},
}

@Article{Pease1962,
  author  = {Marshall C. Pease},
  title   = {An Adaptation of the Fast Fourier Transform for Parallel Processing},
  year    = {1962},
  volume  = {15},
  number  = {2},
  month   = {April},
  pages   = {252--264},
  journal = {Journal of the ACM},
}

@Book{Perron1954,
  author        = {Oskar Perron},
  title         = {Die {L}ehre von den {Kettenbr\"uchen}},
  year          = {1954},
  volume        = {I},
  edition       = {third},
  publisher     = {Teubner},
  longpublisher = {B.~G.~Teubner Verlagungsgesellschaft},
  optaddress    = {Stuttgart},
}

@Article{Peterson1999,
  author    = {Peterson, J. and Hudak, P. and Elliott, C.},
  title     = {Lambda in motion: Controlling robots with {Haskell}},
  year      = {1999},
  pages     = {91--105},
  journal   = {Practical Aspects of Declarative Languages},
  publisher = S-V,
}

@InProceedings{Jones1996,
  author      = {Simon {Peyton Jones} and Andrew Gordon and Sigbjorn Finne},
  title       = {Concurrent {Haskell}},
  booktitle   = {Proceedings of POPL'96},
  year        = {1996},
  publisher   = theacm,
  pages       = {295--308},
  address     = {New York, NY, USA},
  optdoi      = {http://doi.acm.org/10.1145/237721.237794},
  optlocation = {Florida},
  xisbn       = {0-89791-769-3},
}

@Booklet{PeytonJones1993,
  author  = {Simon {Peyton Jones}},
  title   = {{I}mplementing lazy functional languages on stock hardware: the {S}pineless {T}agless {G}--machine},
  year    = {1993},
  note    = {Version 2.5},
  address = {Department of Computing Science, University of Glasgow},
}

@InProceedings{PeytonJones1987,
  author    = {S. {Peyton Jones} and C. Clack and J. Salkild and M. Hardie},
  title     = {GRIP - a High-Performance Architecture for Parallel Graph Reduction},
  booktitle = {Intl. Conf. on Functional Programming Languages and Computer Architecture (FPCA'87)},
  year      = {1987},
  series    = {LNCS 274},
  publisher = S-V,
  key       = {spj:simonpj87},
  optmonth  = {September},
  optpages  = {98-112},
}

@Misc{PeytonJones1999,
  author    = {{Peyton Jones}, S. and Hughes, J. and others},
  title     = {{Haskell 98: A Non-strict, Purely Functional Language}},
  year      = {1999},
  note      = {Available at http://www.haskell.org/},
  optauthor = {{Peyton Jones}, S.L. and Hughes, J. and Augustsson, L. and Barton, D. and Boutel, B. and Burton, W. and Fasel, J. and Hammond, K. and Hinze, R. and Hudak, P. and Johnsson, T. and Jones, M. and Launchbury, J. and Meijer, E. and Peterson, J. and Reid, A. and Runciman, C. and Wadler, P.},
  optmonth  = {#Feb#},
}

@INPROCEEDINGS{Eden:PPDP01,
  author = {Pe{\~n}a, R. and Rubio, F.},
  title = {{Parallel Functional Programming at Two Levels of Abstraction}},
  booktitle = {PPDP'01 --- Intl.\ Conf.\ on Principles and Practice of Declarative
	Programming},
  year = {2001},
  pages = {187--198},
  address = {Firenze, Italy, September 5--7},
  abstract = {The parallel functional language Eden extends Haskell with expressions
	to define and instantiate process systems. These extensions allow
	also the easy definition of skeletons as higher-order functions.
	Parallel programming is possible in Eden at two levels: Recursive
	programming and higher-order programming. At the lower level, processes
	are explicitly created by using recursive definitions. In this way,
	skeletons can be defined. This is very unusual, as most skeleton-based
	languages use an imperative language to create new skeletons. At
	the higher level, available skeletons are used to create applications
	or to define new skeletons on top of the other ones. In this paper,
	we present five skeletons, most of them well-known, covering a wide
	range of parallel structures. For each one, several Eden implementations
	are given, together with their corresponding cost models. Finally,
	some examples of application programming are shown, including predicted
	and actual results on a Beowulf cluster.},
  optpublisher = theacm
}

@InProceedings{Pena2000,
  author    = {Pe{\~n}a, R. and Segura, C.},
  title     = {{Non-determinism Analysis in a Parallel-Functional Language}},
  booktitle = {{IFL'00}},
  year      = {2000},
  series    = {LNCS 1268},
  month     = Sep,
  address   = {Aachen, Germany},
  optvolume = {1268},
}

@InProceedings{Pointon2001,
  author    = {Pointon, R.F. and Priebe. S. and Loidl, H-W. and Loogen, R. and Trinder, P.W.},
  title     = {{Functional vs Object-Oriented Distributed Languages}},
  booktitle = {{Eurocast'01 --- Intl.\ Conf.\ on Computer Aided Systems Theory}},
  year      = {2001},
  note      = {In preparation},
  month     = Feb,
  address   = {Canary Islands, Spain},
  annote    = {std Gdh usage ref},
}

@InProceedings{Pointon2000,
  author    = {Pointon, R.F. and Trinder, P.W. and Loidl, H-W.},
  title     = {The Design and Implementation of {Glasgow Distributed Haskell}},
  booktitle = {IFL'00},
  year      = {2000},
  series    = {LNCS 2011},
  publisher = S-V,
  pages     = {53ff},
  address   = {Aachen, Germany},
  annote    = {std Gdh ref},
  opturl    = {http://link.springer-ny.com/link/service/series/0558/bibs/2011/20110053.htm; http://link.springer-ny.com/link/service/series/0558/papers/2011/20110053.pdf},
  optvolume = {2011},
}

@InProceedings{Poldner2005,
  author    = {Michael Poldner and Herbert Kuchen},
  title     = {Scalable Farms},
  booktitle = {PARCO},
  year      = {2005},
  editor    = {Gerhard R. Joubert and Wolfgang E. Nagel and Frans J. Peters and Oscar G. Plata and P. Tirado and Emilio L. Zapata},
  volume    = {33},
  series    = {John von Neumann Institute for Computing Series},
  publisher = {Central Institute for Applied Mathematics, J{\"u}lich, Germany},
  isbn      = {3-00-017352-8},
  pages     = {795--802},
  bibdate   = {2006-11-20},
  bibsource = {DBLP, http://dblp.uni-trier.de/db/conf/parco/parco2005.html#PoldnerK05},
}

@InProceedings{Priebe2006,
  author        = {Steffen Priebe},
  title         = {Dynamic Task Generation and Transformation within a Nestable Workpool Skeleton},
  booktitle     = {Euro-Par},
  year          = {2006},
  series        = {LNCS 4128},
  longbooktitle = {European Conference on Parallel Computing (Euro-Par) 2006},
  optaddress    = {Dresden, Germany},
  opteditor     = {Wolfgang E. Nagel and Wolfgang V. Walter and Wolfgang Lehner},
}

@PhdThesis{Priebe2007,
  author        = {Steffen Priebe},
  title         = {Structured Generic Programming in Eden},
  year          = {2007},
  date-added    = {2010-07-09 15:47:00 +0200},
  date-modified = {2010-07-09 15:48:09 +0200},
  school        = {Philipps-Universit{\"a}t Marburg},
}

@Conference{Priest1991,
  author          = {Priest, D. M.},
  title           = {Algorithms for arbitrary precision floating point arithmetic},
  booktitle       = {Proc.\ 10th Symposium on Computer Arithmetic},
  year            = {1991},
  organization    = {IEEE},
  pages           = {132--145},
  longbooktitle   = {Proceedings of the 10th Symposium on Computer Arithmetic},
  optmonth        = {#jun#},
  optorganization = {Citeseer},
}

@Book{Quinn1994,
  author    = {Michael J. Quinn},
  title     = {Parallel computing: theory and practice},
  year      = {1994},
  publisher = {McGraw-Hill, Inc.},
  address   = {New York, NY, USA},
}

@Book{Quinn1986,
  author    = {Quinn, Michael J.},
  title     = {{Designing efficient algorithms for parallel computers}},
  year      = {1986},
  publisher = {McGraw-Hill, Inc. New York, NY, USA},
}

@Manual{RDCT2009,
  author       = {{R Development Core Team}},
  title        = {{R}: A Language and Environment for Statistical Computing},
  year         = {2009},
  organization = {{R} Foundation for Statistical Computing},
  isbn         = {3-900051-07-0},
  url          = {http://www.R-project.org},
  address      = {Vienna, Austria},
  bdsk-url-1   = {http://www.R-project.org},
}

@TechReport{Crandall2004,
  author      = {R. Crandall and E. Jones and J. Klivington and D. Kramer},
  title       = {Gigaelement {FFTs} on {Apple} {G5} clusters},
  institution = {Advanced Computation Group, Apple Computer},
  year        = {2004},
  month       = {August},
}

@Article{Rabin1980,
  author  = {Rabin, M. O.},
  title   = {{Probabilistic algorithm for testing primality}},
  year    = {1980},
  volume  = {12},
  number  = {1},
  pages   = {128--138},
  journal = {Journal Of Number Theory},
}

@TechReport{Rainey2004,
  author      = {Michael A. Rainey and David S. Wise},
  title       = {Embedding Quadtree Matrices in a Functional Language},
  institution = {Opie Research Group, Department of Computer Science, Indiana Univeristy, USA},
  year        = {2004},
  optnote     = {Submitted to JFP},
}

@Article{Rao1984,
  author    = {Rao, M. and others},
  title     = {Conversion of {Hensel} Codes to rational numbers},
  year      = {1984},
  volume    = {10},
  number    = {2},
  pages     = {185--189},
  journal   = {Computers \& Mathematics with Applications},
  publisher = {Elsevier},
  xissn     = {0898-1221},
}

@Book{Redfern1995,
  author    = {Darren Redfern},
  title     = {The Maple Handbook: Maple V Release 4},
  year      = {1995},
  publisher = S-V,
  month     = {December},
}

@Article{Shewchuk1997,
  author    = {Shewchuk, Jr, Richard},
  title     = {{Adaptive precision floating-point arithmetic and fast robust geometric predicates}},
  year      = {1997},
  volume    = {18},
  number    = {3},
  pages     = {305--363},
  journal   = {Discrete and Computational Geometry},
  publisher = S-V,
}

@Book{Rossum2006,
  author    = {Guido van Rossum},
  title     = {The Python Language Reference Manual},
  year      = {2006},
  publisher = {Network Theory Ltd.},
  alteditor = {Fred L. Drake, Jr.},
}

@PhdThesis{Rubio2001,
  author = {Rubio, Fernando},
  title  = {{Programaci{\'o}n Funcional Paralela Eficiente en Eden}},
  year   = {2001},
  note   = {In Spanish},
  month  = {November},
  school = {Universidad Complutense de Madrid (Spain)},
}

@PhdThesis{Sands1990,
  author = {Sands, David},
  title  = {Calculi for time analysis of functional programs},
  year   = {1990},
  month  = {September},
  school = {The Imperial College of Science, Technology and Medicine},
}

@Misc{Sanner1999,
  author     = {M. Sanner},
  title      = {Python: A programming language for software integration and development},
  year       = {1999},
  url        = {citeseer.ist.psu.edu/sanner99python.html},
  bdsk-url-1 = {citeseer.ist.psu.edu/sanner99python.html},
  text       = {M. F. Sanner. Python: A programming language for software integration and development. J. Mol. Graphics Mod., 17, 1999.},
}

@Booklet{Sauer2005,
  author       = {Tomas Sauer},
  title        = {{K}ettenbr\"uche},
  year         = {2005},
  howpublished = {Lecture notes},
  address      = {Justus-Liebig-Universit\"at Gie\ss{}en},
}

@Booklet{Sauer2002,
  author       = {Tomas Sauer},
  title        = {{N}umerische {M}athematik {I}},
  year         = {2002},
  howpublished = {Lecture notes},
  address      = {Justus-Liebig-Universit\"at Gie\ss{}en},
  optvolume    = {I},
}

@MISC{sauer-ca-2001,
  author = {Tomas Sauer},
  title = {Computeralgebra},
  howpublished = {Lecture Notes},
  year = {2001},
  note = {In German},
  instutution = {Justus-Liebig-Universit\"{a}t Gie\ss{}en}
}

@Article{Sauer2001,
  author              = {Sauer, Tomas},
  title               = {Gr{\"o}bner Bases, {$H$}-Bases and Interpolation},
  year                = {2001},
  volume              = {353},
  number              = {6},
  pages               = {2293--2308},
  issn                = {00029947},
  abstract            = {The paper is concerned with a construction for H-bases
                  of polynomial ideals without relying on term
                  orders. The main ingredient is a homogeneous
                  reduction algorithm which orthogonalizes leading
                  terms instead of completely canceling them. This
                  allows for an extension of Buchberger's algorithm to
                  construct these H-bases algorithmically. In
                  addition, the close connection of this approach to
                  minimal degree interpolation, and in particular to
                  the least interpolation scheme due to de Boor and
                  Ron, is pointed out.},
  copyright           = {Copyright {\copyright} 2001 American Mathematical Society},
  journal             = {Transactions of the American Mathematical Society},
  jstor_articletype   = {primary_article},
  jstor_formatteddate = {Jun., 2001},
  publisher           = {American Mathematical Society},
  xurl                = {http://www.jstor.org/stable/221948},
}

@Article{Sedjelmaci2008,
  author  = {Sidi Mohamed Sedjelmaci},
  title   = {A parallel extended {GCD} algorithm},
  year    = {2008},
  number  = {6},
  pages   = {526--538},
  journal = {Journal of Discrete Algorithms},
}

@Article{Sedjelmaci2008a,
  author        = {Sedjelmaci, Sidi Mohamed},
  title         = {A parallel extended {GCD} algorithm},
  year          = {2008},
  volume        = {6},
  issue         = {3},
  pages         = {526--538},
  fullpublisher = {Elsevier Science Publishers B. V.},
  journal       = {Journal of Discrete Algorithms},
  keywords      = {Complexity analysis, Extended GCD algorithm, Integer greatest common divisor (GCD), Number theory, Parallel GCD algorithm},
  numpages      = {13},
  published     = {Elsevier},
  xacmid        = {1393801},
  xaddress      = {Amsterdam, The Netherlands, The Netherlands},
  xdoi          = {10.1016/j.jda.2006.12.009},
  xissn         = {1570-8667},
  xmonth        = {September},
  xurl          = {http://portal.acm.org/citation.cfm?id=1393644.1393801},
}

@Article{Sheard2002,
  author    = {Sheard, T. and {Peyton Jones}, S.},
  title     = {Template meta-programming for {Haskell}},
  year      = {2002},
  volume    = {37},
  number    = {12},
  pages     = {60--75},
  journal   = {{SIGPLAN} Not.},
  publisher = {ACM New York, NY, USA},
}

@InProceedings{Sheard2002a,
  author      = {T. Sheard and S. {Peyton Jones}},
  title       = {Template meta-programming for Haskell},
  booktitle   = {Proc. of the workshop on Haskell},
  year        = {2002},
  publisher   = theacm,
  pages       = {1--16},
  optabstract = {...extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithmic construction of programs at compile-time. The ability to generate code at compile time allows the programmer to implement such features as polytypic programs, macro-like expansion, user directed optimization (such as inlining), and the generation of supporting data structures and functions from existing data structures and functions. Our design is being implemented in the Glasgow Haskell Compiler, ghc. [doi.acm.org/10.1145/581690.581691 (paper)][10/'02] www.amazon.com/exec/obidos/ISBN=1581136056/fourwheeldriveinA/ .},
  optkeywords = {workshop, functional programming, FP, zz1002},
}

@Article{Shirayanagi1998,
  author    = {Shirayanagi, K. and Sweedler, M.},
  title     = {Remarks on automatic algorithm stabilization},
  year      = {1998},
  volume    = {26},
  number    = {6},
  pages     = {765},
  journal   = {Journal of Symbolic Computation},
  publisher = {Academic Press, Inc.},
}

@Misc{Shoup2010,
  author     = {Shoup, V.},
  title      = {{NTL}: A library for doing number theory},
  year       = {2010},
  note       = {Retrieved 27.4.2010},
  url        = {http://www.shoup.net/ntl/},
  bdsk-url-1 = {http://www.shoup.net/ntl/},
  optyear    = {2003},
}

@Conference{Siegl,
  author          = {Siegl, K.},
  title           = {A parallel factorization tree {Gr{\"o}bner Basis} algorithm},
  booktitle       = {International Symposium on Parallel Symbolic Computation (PASCO)},
  volume          = {5},
  pages           = {356--362},
  optorganization = {Citeseer},
}

@InProceedings{Siegl1993,
  author    = {Kurt Siegl},
  title     = {Parallelizing Algorithms for Symbolic Computation using {Maple}},
  booktitle = {In 4\th {ACM SIGPLAN} Symposium on Principles and Practice of Parallel Programming},
  year      = {1993},
  publisher = theacm,
  pages     = {179--186},
}

@InCollection{SilviaBreitinger1998,
  author    = {Silvia {B}reitinger, Ulrike Klusik, Rita Loogen},
  title     = {From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View},
  booktitle = {Principles of Declarative Programming},
  year      = {1998},
  volume    = {1490},
  series    = {Lecture Notes in Computer Science},
  publisher = S-V,
}

@TECHREPORT{sivasubramaniam1994comparative,
  author = {Sivasubramaniam, A. and Ramachandran, U. and Venkateswaran, H.},
  title = {{A comparative evaluation of techniques for studying parallel system
	performance}},
  institution = {Technical Report GIT-CC-94/38, Georgia Institute of Technology},
  year = {1994}
}

@Book{Snir1995,
  author      = {Snir, M. and Otto, S.W. and Walker, D.W. and Dongarra, J. and Huss-Lederman, S.},
  title       = {{MPI}: The Complete Reference},
  year        = {1995},
  publisher   = {MIT Press},
  shortauthor = {Snir, M. and Otto, S. W. and Walker, D. W. and others},
}

@Book{Snir1995a,
  author    = {Snir, M. and Otto, S.W. and Walker, D.W. and Dongarra, J. and Huss-Lederman, S.},
  title     = {{MPI: The Complete Reference}},
  year      = {1995},
  publisher = {MIT Press Cambridge, MA, USA},
}

@InCollection{Stehle2010,
  author    = {Stehl{\'e}, D.},
  title     = {Floating-point {LLL}: theoretical and practical aspects},
  booktitle = {The {LLL} Algorithm},
  year      = {2010},
  editor    = {P. Q. Nguyen and B. Vall{\'e}e},
  series    = {Information Security and Cryptography},
  publisher = S-V,
  pages     = {179--213},
}

@InBook{Stehle2010a,
  author    = {Stehl{\'e}, D.},
  title     = {The {LLL} Algorithm},
  year      = {2010},
  editor    = {P. Q. Nguyen and B. Vall{\'e}e},
  series    = {Information Security and Cryptography},
  publisher = S-V,
  chapter   = {Floating-point {LLL}: theoretical and practical aspects},
  pages     = {179--213},
}

@Manual{Stein2008,
  author       = {William Stein},
  title        = {{Sage}: {O}pen {S}ource {M}athematical {S}oftware ({V}ersion 2.10.2)},
  year         = {2008},
  note         = {\url{http://www.sagemath.org}},
  organization = {The Sage~Group},
}

@Article{Strassen1969,
  author    = {Strassen, Volker},
  title     = {Gaussian elimination is not optimal},
  year      = {1969},
  volume    = {13},
  number    = {4},
  pages     = {354--356},
  journal   = {Numerische Mathematik},
  publisher = S-V,
}

@Article{Sunderam1990,
  author  = {V. S. Sunderam},
  title   = {{PVM:} A Framework for Parallel Distributed Computing},
  year    = {1990},
  volume  = {2},
  pages   = {315--339},
  journal = {Concurrency: Practice and Experience},
}

@Article{Svoboda1957,
  author  = {Svoboda, A. and Valach, M.},
  title   = {{Rational system of residue classes}},
  year    = {1957},
  pages   = {9--37},
  journal = {Stroje na Zpraccorani Informaci, Sbornik, Nakl. CSZV, Prague},
}

@Article{Svoboda1955,
  author  = {Svoboda, A. and Valach, M.},
  title   = {{Operational Circuits}},
  year    = {1955},
  pages   = {247--295},
  journal = {Stroje na Zpracovani Informaci, Sbornik III, Nakl. CSAV, Prague},
  optnote = {referenced by karatsuba'95},
}

@Book{Szabo1967,
  author    = {Szabo, N. S. and Tanaka, R. I.},
  title     = {Residue arithmetic and its applications to computer technology},
  year      = {1967},
  publisher = {McGraw-Hill},
}

@Booklet{Sauer2002a,
  author       = {Tomas {S}auer},
  title        = {Computeralgebra},
  year         = {2002},
  howpublished = {Lecture notes},
  address      = {Justus-Liebig-Universit\"at Gie\ss{}en},
}

@InCollection{Schoenhage1982,
  author      = {{Sch\"onhage}, Arnold},
  title       = {Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients},
  booktitle   = {Computer Algebra},
  year        = {1982},
  editor      = {Calmet, Jacques},
  volume      = {144},
  series      = {LNCS},
  publisher   = s-v,
  pages       = {3-15},
  affiliation = {Mathematisches Institut der Universität Tübingen Auf der Morgenstelle 10 D 74 Tübingen W-Germany},
  long_series = {Lecture Notes in Computer Science},
  optnote     = {10.1007/3-540-11607-9_1},
  xdoi        = {http://dx.doi.org/10.1007/3-540-11607-9_1},
}

@InProceedings{Schoenhage1982a,
  author       = {Arnold {S}ch\"{o}nhage},
  title        = {Asymptotically fast algorithms for the numerical multiplication and division of polynomials with complex coefficients},
  year         = {1982},
  editor       = {J.~{C}almet},
  volume       = {144},
  series       = {LNCS},
  organization = {European Computer Algebra Conference},
  publisher    = S-V,
  month        = {April},
  pages        = {3--15},
}

@MastersThesis{Schaller1998,
  author = {Christian {S}challer},
  title  = {Elimination von {F}unktionen h\"{o}herer {O}rdnung in {H}askell--{P}rogrammen},
  year   = {1998},
  month  = {September},
  school = {Universit\"{a}t Passau},
}

@Article{Schoenhage1971,
  author  = {Arnold {S}ch{\"o}nhage and Volker {S}trassen},
  title   = {{S}chnelle {M}ultiplikation gro\ss{}er {Z}ahlen},
  year    = {1971},
  volume  = {7},
  number  = {3--4},
  pages   = {281--292},
  journal = {Computing},
  optnote = {ISSN 0010-485X (Print) 1436-5057 (Online)},
}

@Article{Taheri1987,
  author       = {Taheri, M. and Jullien, G. A. and Miller, W. C.},
  title        = {{Fault detection in RNS systolic arrays}},
  year         = {1987},
  volume       = {23},
  number       = {4},
  pages        = {165--166},
  journal      = {IEE Electronics Letters},
  optpublisher = {Citeseer},
}

@Article{Takahasi1961,
  author  = {Takahasi, H. and Ishibashi, Y.},
  title   = {A new method for exact calculation by a digital computer},
  year    = {1961},
  volume  = {1},
  pages   = {28--42},
  journal = {Information Processing in Japan},
}

@Misc{GHCDT,
  author       = {{The GHC Developer Team}},
  title        = {{The Glasgow Haskell Compiler}},
  howpublished = {Website \url{http://www.haskell.org/ghc}},
}

@Book{Thomas2004,
  author    = {Dave Thomas and Chad Fowler and Andy Hunt},
  title     = {Programming Ruby: The Pragmatic Programmers' Guide},
  year      = {2004},
  edition   = {second},
  publisher = {Pragmatic Bookshelf},
}

@Conference{Thottethodi1998,
  author       = {Thottethodi, M. and Chatterjee, S. and Lebeck, A.R.},
  title        = {{Tuning Strassen's matrix multiplication for memory efficiency}},
  booktitle    = {Proceedings of the 1998 ACM/IEEE conference on Supercomputing (CDROM)},
  year         = {1998},
  organization = {IEEE Computer Society Washington, DC, USA},
  pages        = {1--14},
}

@Misc{Thurston2010,
  author = {Dylan Thurston and Henning Thielemann and Mikael Johansson},
  title  = {{H}askell {N}umeric {P}relude Program},
  year   = {2010},
  note   = {Retrieved 24.08.2010},
  url    = {http://code.haskell.org/numeric-prelude/},
  optkey = {HNP},
}

@Article{Tobey1966,
  author      = {Tobey, R. G.},
  title       = {Experience with {FORMAC} algorithm design},
  year        = {1966},
  volume      = {9},
  number      = {8},
  pages       = {589--597},
  journal     = {Commun. ACM},
  myself.note = {Intermediate expression swell},
  optaddress  = {New York, NY, USA},
  publisher   = theacm,
  xdoi        = {http://doi.acm.org/10.1145/365758.365773},
  xissn       = {0001-0782},
}

@Conference{Toom1963,
  author    = {Toom, A. L.},
  title     = {The complexity of a scheme of functional elements realizing the multiplication of integers},
  booktitle = {Soviet Mathematics Doklady},
  year      = {1963},
  volume    = {3},
  pages     = {714--716},
}

@InProceedings{Traverso1989,
  author    = {Traverso, C.},
  title     = {Gr\"{o}bner trace algorithms},
  booktitle = {Symbolic and Algebraic Computation},
  year      = {1989},
  editor    = {Gianni, Patrizia},
  volume    = {358},
  series    = {LNCS},
  note      = {Proceedings of ISSAC'88},
  publisher = S-V,
  pages     = {125--138},
}

@Article{Traverso,
  author    = {Traverso, C.},
  title     = {Gr\"{o}bner trace algorithms},
  pages     = {125--138},
  journal   = {Symbolic and Algebraic Computation},
  publisher = {Springer},
}

@Article{Trinder1998a,
  author   = {Trinder, P.W. and Hammond, K. and Loidl, H-W. and {Peyton Jones}, S.},
  title    = {{Algorithm + Strategy = Parallelism}},
  year     = {1998},
  volume   = {8},
  number   = {1},
  pages    = {23--60},
  url      = {http://www.macs.hw.ac.uk/\~dsg/gph/papers/ps/strategies.ps.gz},
  journal={Journal of Functional Programming},
  shortjournal={J.\ Funct.\ Program.},
  optmonth = {January},
}

@Article{Trinder1999--,
  Xauthor     = {Trinder, P. W. and Barry Jr, E. and others},
  author={Trinder, Philip W and Barry Jr, M and Hammond, Kevin and Junaidu, Sahalu B and Klusic, Ulrike and Loidl, Hans-Wolfgang and {Peyton Jones}, Simon L},
  title      = {{GPH}: an architecture-independent functional language},
  year       = {1999},
  fullauthor = {Trinder, P. W. and Barry Jr, E. and Davis, M. K. and Hammond, K. and Junaidu, S. B. and Klusik, U. and Loidl, H.-W. and {Peyton Jones}, S.},
  journal    = {IEEE Trans.\ Software Engineering},
  xvolume    = {1998},
}

@InProceedings{Trinder1998,
  author    = {Philip W. Trinder and Ed. {Barry Jr.} and M. Kei Davis and Kevin Hammond and Sahalu B. Junaidu and Ulrike Klusik and Hans-Wolfgang Loidl and Simon L. {Peyton Jones}},
  title     = {{GpH}: {A}n {A}rchitecture--{I}ndependent {F}unctional {L}anguage},
  booktitle = {Glasgow Functional Programming Workshop},
  year      = {1998},
  month     = {September},
  address   = {Pitlochry, Scotland},
}

@InProceedings{Trinder1996,
  author     = {Trinder, Phil W. and Hammond, Kevin and {Mattson Jr.}, James S. and Partridge, Andrew S. and {Peyton Jones}, Simon L.},
  title      = {{GUM: a Portable Parallel Implementation of Haskell}},
  booktitle  = {{PLDI'96}},
  year       = {1996},
  publisher  = theacm,
  optaddress = {Philadephia, USA},
  optmonth   = {#may#},
  optnote    = {\texttt{\small http://www.cee.hw.ac.uk/\~{}dsg/gph/papers/ps/gum.ps.gz}},
  optpages   = {78--88},
}

@InProceedings{Trinder1996a,
  author     = {Trinder, P. W. and Hammond, K. and others},
  title      = {{GUM}: a Portable Parallel Implementation of {Haskell}},
  booktitle  = {{PLDI'96}},
  year       = {1996},
  publisher  = theacm,
  optaddress = {Philadephia, USA},
  optauthor  = {Trinder, P. W. and Hammond, K. and Mattson Jr., J. S. and Partridge, A. S. and {Peyton Jones}, S.},
  optmonth   = {#may#},
  optnote    = {\url{http://www.cee.hw.ac.uk/\~{}dsg/gph/papers/ps/gum.ps.gz}},
  optpages   = {78--88},
}

@Article{Trinder2002,
  author   = {P. W. Trinder and H.-W. Loidl and R. F. Pointon},
  title    = {Parallel and distributed {Haskells}},
  year     = {2002},
  volume   = {12},
  number   = {4, 5},
  pages    = {469--510},
  journal  = {Journal of Functional Programming},
  keywords = {jrnl, JFP, FP, Haskell, network, networks, zz1002},
  optmonth = {#jul#},
}

@PhdThesis{Turner2002,
  author = {William J. {T}urner},
  title  = {Black Box Linear Algebra With The Linbox Library},
  year   = {2002},
  school = {North Carolina State University},
}

@Book{Waerden1971,
  author    = {B.~L.~\textnormal{van~der}~Waerden},
  title     = {Algebra},
  year      = {1971},
  volume    = {I},
  publisher = S-V,
}

@Book{Waerden1959,
  author    = {B.~L.~\textnormal{van~der}~Waerden},
  title     = {Algebra},
  year      = {1959},
  volume    = {II},
  publisher = S-V,
}

@Conference{Wang1981,
  author       = {Wang, P. S.},
  title        = {{A $p$-adic algorithm for univariate partial fractions}},
  booktitle    = {Proceedings of the 4\th ACM symposium on Symbolic and algebraic computation},
  year         = {1981},
  organization = theacm,
  pages        = {212--217},
}

@Article{Wang1982,
  author    = {Wang, P. S. and Guy, M. J. T. and Davenport, J. H.},
  title     = {$p$-adic reconstruction of rational numbers},
  year      = {1982},
  volume    = {16},
  number    = {2},
  pages     = {3},
  journal   = {ACM SIGSAM Bulletin},
  publisher = theacm,
}

@PhdThesis{Watt1986,
  author       = {Watt, Stephen M.},
  title        = {Bounded parallelism in computer algebra},
  year         = {1986},
  optpublisher = {Citeseer},
  school       = {University of Waterloo},
}

@TechReport{Weimerskirch2003,
  author      = {Weimerskirch, A. and Paar, C.},
  title       = {{Generalizations of the Karatsuba algorithm for efficient implementations}},
  institution = {Ruhr Universit\"{a}t Bochum, Lehrstuhl f\"{u}r Embedded Security},
  year        = {2003},
  type        = {Cryptology ePrint Archive},
  number      = {2006/224},
}

@InCollection{Weisstein2006b,
  author    = {Eric W. Weisstein},
  booktitle = {MathWorld},
  year      = {2006},
  publisher = {Wolfram Web Resource},
  address   = {\texttt{http://mathworld.wolfram.com/}},
  opttitle  = {Ring Homomorphism},
}

@InCollection{Weisstein2006a,
  author    = {Eric~W.~Weisstein},
  title     = {{B}\`ezout's Theorem},
  booktitle = {MathWorld},
  year      = {2006},
  publisher = {Wolfram Web Resource},
  address   = {\texttt{http://mathworld.wolfram.com/BezoutsTheorem.html}},
}

@InCollection{Weisstein2006,
  author    = {Eric W. Weisstein},
  title     = {Ring Homomorphism},
  booktitle = {MathWorld},
  year      = {2006},
  publisher = {Wolfram Web Resource},
  address   = {\texttt{http://math\-world.wolf\-ram.com/Ring\-Ho\-mo\-mor\-phism.html}},
}

@Book{Wilkinson1994,
  author    = {Wilkinson, J. H.},
  title     = {Rounding errors in algebraic processes},
  year      = {1994},
  note      = {Reprint},
  publisher = {Dover},
}

@Misc{Winkler2009,
  author      = {Franz Winkler},
  title       = {Gr\"{o}bner Bases --- Theory and Applications},
  year        = {2009},
  note        = {SCIEnce Training School in Symbolic Computation},
  month       = {June--July},
  institution = {RISC-Linz},
}

@Book{Winkler1996,
  author    = {Winkler, Franz},
  title     = {Polynomial algorithms in computer algebra},
  year      = {1996},
  publisher = S-V,
}

@Article{Winkler1988,
  author    = {Winkler, Franz},
  title     = {A $p$-adic approach to the computation of {Gr\"{o}bner} bases},
  year      = {1988},
  volume    = {6},
  number    = {2-3},
  pages     = {304},
  journal   = {Journal of Symbolic Computation},
  publisher = {Academic Press, Inc.},
}

@Article{Winograd1976,
  author    = {Shmuel Winograd},
  title     = {On computing the discrete {Fourier} transform},
  year      = {1976},
  volume    = {73},
  number    = {4},
  pages     = {1005},
  journal   = {Proceedings of the National Academy of Sciences of the United States of America},
  publisher = {National Acad.\ Sciences},
}

@InProceedings{Wise1992,
  author       = {David S. Wise},
  title        = {Matrix Algorithms using Quadtrees. Invited Talk},
  year         = {1992},
  note         = {ATABLE--92},
  organization = {Proc. Intl. Workshop on Arrays, Functional Lanaugages, and Parallel Systems, Montreal},
}

@Book{Wolfram1991,
  author    = {Stephen Wolfram},
  title     = {Mathematica: a system for doing mathematics by computer},
  year      = {1991},
  publisher = {Wolfram Research, Inc.},
}

@InCollection{Wilkinson1984,
  author    = {J. H. {W}ilkinson},
  title     = {The perfidious polynomial},
  booktitle = {Studies in Numerical Analysis},
  year      = {1984},
  editor    = {G. H. Golub},
  volume    = {24},
  publisher = {Mathematical Association of America},
  pages     = {1--28},
  address   = {Washington, D.~C.},
  optseries = {Studies in Mathematics},
}

@Book{Wilkinson1963,
  author    = {J. H. {W}ilkinson},
  title     = {Rounding Errors in Algebraic Processes},
  year      = {1963},
  publisher = {Prentice Hall},
}

@TechReport{Yap2000,
  author      = {Chee Yap and Chen Li},
  title       = {{QuickMul}: Practical {FFT}-based Integer Multiplication},
  institution = {Department of Computer Science Courant Institute, New York},
  year        = {2000},
  optmonth    = {October},
}

@Article{Zagier1997,
  author    = {Zagier, D.},
  title     = {Newman's short proof of the prime number theorem},
  year      = {1997},
  volume    = {104},
  number    = {8},
  pages     = {705--708},
  journal   = {American Mathematical Monthly},
  publisher = {Mathematical Association of America},
}

@Book{Collins1982,
  title     = {{Computer algebra: symbolic and algebraic computation}},
  year      = {1982},
  editor    = {Collins, G.E. and Buchberger, B. and Loos, R.},
  publisher = S-V #{ Wien},
}

@Book{Hammond1999,
  title     = {{Research Directions in Parallel Functional Programming}},
  year      = {1999},
  editor    = {Hammond, K. and Michaelson, G.},
  publisher = S-V,
}

@Book{Hammond2000,
  title     = {Research Directions in Parallel Functional Programming},
  year      = {2000},
  editor    = {Kevin {H}ammond and Greg {M}ichaelson},
  publisher = S-V,
}

@Book{PeytonJones2003,
  title     = {{H}askell 98 {L}anguage and {L}ibraries: {T}he {R}evised {R}eport.},
  year      = {2003},
  editor    = {Simon {Peyton Jones}},
  publisher = {Cambridge University Press},
  month     = {December},
  optkey    = {Has02},
}

@Book{Rabhi2003,
  title     = {{Patterns and Skeletons for Parallel and Distributed Computing}},
  year      = {2003},
  editor    = {F. A. Rabhi and S. Gorlatch},
  publisher = S-V,
}

@Proceedings{Roy2004,
  title        = {Multiparadigm Programming in Mozart/Oz},
  year         = {2004},
  editor       = {Peter Van Roy},
  organization = {Second International Conference, MOZ},
}

@Misc{2010,
  title        = {{S}ymbolic {C}omputation {I}nfrastructure for {E}urope project},
  year         = {2010},
  howpublished = {\url{http://www.symbolic-computation.org/}},
  type         = {Website},
  note         = {Retrieved 05.09.2010},
  key          = {SCIEnce},
  oldnote      = {retrieved in February 2008},
  optmonth     = {August},
}

@Misc{cint,
  title        = {{CInt}, the {C}/{\cpp} interpreter},
  howpublished = {\url{http://root.cern.ch/root/Cint.html}},
  key          = {CInt},
  optkey       = {Cint},
  optmonth     = {March},
  optnote      = {retrieved in February 2008},
  opttitle     = {{C}Int, the {C}/{C++} interpreter, version 5.16.19.},
  year      = {2008},
}

@OTHER{document_info,
  s-v = {Springer-Verlag}
}

@Misc{2008,
  title        = {{GAP} -- Groups, Algorithms, and Programming, Version 4.4.10},
  year         = {2008},
  type         = {Manual},
  organization = {The GAP~Group},
  url          = {http://www.gap-system.org},
  bdsk-url-1   = {http://www.gap-system.org},
  key          = {GAP, 2008},
}

@Misc{2008a,
  title        = {{T}he {G}lorious {G}lasgow {H}askell {C}ompilation {S}ystem {U}ser's {G}uide},
  year         = {2008},
  howpublished = {\url{http://www.has\-kell.org/ghc/docs/lat\-est/users\_guide.pdf}},
  month        = {February},
  edition      = {Version 6.8.2},
  key          = {GHC},
  optnote      = {retrieved in February 2008},
}

@Manual{2007,
  title        = {Erlang Reference Manual},
  year         = {2007},
  organization = {Ericsson AB},
}

@Manual{1999,
  title        = {Using {M}ATLAB},
  year         = {1999},
  edition      = {5.3},
  note         = {Manual},
  organization = {The Mathworks Inc.},
}

@Book{MPIForum2009,
  author    = {{The MPI Forum}},
  title     = {{MPI}: A Message-Passing Interface Standard --- Version 2.2},
  year      = {2009},
  publisher = {High Performance Computing Center Stuttgart},
  key       = {MPI, 2009},
}

@Book{Froeberg1997,
  author    = {{Fr\"{o}berg}, Ralph},
  title     = {An introduction to {Gr\"{o}bner} bases},
  year      = {1997},
  publisher = {Wiley},
  isbn      = {0471974420},
}

@Article{Dresden2004,
  author    = {Dresden, Gregory P.},
  title     = {On the Middle Coefficient of a Cyclotomic Polynomial},
  year      = {2004},
  pages     = {531--533},
  journal   = {American Mathematical Monthly},
  publisher = {JSTOR},
}

@Article{Lehmer1936,
  author  = {Lehmer, Emma},
  title   = {On the magnitude of the coefficients of the cyclotomic polynomial},
  year    = {1936},
  volume  = {42},
  pages   = {389--392},
  journal = {Bull. Amer. Math. Soc},
}

@Conference{Aditya1995a,
  author    = {Aditya, S. and Arvind, L. A. and Augustsson, L. and Nikhil, R. S.},
  title     = {Semantics of {pH}: A parallel dialect of {Haskell}},
  booktitle = {Haskell Workshop},
  year      = {1995},
}

@Conference{Weirich2000,
  author       = {Weirich, S.},
  title        = {Type-safe cast (functional pearl)},
  booktitle    = {Proc.\ ICFP'00},
  year         = {2000},
  organization = theacm,
  pages        = {58--67},
}

@Conference{Brown2010a,
  author        = {Brown, C. and Hammond, K.},
  title         = {Ever-Decreasing Circles: a Skeleton for Parallel Orbit Calculations in {Eden}},
  booktitle     = {TFP'2010 --- Draft Proceedings of the Symposium on Trends in Functional Programming},
  year          = {2010},
  longbooktitle = {Trends in Functional Programming},
}

@Article{Geimer2010,
  author    = {Geimer, M. and Wolf, F. and Wylie, B. J. N. and {\'A}brah{\'a}m, E. and Becker, D. and Mohr, B.},
  title     = {The {Scalasca} performance toolset architecture},
  year      = {2010},
  volume    = {22},
  number    = {6},
  journal   = {Concurrency and Computation: Practice and Experience},
  publisher = {John Wiley \& Sons},
}
@article{wheeler2009visualizing-,
  title={Visualizing massively multithreaded applications with {ThreadScope}},
  author={Wheeler, K. B. and Thain, D.},
  journal={Concurrency and Computation: Practice and Experience},
  volume={22},
  number={1},
  pages={45--67},
  year={2009},
  publisher={John Wiley \& Sons}
}

@Conference{Gill1993,
  author       = {Gill, A. and Launchbury, J. and {Peyton Jones}, S. L.},
  title        = {A short cut to deforestation},
  booktitle    = {Proceedings of the conference on Functional programming languages and computer architecture},
  year         = {1993},
  organization = theacm,
  pages        = {223--232},
}

@Article{Stedall2000,
  author              = {Stedall, Jacqueline A.},
  title               = {Catching {Proteus}: The Collaborations of {Wallis} and {Brouncker}. {I}. Squaring the Circle},
  year                = {2000},
  volume              = {54},
  number              = {3},
  pages               = {293--316},
  abstract            = {William Brouncker (ca. 1620-1684) was the inaugural President of The Royal Society, and John Wallis (1616-1703) one of its founder members. The two collaborated closely during the 1650s on some original and unusual mathematics, but while Wallis acquired a lasting reputation, Brouncker's work is no longer well known. The two parts of this paper analyse the joint work of Wallis and Brouncker and attempt to separate their respective contributions and very different mathematical styles. The main subject of Part I is Brouncker's discovery of continued fractions. He gave few clues as to how he obtained his results and I offer a possible reconstruction of his work. His quadrature of the hyperbola and rectification of the semicubical parabola are also discussed. Brouncker emerges as a skilled and intuitive mathematician.},
  copyright           = {Copyright © 2000 The Royal Society},
  journal             = {Notes and Records of the Royal Society of London},
  jstor_articletype   = {primary_article},
  jstor_formatteddate = {Sep., 2000},
  publisher           = {The Royal Society},
  xdoi                = {http://www.jstor.org/stable/532183},
  xissn               = {00359149},
}

@Book{Waerden1966,
  author    = {van der Waerden, B. L. and Habicht, H.},
  title     = {Erwachende {Wissenschaft}},
  year      = {1966},
  publisher = {Birkh\"{a}user},
}

@Book{Fowler1999,
  author    = {Fowler, D.},
  title     = {The mathematics of {Plato's} academy},
  year      = {1999},
  publisher = {Oxford Clarendon},
}

@Book{Stillwell1998,
  author    = {Stillwell, J.},
  title     = {Numbers and geometry},
  year      = {1998},
  publisher = S-V,
}

@InCollection{Brezinski1981,
  author        = {Brezinski, Claude},
  title         = {The long history of continued fractions and {Pad{\'e}} approximants},
  booktitle     = {Pad{\'e} Approximation and its Applications},
  year          = {1981},
  editor        = {de Bruin, M. and van Rossum, H.},
  series        = {LNM 888},
  publisher     = S-V,
  location      = {Amsterdam 1980},
  pages         = {1-27},
  affiliation   = {U.E.R I.E.E.A Informatique University of Lille 59655 Villeneuve d'Ascq C{\'e}dex France 59655 Villeneuve d'Ascq C{\'e}dex France},
  bdsk-url-1    = {http://dx.doi.org/10.1007/BFb0095574},
  longpublisher = {Springer Berlin / Heidelberg},
  longseries    = {Lecture Notes in Mathematics},
  optnote       = {10.1007/BFb0095574},
  opturl        = {http://dx.doi.org/10.1007/BFb0095574},
  optvolume     = {888},
}

@Article{Kannan1987,
  author  = {Kannan, R. and Miller, G. and Rudolph, L.},
  title   = {Sublinear Parallel Algorithm for Computing the Greatest Common Divisor of Two Integers},
  year    = {1987},
  volume  = {16},
  pages   = {7},
  journal = {SIAM Journal on Computing},
}

@Article{Gathen1984,
  author    = {von zur Gathen, Joachim},
  title     = {Parallel Algorithms for Algebraic Problems},
  year      = {1984},
  volume    = {13},
  number    = {4},
  pages     = {802-824},
  journal   = {SIAM Journal on Computing},
  keywords  = {parallel processing; algebraic computing; symbolic manipulation; Euclidean algorithm; factorization of polynomials; squarefree decomposition},
  publisher = {SIAM},
  xdoi      = {10.1137/0213050},
  xurl      = {http://link.aip.org/link/?SMJ/13/802/1},
}

@Article{Borodin1982a,
  author    = {Borodin, A. and von zur Gathen, J. and Hopcroft, J.},
  title     = {Fast parallel matrix and {GCD} computations},
  year      = {1982},
  volume    = {52},
  number    = {3},
  pages     = {241--256},
  journal   = {Information and control},
  publisher = {Elsevier},
}

@Article{Dieterle2010a,
  author    = {Dieterle, M. and Berthold, J. and Loogen, R.},
  title     = {{A Skeleton for Distributed Work Pools in Eden}},
  year      = {2010},
  pages     = {337--353},
  journal   = {Functional and Logic Programming},
  publisher = {Springer},
}

@Book{Waschkies1989,
  author        = {Waschkies, Hans-Joachim},
  title         = {{Anf\"{a}nge} der {Arithmetik} im alten {Orient} und bei den {Griechen}},
  year          = {1989},
  publisher     = {John Benjamins},
  fullpublisher = {John Benjamins Publishing Company},
}

@Article{Lenstra1982,
  author    = {Lenstra, A. K. and Lenstra, H. W. and Lov{\'a}sz, L.},
  title     = {Factoring polynomials with rational coefficients},
  year      = {1982},
  volume    = {261},
  number    = {4},
  pages     = {515--534},
  journal   = {Mathematische Annalen},
  publisher = S-V,
}

@Article{Odlyzko1985,
  author       = {Odlyzko, A. M. and Riele, H. J. J.},
  title        = {Disproof of the {Mertens} conjecture},
  year         = {1985},
  volume       = {1985},
  number       = {357},
  pages        = {138--160},
  journal      = {Journal {f\"ur} die reine und angewandte Mathematik},
  optpublisher = {Citeseer},
}

@Conference{Goldreich1997,
  author    = {Goldreich, O. and Goldwasser, S. and Halevi, S.},
  title     = {Public-Key Cryptosystems from Lattice Reduction Problems},
  booktitle = {Proceedings of Crypto 1997},
  year      = {1997},
  volume    = {LNCS 1294},
  publisher = S-V,
  pages     = {121--131},
}

@Article{Coppersmith1997,
  author    = {Coppersmith, D.},
  title     = {Small solutions to polynomial equations, and low exponent {RSA} vulnerabilities},
  year      = {1997},
  volume    = {10},
  number    = {4},
  pages     = {233--260},
  journal   = {Journal of Cryptology},
  publisher = S-V,
}

@Article{Coppersmith2001,
  author    = {Coppersmith, D.},
  title     = {Finding small solutions to small degree polynomials},
  year      = {2001},
  pages     = {20--31},
  journal   = {Cryptography and Lattices},
  publisher = S-V,
}

@Article{Schnorr1988,
  author    = {Schnorr, C. P.},
  title     = {A more efficient algorithm for lattice basis reduction},
  year      = {1988},
  volume    = {9},
  number    = {1},
  pages     = {47--62},
  journal   = {Journal of Algorithms},
  publisher = {Elsevier},
}

@Article{Lagarias1985,
  author    = {Lagarias, J. C. and Odlyzko, A. M.},
  title     = {Solving low-density subset sum problems},
  year      = {1985},
  volume    = {32},
  number    = {1},
  pages     = {229--246},
  journal   = {Journal of the ACM},
  publisher = theacm,
}

@Conference{Villard1992,
  author       = {Villard, Gilles},
  title        = {Parallel lattice basis reduction},
  booktitle    = {Papers from the international symposium on Symbolic and algebraic computation},
  year         = {1992},
  organization = theacm,
  pages        = {269--277},
}

@Article{Roch1992,
  author    = {Roch, J. and Villard, G.},
  title     = {Parallel gcd and lattice basis reduction},
  year      = {1992},
  pages     = {557--564},
  journal   = {Parallel Processing: CONPAR 92---VAPP V},
  publisher = S-V,
}

@Conference{Heckler1993a,
  author    = {Heckler, C. and Thiele, L.},
  title     = {A parallel lattice basis reduction for mesh-connected processor arrays and parallel complexity},
  booktitle = {Proc. SPDP},
  year      = {1993},
  volume    = {93},
  pages     = {400--407},
}

@Conference{Heckler1993,
  author       = {Heckler, C. and Thiele, L.},
  title        = {A parallel lattice basis reduction for mesh-connected processor arrays and parallel complexity},
  booktitle    = {Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing},
  year         = {1993},
  organization = {IEEE},
  pages        = {400--407},
}

@Article{Koy2001,
  author    = {Koy, H. and Schnorr, C.},
  title     = {Segment {LLL-reduction} with floating point orthogonalization},
  year      = {2001},
  pages     = {81--96},
  journal   = {Cryptography and Lattices},
  publisher = S-V,
}

@Article{Backes2009,
  author    = {Backes, W. and Wetzel, S.},
  title     = {Parallel lattice basis reduction using a multi-threaded {Schnorr-Euchner} {LLL} algorithm},
  year      = {2009},
  pages     = {960--973},
  journal   = {Euro-Par 2009 Parallel Processing},
  publisher = S-V,
}

@Conference{Brent1990,
  author          = {Brent, R. P.},
  title           = {Vector and parallel algorithms for integer factorisation},
  booktitle       = {Proc. Third Australian Supercomputer Conference},
  year            = {1990},
  optorganization = {Citeseer},
}

@Article{Brent2000,
  author    = {Brent, R. P.},
  title     = {Recent progress and prospects for integer factorisation algorithms},
  year      = {2000},
  pages     = {3--22},
  journal   = {Computing and Combinatorics},
  publisher = S-V,
}

@InProceedings{Sasaki2007,
  author      = {Sasaki, Tateaki and Kako, Fujio},
  title       = {Computing floating-point {Gr\"{o}bner} bases stably},
  booktitle   = {SNC'07: Proceedings of the 2007 international workshop on Symbolic-numeric computation},
  year        = {2007},
  publisher   = theacm,
  isbn        = {978-1-59593-744-5},
  pages       = {180--189},
  optaddress  = {New York, NY, USA},
  optlocation = {London, Ontario, Canada},
  xdoi        = {http://doi.acm.org/10.1145/1277500.1277526},
}

@InProceedings{Gathen1983,
  author     = {von zur Gathen, Joachim},
  title      = {Parallel algorithms for algebraic problems},
  booktitle  = {STOC'83: Proceedings of the fifteenth annual ACM symposium on Theory of computing},
  year       = {1983},
  publisher  = theacm,
  isbn       = {0-89791-099-0},
  pages      = {17--23},
  optaddress = {New York, NY, USA},
  xdoi       = {http://doi.acm.org/10.1145/800061.808728},
}

@Article{Collins1973,
  author    = {Collins, G. E.},
  title     = {Computer algebra of polynomials and rational functions},
  year      = {1973},
  pages     = {725--755},
  journal   = {American Mathematical Monthly},
  publisher = {JSTOR},
}

@Article{Mayr1997a,
  author    = {Mayr, Ernst W.},
  title     = {Some complexity results for polynomial ideals},
  year      = {1997},
  volume    = {13},
  number    = {3},
  pages     = {303--325},
  journal   = {Journal of complexity},
  publisher = {Citeseer},
}

@Article{Hendrickson1994,
  author  = {Bruce Hendrickson and David and E. Womble},
  title   = {The Torus--Wrap Mapping For Dense Matrix Calculations On Massively Parallel Computers},
  year    = {1994},
  volume  = {15},
  pages   = {1201--1226},
  journal = {SIAM J. Sci. Stat. Comput},
}

@InCollection{Roch1992a,
  author       = {Roch, J. and Villard, G.},
  title        = {Parallel {Gcd} and lattice basis reduction},
  booktitle    = {Parallel Processing: CONPAR 92---VAPP V},
  year         = {1992},
  editor       = {Boug{\'e}, Luc and Cosnard, Michel and Robert, Yves and Trystram, Denis},
  volume       = {634},
  series       = {LNCS},
  publisher    = S-V,
  pages        = {557-564},
  affiliation  = {LMC-IMAG 46 Av. F. Viallet F38031 Grenoble C{\'e}dex 46 Av. F. Viallet F38031 Grenoble C{\'e}dex},
  bdsk-url-1   = {http://dx.doi.org/10.1007/3-540-55895-0_455},
  longseries   = {Lecture Notes in Computer Science},
  optnote      = {10.1007/3-540-55895-0_455},
  optpublisher = {Springer Berlin / Heidelberg},
  opturl       = {http://dx.doi.org/10.1007/3-540-55895-0_455},
}

@Article{Miller2002,
  author    = {Miller, R. and Stout, Q. F.},
  title     = {Efficient parallel convex hull algorithms},
  year      = {2002},
  volume    = {37},
  number    = {12},
  pages     = {1605--1618},
  journal   = {Computers, IEEE Transactions on},
  publisher = {IEEE},
}

@InProceedings{Brown2010,
  author    = {C. Brown and H-W. Loidl and J. Berthold and K. Hammond},
  title     = {Improving your {