text:
imodulare Arithmetik}},
  month =	 mar,
  year =	 {2007},
  school =	 {Justis-Liebig-Universit{\"a}t Gie\ss{}en},
  OPTkey =	 {},
  type =	 {Diplomarbeit},
  url =
                  {http://www.mathematik.uni-marburg.de/\~lobachev/diplom.pdf},
  OPTaddress =	 {},
  note =	 {In German},
  OPTannote =	 {}
}

@TECHREPORT{estimating-performance-report,
  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},
  editor = {Loulergue, F.},
  volume = {BI},
  number = {bi2010-2},
  month = apr
}

@InProceedings{estimating-performance,
  author =	 {Oleg Lobachev and Rita Loogen},
  title =	 {Estimating parallel performance, a skel\-e\-ton-based
                  approach},
  OPTcrossref =	 {},
  OPTkey =	 {},
  booktitle =	 {Proceedings of 4\xth International Workshop on
                  High-level Parallel Programming and Applications},
  pages =	 {25-34},
  NOOPyear =	 {{\noopsort{c}}2010},
  year =	 {2010c},
  Xyear =	 {2010},
  OPTeditor =	 {},
  OPTvolume =	 {},
  OPTnumber =	 {},
  OPTseries =	 {},
  OPTaddress =	 {},
  OPTmonth =	 sep,
  OPTorganization ={},
  publisher =	 theacm,
  OPTnote =	 {hlpp 2010},
  OPTannote =	 {}
}

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

@TECHREPORT{multimod-report,
  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},
  Xmonth =	 sep,
  volume =	 {BI},
  number =	 {bi2010-3},
  NOOPyear =	 {{\noopsort{b}}2010},
  year =	 {2010b},
  Xyear =	 {2010},
  key =		 {ll-2010ax},
}

@INPROCEEDINGS{aisc08,
  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},
  volume =	 {5144},
  series =	 {LNAI},
  pages =	 {141--154},
  organization = {AISC 2008: 9\xth International Conference on
                  Artificial Intelligence and Symbolic Computation},
  publisher =	 S-V,
  editor =	 {Autexier, S. and Campbell, J. and Rubio, J. and
                  Sorge, V. and Suzuki, M. and Wiedijk, F.},
  date-modified ={2010-05-07 20:47:29 +0200}
}

@INPROCEEDINGS{SFP01-GUM,
  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},
  pages = {63--74},
  address = {Bristol, UK},
  publisher = {Intellect},
  optaddress = {Univ of Stirling, Scotland},
  optnote = {\url{http://www.cee.hw.ac.uk/\~{}dsg/gph/papers/drafts/sfp01-gum.ps.gz}}
}

@PHDTHESIS{HWLThesis,
  author = {Loidl, H-W.},
  title = {{Granularity in Large-Scale Parallel Functional Programming}},
  school = {Department of Computing Science},
  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}}
}

@INPROCEEDINGS{Eden:CompSFP00,
  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},
  pages = {39--52},
  publisher = {Intellect},
  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{gph-eden-compare,
  chapter = {{GpH} and {Eden}: Comparing two parallel functional languages on
	a {Beowulf} cluster},
  title = {{Trends in Functional Programming}},
  publisher = {Intellect Books},
  year = {2000},
  author = {Loidl, H.-W. and Klusik, U. and Hammond, K. and Loogen, R. and Trinder,
	P. W.}
}

@ARTICLE{gph-eden-compare-old,
  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}},
  journal = {Trends in Functional Programming},
  year = {2000},
  pages = {39},
  publisher = {Intellect Books}
}

@ARTICLE{Eden:HOSC02-full,
  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},
  journal = {Higher-order and Symbolic Computation},
  year = {2003},
  volume = {16(3)}
}

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

@INCOLLECTION{ploogen99,
  author = {Loogen, R.},
  title = {{Programming Language Constructs}},
  booktitle = {{Research Directions in Parallel Functional Programming}},
  publisher = S-V,
  year = {1999},
  editor = {K. Hammond and G. Michaelson},
  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},
  note = {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{loos-formal-ca,
  author = {Loos, Ruediger G. K.},
  title = {Toward a formal implementation of computer algebra},
  journal = {SIGSAM Bull.},
  year = {1974},
  volume = {8},
  pages = {9--16},
  number = {3},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1086837.1086839},
  Xdoi = {http://doi.acm.org/10.1145/1086837.1086839},
  issn = {0163-5824},
  optaddress = {New York, NY, USA},
publisher = theacm,
}

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

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

@INPROCEEDINGS{linsolv,
  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{eden-old2,
  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},
  journal = {J. of Functional Programming},
  year = {2005},
  pages = {431--475},
  number = {15},
  note = {Special Issue on Functional Approaches to High-Performance Parallel
	Programming},
  optauthor = {Rita {L}oogen and Yolanda {Ortega--Mall\'{e}n} and Ricardo {Pena--Mar\'{\i}}},
  optkey = {LOP05},
  optvolume = {15}
}

@INPROCEEDINGS{Kuchen05-,
  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},
  address = {Warwick, UK},
  OPTmonth = {July},
  note = {\jbcomment{== Draft Proc.s, PPL version? Better reference?} \rlcomment{Parallel
	Computing Artikel oder ICSOFT-Papier zitieren?}}
}

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

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

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

@INPROCEEDINGS{IFL03EdenMaple,
  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\xth 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},
  pages = {135--151},
  publisher = S-V,
  optcomment = {Edingurgh, UK, September 8-11, 2003,},
  optvolume = {3145}
}

@CONFERENCE{marti2008radix,
  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},
  pages = {152},
  organization = S-V
}

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

@CONFERENCE{matiyasevich1971diophantine,
  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{matula1990finite,
  author = {MATULA, D. W. and KORNERUP, P.},
  title = {Finite Precision Rational Arithmetic: Slash Number Systems},
  booktitle = {Computer arithmetic},
  year = {1990},
  pages = {325},
  organization = {IEEE Computer Society}
}

@ARTICLE{Mayr1982305,
  author = {Ernst W. Mayr and Albert R. Meyer},
  title = {The complexity of the word problems for commutative semigroups and
	polynomial ideals},
  journal = {Advances in Mathematics},
  year = {1982},
  volume = {46},
  pages = {305--329},
  number = {3},
  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.},
  optdoi = {DOI: 10.1016/0001-8708(82)90048-2},
  xissn = {0001-8708},
  opturl = {http://www.sciencedirect.com/science/article/B6W9F-4CRY4PH-149/2/77f767e8369182c0fbc32de9aa2e0fff}
}

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

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

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

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

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

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

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

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

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

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

@BOOK{meyberg-algebra,
  title = {Algebra},
  publisher = {Carl Hanser Verlag},
  year = {1980},
  author = {Kurt {M}eyberg},
  volume = {I},
  address = {M"unchen, Wien}
}

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

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

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

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

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

@TECHREPORT{noro-new,
  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{Nussbaumer81FFT,
  title = {Fast Fourier Transform and Convolution Algorithms},
  publisher = S-V,
  year = {1981},
  author = {H.J. Nussbaumer},
  OPTaddress = {Berlin}
}

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

@BOOK{fp-datastructures,
  title = {Purely Functional Data Structures},
  publisher = {Cambridge University Press},
  year = {1998},
  author = {Chris Okasaki},
  key = {Oka99}
}

@INPROCEEDINGS{haskell-productivity,
  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},
  month = {July},
  organization = {Yale University, Department of Computer Science},
  howpublished = {\url{http://haskell.org/papers/NSWC/jfp.ps}},
  optinstitution = {Yale University, Department of Computer Science},
  optnote = {Unpublished Report}
}

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

@INPROCEEDINGS{Eden:COptSFP00,
  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}},
  address = {University of St Andrews, Scotland},
  month = jul,
  publisher = {Intellect},
  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{318930,
  title = {Computer arithmetic: algorithms and hardware designs},
  publisher = {Oxford University Press},
  year = {2000},
  author = {Parhami, Behrooz},
  address = {Oxford, UK},
  isbn = {0-19-512583-5}
}

@ARTICLE{partain:nbs,
  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{pauer1992lucky,
  author = {Pauer, F.},
  title = {On lucky ideals for {Gr\"{o}bner} basis computations},
  journal = {Journal of Symbolic Computation},
  year = {1992},
  volume = {14},
  pages = {471--482},
  number = {5},
  publisher = {Elsevier}
}

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

@BOOK{perron-kb1,
  title = {Die {L}ehre von den {Kettenbr\"uchen}},
  LONGpublisher = {B.~G.~Teubner Verlagungsgesellschaft},
  publisher = {Teubner},
  year = {1954},
  author = {Oskar Perron},
  volume = {I},
  OPTaddress = {Stuttgart},
  edition = {third}
}

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

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

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

@INPROCEEDINGS{SPJ1987Grip,
  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{Haskell98,
  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{Pena2001,
  author      = {Pe\~{n}a, Ricardo and Rubio, Fernando},
  title       = {Parallel Functional Programming at Two Levels of Abstraction},
  booktitle   = {Proceedings of the 3\xrd {ACM SIGPLAN} International Conference on Principles and Practice of Declarative Programming},
  year        = {2001},
  series      = {PPDP'01},
  publisher   = {ACM},
  isbn        = {1-58113-388-X},
  pages       = {187--198},
  doi         = {10.1145/773184.773204},
  url         = {http://doi.acm.org/10.1145/773184.773204},
  acmid       = {773204},
  keywords    = {cost models, parallel functional programming, skeletons},
  numpages    = {12},
  optaddress  = {New York, NY, USA},
  optlocation = {Florence, Italy},
}

@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{detEden00,
  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},
  address = {Aachen, Germany},
  month = Sep,
  optvolume = {1268}
}

@INPROCEEDINGS{Eden:GdHuse01,
  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},
  address = {Canary Islands, Spain},
  month = Feb,
  note = {In preparation},
  annote = {std Gdh usage ref}
}

@INPROCEEDINGS{GdH,
  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},
  pages = {53ff},
  address = {Aachen, Germany},
  publisher = S-V,
  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{Kuchen05,
  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},
  pages = {795--802},
  publisher = {Central Institute for Applied Mathematics, J{\"u}lich, Germany},
  bibdate = {2006-11-20},
  bibsource = {DBLP, http://dblp.uni-trier.de/db/conf/parco/parco2005.html#PoldnerK05},
  isbn = {3-00-017352-8}
}

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

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

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

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

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

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

@TECHREPORT{FFT:Apple,
  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{rabin1980probabilistic,
  author = {Rabin, M. O.},
  title = {{Probabilistic algorithm for testing primality}},
  journal = {Journal Of Number Theory},
  year = {1980},
  volume = {12},
  pages = {128--138},
  number = {1}
}

@TECHREPORT{wise-quadtrees-fl,
  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{rao1984conversion,
  title={Conversion of {Hensel} Codes to rational numbers},
  author={Rao, M. and others},
  journal={Computers \& Mathematics with Applications},
  volume={10},
  number={2},
  pages={185--189},
  Xissn={0898-1221},
  year={1984},
  publisher={Elsevier}
}
@BOOK{maple,
  title = {The Maple Handbook: Maple V Release 4},
  publisher = S-V,
  year = {1995},
  author = {Darren Redfern},
  month = {December}
}

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

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

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

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

@MISC{sanner99python,
  author = {M. Sanner},
  title = {Python: A programming language for software integration and development},
  year = {1999},
  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.},
  url = {citeseer.ist.psu.edu/sanner99python.html}
}

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

@BOOKLET{sauer-nm1,
  title = {{N}umerische {M}athematik {I}},
  author = {Tomas Sauer},
  howpublished = {Lecture notes},
  address = {Justus-Liebig-Universit\"at Gie\ss{}en},
  year = {2002},
  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{sauer-hbases,
  author = {Sauer, Tomas},
  title = {Gr{\"o}bner Bases, {$H$}-Bases and Interpolation},
  journal = {Transactions of the American Mathematical Society},
  year = {2001},
  volume = {353},
  pages = {2293--2308},
  number = {6},
  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},
  issn = {00029947},
  jstor_articletype = {primary_article},
  jstor_formatteddate = {Jun., 2001},
  publisher = {American Mathematical Society},
  xurl = {http://www.jstor.org/stable/221948}
}

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

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

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

@INPROCEEDINGS{th,
  author = {T. Sheard and S. {Peyton Jones}},
  title = {Template meta-programming for {Haskell}},
  booktitle = {Proc. of the workshop on {Haskell}},
  year = {2002},
  pages = {1--16},
  publisher = theacm,
  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{shirayanagi1998remarks,
  author = {Shirayanagi, K. and Sweedler, M.},
  title = {Remarks on automatic algorithm stabilization},
  journal = {Journal of Symbolic Computation},
  year = {1998},
  volume = {26},
  pages = {765},
  number = {6},
  publisher = {Academic Press, Inc.}
}

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

@CONFERENCE{siegl5parallel,
  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{Siegl93parallelizingalgorithms,
  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},
  pages =	 {179--186},
  publisher =	 theacm
}

@INCOLLECTION{eden-old,
  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},
  publisher = S-V,
  year = {1998},
  volume = {1490},
  series = {Lecture Notes in Computer Science}
}

@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{mpibook,
  title = {{MPI}: The Complete Reference},
  publisher = {MIT Press},
  year = {1995},
  author = {Snir, M. and Otto, S.W. and Walker, D.W. and Dongarra,
                  J. and Huss-Lederman, S.},
  shortauthor = {Snir, M. and Otto, S. W. and Walker, D. W. and others}
}

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

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

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

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

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

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

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

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

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

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

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

@INPROCEEDINGS{schoenhage-c-mult-,
  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},
  pages = {3--15},
  month = {April},
  organization = {European Computer Algebra Conference},
  publisher = S-V
}

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

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

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

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

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

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

@CONFERENCE{thottethodi1998tss,
  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},
  pages = {1--14},
  organization = {IEEE Computer Society Washington, DC, USA}
}

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

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

@CONFERENCE{toom1963complexity,
  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{traverso-groebner,
  author = {Traverso, C.},
  title = {Gr\"{o}bner trace algorithms},
  booktitle = {Symbolic and Algebraic Computation},
  year = {1989},
  editor = {Gianni, Patrizia},
  volume = {358},
  series = {LNCS},
  pages = {125--138},
  publisher = S-V,
  note = {Proceedings of ISSAC'88}
}

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

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

@ARTICLE{trinder1999gai----,
  author = {Trinder, P. W. and Barry Jr, E. and others},
  title = {{GPH}: an architecture-independent functional language},
  journal = {IEEE Trans.\ Software Engineering},
  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.},
  xvolume = {1998}
}

@INPROCEEDINGS{gph---,
  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},
  address = {Pitlochry, Scotland},
  month = {September}
}

@INPROCEEDINGS{gphgum,
  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{GUM-s,
  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{ParDistHsJFP02,
  author = {P. W. Trinder and H.-W. Loidl and R. F. Pointon},
  title = {Parallel and distributed {Haskells}},
  journal = {Journal of Functional Programming},
  year = {2002},
  volume = {12},
  pages = {469--510},
  number = {4, 5},
  OPTmonth = jul,
  keywords = {jrnl, JFP, FP, Haskell, network, networks, zz1002}
}

@PHDTHESIS{turner-black-box,
  author = {William J. {T}urner},
  title = {Black Box Linear Algebra With The Linbox Library},
  school = {North Carolina State University},
  year = {2002}
}

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

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

@CONFERENCE{wang1981p,
  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},
  pages = {212--217},
  organization = theacm,
}

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

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

@TECHREPORT{weimerskirch2003generalizations,
  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{mathworld,
  author = {Eric W. Weisstein},
  booktitle = {MathWorld},
  publisher = {Wolfram Web Resource},
  year = {2006},
  address = {\texttt{http://mathworld.wolfram.com/}},
  opttitle = {Ring Homomorphism}
}

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

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

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

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

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

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

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

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

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

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

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

@TECHREPORT{quickmul,
  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{zagier1997newman,
  author = {Zagier, D.},
  title = {Newman's short proof of the prime number theorem},
  journal = {American Mathematical Monthly},
  year = {1997},
  volume = {104},
  pages = {705--708},
  number = {8},
  publisher = {Mathematical Association of America}
}

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

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

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

@MISC{PVM,
  title = {{Parallel Virtual Machine}},
  note = {\url{http://www.epm.ornl.gov/pvm/}},
  editor = {Oak Ridge National Laboratory},
  key = {PVM},
  xannote = {date means ``valid at''},
  xhowpublished = {Web page},
  xmonth = {#jan#},
  xyear = {2001}
}

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

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

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

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

@MISC{cint,
  OPTtitle = {{C}Int, the {C}/{C++} interpreter, version 5.16.19.},
  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},
  optyear = {2008}
}

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

@ARTICLE{faugere139new,
  title = {A new efficient algorithm for computing {Gr\"{o}bner} basis (F~4)}
}

@MISC{ginac-homepage,
  title = {{GiNaC} program},
  howpublished = {\url{http://www.ginac.de}},
  key = {GiNaC},
  optmonth = {February},
  optyear = {2008}
}

@MISC{grid-mapple,
  title = {{HPC}-{G}rid for {M}aple program},
  howpublished = {\url{http://www.maple\-soft.com/pro\-ducts/tool\-box\-es/HPC\-grid/in\-dex.aspx}},
  key = {GMaple}
}

@MISC{grid-mathematica,
  title = {gridMathematica2 program},
  howpublished = {\url{http://www.wolf\-ram.com/pro\-ducts/grid\-ma\-the\-ma\-ti\-ca/}},
  key = {GMathematica},
  optmonth = {August},
  optyear = {2007}
}

@MISC{mapple-odd,
  title = {Mapple computer algebra system}
}

@MISC{mathematica-old,
  title = {Mathematica computer algebra system}
}

@INPROCEEDINGS{symgrid-par,
  title = {SymGrid-Par: Designing a Framework for Executing Computational Algebra
	Systems on Computational Grids}
}

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

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

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

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

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

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

@article{dresden2004middle,
  title={On the Middle Coefficient of a Cyclotomic Polynomial},
  author={Dresden, Gregory P.},
  journal={American Mathematical Monthly},
  pages={531--533},
  year={2004},
  publisher={JSTOR}
}
@article{lehmer1936magnitude,
  title={On the magnitude of the coefficients of the cyclotomic polynomial},
  author={Lehmer, Emma},
  journal={Bull. Amer. Math. Soc},
  volume={42},
  pages={389--392},
  year={1936}
}
@conference{ph-rep,
  title={Semantics of {pH}: A parallel dialect of {Haskell}},
  author={Aditya, S. and Arvind, L. A. and Augustsson, L. and Nikhil, R. S.},
  booktitle={Haskell Workshop},
  year={1995}
}
@conference{weirich2000type,
  title={Type-safe cast (functional pearl)},
  author={Weirich, S.},
  booktitle={Proc.\ ICFP'00},
  pages={58--67},
  year={2000},
  organization=theacm
}
@conference{brown2010ever,
  title={Ever-Decreasing Circles: a Skeleton for Parallel Orbit Calculations in {Eden}},
  author={Brown, C. and Hammond, K.},
  LONGbooktitle={Trends in Functional Programming},
  booktitle = {Draft Proceedings of the Symposium on
                  Trends in Functional Programming},
  series = {TFP'10},
  year={2010}
}
@article{geimer2010scalasca-,
  title={The {Scalasca} performance toolset architecture},
  author={Geimer, M. and Wolf, F. and Wylie, B. J. N. and {\'A}brah{\'a}m, E. and Becker, D. and Mohr, B.},
  journal={Concurrency and Computation: Practice and Experience},
  volume={22},
  number={6},
  year={2010},
  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{gill1993short,
  title={A short cut to deforestation},
  author={Gill, A. and Launchbury, J. and {Peyton Jones}, S. L.},
  booktitle={Proceedings of the conference on Functional programming languages and computer architecture},
  pages={223--232},
  year={1993},
  organization=theacm
}
    @article{proteus,
     jstor_articletype = {primary_article},
     title = {Catching {Proteus}: The Collaborations of {Wallis} and
                  {Brouncker}. {I}. Squaring the Circle},
     author = {Stedall, Jacqueline A.},
     journal = {Notes and Records of the Royal Society of London},
     jstor_issuetitle = {},
     volume = {54},
     number = {3},
     jstor_formatteddate = {Sep., 2000},
     pages = {293--316},
     Xdoi = {http://www.jstor.org/stable/532183},
     XISSN = {00359149},
     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.},
     language = {},
     year = {2000},
     publisher = {The Royal Society},
     copyright = {Copyright © 2000 The Royal Society},
    }

@book{vanderwaerden1966erwachende,
  title={Erwachende {Wissenschaft}},
  author={van der Waerden, B. L. and Habicht, H.},
  year={1966},
  publisher={Birkh\"{a}user}
}
@book{fowler1999plato,
  title={The mathematics of {Plato's} academy},
  author={Fowler, D.},
  publisher = {Oxford Clarendon},
  year={1999}
}
@book{stillwell1998numbers,
  title={Numbers and geometry},
  author={Stillwell, J.},
  publisher=S-V,
  year={1998}
}
@incollection{brezinski1980long,
  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},
  Author =	 {Brezinski, Claude},
  Booktitle =	 {Pad{\'e} Approximation and its Applications},
  Location =	 {Amsterdam 1980},
  Editor =	 {de Bruin, M. and van Rossum, H.},
  OPTNote =	 {10.1007/BFb0095574},
  Pages =	 {1-27},
  LONGPublisher ={Springer Berlin / Heidelberg},
  publisher =	 S-V,
  LONGSeries =	 {Lecture Notes in Mathematics},
  series =	 {LNM 888},
  Title =	 {The long history of continued fractions and {Pad{\'e}}
                  approximants},
  OPTUrl =	 {http://dx.doi.org/10.1007/BFb0095574},
  OPTVolume =	 {888},
  Year =	 {1981},
  Bdsk-Url-1 =	 {http://dx.doi.org/10.1007/BFb0095574}
}

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

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

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

@article{dieterle2010skeleton-,
  title={{A Skeleton for Distributed Work Pools in Eden}},
  author={Dieterle, M. and Berthold, J. and Loogen, R.},
  journal={Functional and Logic Programming},
  pages={337--353},
  year={2010},
  publisher={Springer}
}
@Inbook{dieterle2010skeleton,
author="Dieterle, Mischa
and Berthold, Jost
and Loogen, Rita",
editor="Blume, Matthias
and Kobayashi, Naoki
and Vidal, Germ{\'a}n",
title="A Skeleton for Distributed Work Pools in {Eden}",
bookTitle="10\xth International Symposium on Functional and Logic Programming",
series="FLOPS'10",
unneeded=" FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings",
year="2010",
longpublisher="Springer Berlin Heidelberg",
publisher="Springer",
OPTaddress="Berlin, Heidelberg",
pages="337--353",
isbn="978-3-642-12251-4",
doi="10.1007/978-3-642-12251-4_24",
OPTurl="http://dx.doi.org/10.1007/978-3-642-12251-4_24"
}

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

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

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

@conference{goldreich1997public,
  title =	 {Public-Key Cryptosystems from Lattice Reduction
                  Problems},
  author =	 {Goldreich, O. and Goldwasser, S. and Halevi, S.},
  booktitle =	 {Proceedings of Crypto 1997},
  pages =	 {121--131},
  year =	 {1997},
  volume =	 {LNCS 1294},
  publisher =	 S-V
}
@article{coppersmith1997small,
  title =	 {Small solutions to polynomial equations, and low
                  exponent {RSA} vulnerabilities},
  author =	 {Coppersmith, D.},
  journal =	 {Journal of Cryptology},
  volume =	 {10},
  number =	 {4},
  pages =	 {233--260},
  year =	 {1997},
  publisher =	 S-V
}
@article{coppersmith2001finding,
  title =	 {Finding small solutions to small degree polynomials},
  author =	 {Coppersmith, D.},
  journal =	 {Cryptography and Lattices},
  pages =	 {20--31},
  year =	 {2001},
  publisher =	 S-V
}
@article{schnorr1988more,
  title={A more efficient algorithm for lattice basis reduction},
  author={Schnorr, C. P.},
  journal={Journal of Algorithms},
  volume={9},
  number={1},
  pages={47--62},
  year={1988},
  publisher={Elsevier}
}
@article{lagarias1985solving,
  title={Solving low-density subset sum problems},
  author={Lagarias, J. C. and Odlyzko, A. M.},
  journal={Journal of the ACM},
  volume={32},
  number={1},
  pages={229--246},
  year={1985},
  publisher=theacm
}
@conference{villard1992parallel,
  title =	 {Parallel lattice basis reduction},
  author =	 {Villard, Gilles},
  booktitle =	 {Papers from the international symposium on Symbolic
                  and algebraic computation},
  pages =	 {269--277},
  year =	 {1992},
  organization = theacm
}
@article{roch1992parallel,
  title={Parallel gcd and lattice basis reduction},
  author={Roch, J. and Villard, G.},
  journal={Parallel Processing: CONPAR 92---VAPP V},
  pages={557--564},
  year={1992},
  publisher=S-V
}
@conference{heckler1993parallel-conf,
  title={A parallel lattice basis reduction for mesh-connected processor arrays and parallel complexity},
  author={Heckler, C. and Thiele, L.},
  booktitle={Proc. SPDP},
  volume={93},
  pages={400--407},
  year={1993}
}

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

@article{koy2001segment-,
  title={Segment {LLL-reduction} with floating point orthogonalization},
  author={Koy, H. and Schnorr, C.},
  journal={Cryptography and Lattices},
  pages={81--96},
  year={2001},
  publisher=S-V
}
@article{backes2009parallel,
  title =	 {Parallel lattice basis reduction using a
                  multi-threaded {Schnorr-Euchner} {LLL} algorithm},
  author =	 {Backes, W. and Wetzel, S.},
  journal =	 {Euro-Par 2009 Parallel Processing},
  pages =	 {960--973},
  year =	 {2009},
  publisher =	 S-V
}

@conference{brent1990vector,
  title={Vector and parallel algorithms for integer factorisation},
  author={Brent, R. P.},
  booktitle={Proc. Third Australian Supercomputer Conference},
  year={1990},
  OPTorganization={Citeseer}
}
@article{brent2000recent,
  title={Recent progress and prospects for integer factorisation algorithms},
  author={Brent, R. P.},
  journal={Computing and Combinatorics},
  pages={3--22},
  year={2000},
  publisher=S-V
}

@inproceedings{fp-groebner,
 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},
 isbn = {978-1-59593-744-5},
 pages = {180--189},
 OPTlocation = {London, Ontario, Canada},
 Xdoi = {http://doi.acm.org/10.1145/1277500.1277526},
 publisher = theacm,
 OPTaddress = {New York, NY, USA},
 }

@inproceedings{gathen1983parallel,
 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},
 isbn = {0-89791-099-0},
 pages = {17--23},
 Xdoi = {http://doi.acm.org/10.1145/800061.808728},
 publisher = theacm,
 OPTaddress = {New York, NY, USA},
 }
@article{collins1973computer,
  title={Computer algebra of polynomials and rational functions},
  author={Collins, G. E.},
  journal={American Mathematical Monthly},
  pages={725--755},
  year={1973},
  publisher={JSTOR}
}
@article{mayr1997some-,
  title={Some complexity results for polynomial ideals},
  author={Mayr, Ernst W.},
  journal={Journal of complexity},
  volume={13},
  number={3},
  pages={303--325},
  year={1997},
  publisher={Citeseer}
}
@ARTICLE{Hendrickson94torus,
    author = {Bruce Hendrickson and David and E. Womble},
    title = {The Torus--Wrap Mapping For Dense Matrix Calculations On
                  Massively Parallel Computers},
    journal = {SIAM J. Sci. Stat. Comput},
    year = {1994},
    volume = {15},
    pages = {1201--1226}
}
@incollection{springerlink:10.1007/3-540-55895-0_455,
  Affiliation =	 {LMC-IMAG 46 Av. F. Viallet F38031 Grenoble C{\'e}dex
                  46 Av. F. Viallet F38031 Grenoble C{\'e}dex},
  Author =	 {Roch, J. and Villard, G.},
  Booktitle =	 {Parallel Processing: CONPAR 92---VAPP V},
  Editor =	 {Boug{\'e}, Luc and Cosnard, Michel and Robert, Yves
                  and Trystram, Denis},
  OPTNote =	 {10.1007/3-540-55895-0_455},
  Pages =	 {557-564},
  OPTPublisher = {Springer Berlin / Heidelberg},
  publisher =	 S-V,
  LONGSeries =	 {Lecture Notes in Computer Science},
  series =	 {LNCS},
  Title =	 {Parallel {Gcd} and lattice basis reduction},
  OPTUrl =	 {http://dx.doi.org/10.1007/3-540-55895-0_455},
  Volume =	 {634},
  Year =	 {1992},
  Bdsk-Url-1 =	 {http://dx.doi.org/10.1007/3-540-55895-0_455}
}
@article{miller2002efficient,
  title={Efficient parallel convex hull algorithms},
  author={Miller, R. and Stout, Q. F.},
  journal={Computers, IEEE Transactions on},
  volume={37},
  number={12},
  pages={1605--1618},
  year={2002},
  publisher={IEEE}
}

@InProceedings{cash,
  author = 	 {C. Brown and H-W. Loidl and J. Berthold and K. Hammond},
  title = 	 {Improving your {CASH} flow: The Computer Algebra SHell},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =	 {IFL 2010 --- 22\nd International Symposium on Implementation and Application of Functional Languages},
  OPTpages = 	 {},
  year =	 {2010},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  note =	 {Draft Proceedings},
  OPTannote = 	 {}
}
@article{mayr1997some,
  title={Some complexity results for polynomial ideals},
  author={Mayr, Ernst W.},
  journal={Journal of complexity},
  volume={13},
  number={3},
  pages={303--325},
  year={1997},
  publisher={Elsevier}
}
@article{Hey1990185,
  title =	 {Experiments in {MIMD} parallelism},
  journal =	 {Future Generation Computer Systems},
  volume =	 {6},
  number =	 {3},
  pages =	 {185-196},
  year =	 {1990},
  MYnote =	 {first mention of a farm, says ``A Survey of
                  Algorithmic Skeleton Frameworks: High-Level
                  Structured Parallel Programming Enablers'' by Horacio
                  Gonzalez-Velez and Mario Leyton},
  Xissn =	 {0167-739X},
  Xdoi =	 {DOI: 10.1016/0167-739X(90)90018-9},
  Xurl =
                  {http://www.sciencedirect.com/science/article/B6V06-4998VGC-1X/2/fe71f898ec869df2e181946b58bed135},
  author =	 {Anthony J. G. Hey},
  abstract =	 {The paper reviews the problems inhibiting the
                  widespread use of parallel processing by both
                  industry and software houses. The two key issues of
                  portability of code and of generality of parallel
                  architectures are discussed. An overview of useful
                  computational models and programming paradigms for
                  parallel machines is presented along with some
                  detailed case studies implemented on transputer
                  arrays. Valiant's results on optimally universal
                  parallel machines are reviewed along with the
                  prospects of building truly general-purpose parallel
                  computers. Some remarks on language and software
                  tool developments for parallel programming form the
                  conclusion to the paper.}
}

@inproceedings{Bird88:Constructive,
  title = "Lectures on Constructive Functional Programming",
  author = "Richard S. Bird",
  year = "1988",
  booktitle = "Constructive Methods in Computer Science",
  editor = "Manfred Broy",
  note = "NATO ASI Series~F Volume~55. Also available as Technical Monograph PRG-69, from the Programming Research Group, Oxford University",
  pages = "151--218",
  publisher = s-v,
}
@incollection{simon2010selected,
  title =	 {Selected applications of {LLL} in number theory},
  author =	 {Simon, D.},
  booktitle =	 {The {LLL} Algorithm},
  publisher =	 S-V,
  year =	 {2010},
  editor =	 {Phong Q. Nguyen and Brigitte Vall{\'e}e},
  series =	 {Information Security and Cryptography},
  pages =	 {265--282}
}
@article{dekel1981parallel,
  title={{Parallel matrix and graph algorithms}},
  author={Dekel, E. and Nassimi, D. and Sahni, S.},
  journal={SIAM Journal on computing},
  volume={10},
  pages={657},
  year={1981}
}
@article{agarwal2010three,
  title={A three-dimensional approach to parallel matrix multiplication},
  author={Agarwal, R. C. and Balle, S. M. and Gustavson, F. G. and Joshi, M. and Palkar, P.},
  journal={IBM Journal of Research and Development},
  volume={39},
  number={5},
  pages={575--582},
  year={2010},
  publisher={IBM}
}
@article{van1997summa,
  title={{SUMMA}: Scalable universal matrix multiplication algorithm},
  author={van de Geijn, R. A. and Watts, J.},
  journal={Concurrency: Practice and Experience},
  volume={9},
  number={4},
  pages={255--274},
  year={1997},
  publisher={John Wiley \& Sons}
}
@article{grayson1996high,
  title={A high performance parallel {Strassen} implementation},
  author={Grayson, B. and Geijn, R.},
  journal={Parallel Processing Letters},
  volume={6},
  number={1},
  pages={3--12},
  year={1996},
  BADpublisher={Citeseer},
  publusher = {World Scientific Publishing Company},
}
@inproceedings{315965,
 author = {Luo, Qingshan and Drake, John B.},
 title = {A scalable parallel {Strassen's} matrix multiplication algorithm for distributed-memory computers},
 booktitle = {SAC'95: Proceedings of the 1995 ACM symposium on Applied computing},
 year = {1995},
 isbn = {0-89791-658-1},
 pages = {221--226},
 Xlocation = {Nashville, Tennessee, United States},
 Xdoi = {http://doi.acm.org/10.1145/315891.315965},
 publisher = theacm,
 OPTaddress = {New York, NY, USA},
 }
@article{Laderman1992557,
  title =	 "On practical algorithms for accelerated matrix
                  multiplication",
  journal =	 "Linear Algebra and its Applications",
  volume =	 "162-164",
  OPTnumber =	 "",
  pages =	 "557--588",
  year =	 "1992",
  OPTnote =	 "",
  Xissn =	 "0024-3795",
  Xdoi =	 "DOI: 10.1016/0024-3795(92)90393-O",
  Xurl =
                  "http://www.sciencedirect.com/science/article/B6V0R-45GWNRB-4R/2/6765a8ba97ee062d17393157de8f0eba",
  author =	 "Julian Laderman and Victor Pan and Xuan-He Sha",
  abstract =	 "We present several bilinear algorithms for the
                  acceleration of multiplication of n X n matrices
                  that are superior to both the classical and
                  Strassen's algorithm for moderate n (starting with n
                  = 20). The Bini-Lotti result on the weak stability
                  of bilinear algorithms applies to these
                  algorithms. We present them in two equivalent
                  versions, bilinear and trilinear. We also apply one
                  of these algorithms over finite fields (or rings) of
                  constants. Surprisingly, this enables us to decrease
                  the bilinear complexity of n X n matrix
                  multiplication (for 20 <= n <= 10^20) below the
                  current record upper bound for the same computation
                  over the infinite fields of complex, real, or
                  rational numbers."
}
@inproceedings{10.1109/ICIS.2005.8,
  author =	 {Nguyen, Duc Kien and Ivan {Lavall\`{e}e} and Marc
                  Bui and Ha, Quoc Trung},
  title =	 {A General Scalable Parallelizing of {Strassen's}
                  Algorithm for Matrix Multiplication on Distributed
                  Memory Computers},
  OLDtilte =	 {Computer and Information Science, ACIS International
                  Conference on},
  booktitle =	 {ICIS'05 --- Fourth ACIS Intl.\ Conf.\ Computer and
                  Information Science},
  OPTvolume =	 {0},
  isbn =	 {0-7695-2296-3},
  year =	 {2005},
  pages =	 {294-299},
  Xdoi =
                  {http://doi.ieeecomputersociety.org/10.1109/ICIS.2005.8},
  publisher =	 {IEEE Computer Society},
  OPTaddress =	 {Los Alamitos, CA, USA},
}

@PhdThesis{cannon1969cellular,
  title =	 {A cellular computer to implement the {Kalman} filter
                  algorithm},
  author =	 {Cannon, L. E.},
  year =	 {1969},
  school =	 {Montana State University}
}

@incollection{dieterle2010skeleton--,
  author =	 {Dieterle, Mischa and Berthold, Jost and Loogen,
                  Rita},
  affiliation =	 {Fachbereich Mathematik und Informatik
                  Philipps-Universität Marburg Hans Meerwein Straße
                  D-35032 Marburg Germany},
  title =	 {A Skeleton for Distributed Work Pools in {Eden}},
  booktitle =	 {Functional and Logic Programming},
  series =	 {LNCS 6009},
  editor =	 {Blume, Matthias and Kobayashi, Naoki and Vidal,
                  Germán},
  publisher =	 s-v,
  pages =	 {337--353},
  CUTvolume =	 {6009},
  Xdoi =	 {http://dx.doi.org/10.1007/978-3-642-12251-4_24},
  doi =	         {10.1007/978-3-642-12251-4_24},
  year =	 {2010}
}
@Inbook{Dieterle2010--,
author="Dieterle, Mischa
and Berthold, Jost
and Loogen, Rita",
editor="Blume, Matthias
and Kobayashi, Naoki
and Vidal, Germ{\'a}n",
title="A Skeleton for Distributed Work Pools in Eden",
bookTitle="Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings",
year="2010",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="337--353",
isbn="978-3-642-12251-4",
doi="10.1007/978-3-642-12251-4_24",
url="http://dx.doi.org/10.1007/978-3-642-12251-4_24"
}

@article{skillicorn1998models,
  title={Models and languages for parallel computation},
  author={Skillicorn, D. B. and Talia, D.},
  journal={ACM Computing Surveys},
  volume={30},
  number={2},
  pages={123--169},
  year={1998},
  publisher=theacm
}
@article{buchberger1987history,
  title={History and basic features of the critical-pair/completion procedure},
  author={Buchberger, B.},
  journal={Journal of Symbolic Computation},
  volume={3},
  number={1-2},
  pages={3--38},
  year={1987},
  publisher={Elsevier}
}

@conference{marlow2010seq,
  title =	 {Seq no more: better strategies for parallel
                  {Haskell}},
  author =	 {Marlow, S. and Maier, P. and Loidl, H. W. and Aswad,
                  M. K. and Trinder, P.},
  booktitle =	 {Proceedings of the third ACM Haskell symposium on
                  Haskell},
  pages =	 {91--102},
  year =	 {2010},
  organization = theacm
}
@conference{borwein2002reverse,
  title={Reverse symbolic computations, the identify function},
  author={BORWEIN, P. and HARE, K.G. and MEICHSNER, A.},
  booktitle={Proceedings from the Maple Summer Workshop},
  year={2002}
}
@inproceedings{808681,
  author =	 {Kannan, R. and Lenstra, A. K. and Lov\'{a}sz, L.},
  title =	 {Polynomial factorization and nonrandomness of bits
                  of algebraic and some transcendental numbers},
  booktitle =	 {STOC'84 --- Proceedings of the sixteenth annual ACM
                  symposium on Theory of computing},
  year =	 {1984},
  isbn =	 {0-89791-133-4},
  pages =	 {191--200},
  Xdoi =	 {http://doi.acm.org/10.1145/800057.808681},
  publisher =	 theacm,
  OPTaddress =	 {New York, NY, USA},
  mynote =	 {integer relation},
}
@incollection {springerlink:10.1007/3-540-16078-7_69,
  author =	 {Hastad, J. and Helfrich, B. and Lagarias, J. and
                  Schnorr, C.},
  OPTaffiliation ={MIT Department of Computer Science Cambridge
                  Massachusetts Cambridge Massachusetts},
  title =	 {Polynomial time algorithms for finding integer
                  relations among real numbers},
  booktitle =	 {STACS'86 --- 3\rd Annual Symposium on Theoretical
                  Aspects of Computer Science},
  series =	 {LNCS 210},
  editor =	 {Monien, B. and Vidal-Naquet, G.},
  publisher =	 s-v,
  BADisbn =	 {},
  pages =	 {105-118},
  OPTvolume =	 {210},
  Xdoi =	 {http://dx.doi.org/10.1007/3-540-16078-7_69},
  OPTnote =	 {10.1007/3-540-16078-7_69},
  year =	 {1986}
}
@article{ferguson1979generalization,
  title =	 {Generalization of the {Euclidean} algorithm for real
                  numbers to all dimensions higher than two},
  author =	 {Ferguson, H. R. P. and Forcade, R. W.},
  journal =	 {Bulletin (New Series) of the American Mathematical
                  Society},
  volume =	 {1},
  number =	 {6},
  pages =	 {912--914},
  Xissn =	 {0273-0979},
  year =	 {1979},
  publisher =	 theams,
}
@article{bailey2001parallel,
  title={Parallel integer relation detection: Techniques and applications},
  author={Bailey, D. H. and Broadhurst, D. J.},
  journal={Mathematics of Computation},
  volume={70},
  number={236},
  pages={1719--1736},
  Xissn={0025-5718},
  year={2001},
  publisher=theams,
}
@article{ferguson1999analysis,
  title={Analysis of {PSLQ}, an integer relation finding algorithm},
  author={Ferguson, H. R. P. and Bailey, D. H. and Arno, S.},
  journal={Mathematics of Computation},
  volume={68},
  number={225},
  pages={351--369},
  issn={0025-5718},
  year={1999},
  publisher=theams,
}
@TECHREPORT{Ferguson91apolynomial,
    author = {Helaman R. P. Ferguson and David H. Bailey},
    title = {A Polynomial Time, Numerically Stable Integer Relation Algorithm},
    OPTinstitution = {},
    number = {RNR-91-032},
    year = {1991}
}
@TechReport{scscp-,
  author =	 {S. Freundt and P. Horn and A. Konovalov and
                  S. Linton and D. Roozemond},
  title =	 {Symbolic Computation Software Composability Protocol
                  (SCSCP) specification, Version 1.3},
  OPTinstitution ={},
  year =	 {2009},
  OPTkey =	 {},
  OPTtype =	 {},
  OPTnumber =	 {},
  OPTaddress =	 {},
  OPTmonth =	 {},
  OPTnote =	 {},
  url =		 {http://www.symbolic-computation.org/scscp},
  OPTannote =	 {}
}

@book{ebbinghaus1992zahlen,
  title =	 {Zahlen},
  author =	 {Ebbinghaus, H.-D. and Hermes, H. and Hirzebruch,
                  F. and Koecher, M. and Mainzer, K. and Neukirch,
                  J. and Prestel, A. and Remmert, R. and Lamotke, K.},
  isbn =	 {3540556540},
  year =	 {1992},
  edition =	 {third},
  publisher =	 s-v
}

@conference{burton1981executing,
  title =	 {Executing functional programs on a virtual tree of
                  processors},
  author =	 {Burton, F. W. and Sleep, M. R.},
  booktitle =	 {Proceedings of the 1981 conference on functional
                  programming languages and computer architecture},
  pages =	 {187--194},
  isbn =	 {0897910605},
  year =	 {1981},
  organization = theacm,
}
@conference{knopp1996workpool,
  title =	 {A Workpool Model for Parallel Computing},
  author =	 {Knopp, J. and Reich, M.},
  booktitle =	 {Workshop on High-Level Programming Models and
                  Supportive Environments},
  year =	 {1996},
  organization = {IEEE Computer Press}
}
@article{cybenko1989dynamic,
  title =	 {Dynamic load balancing for distributed memory
                  multiprocessors},
  author =	 {Cybenko, G.},
  journal =	 {Journal of parallel and distributed computing},
  volume =	 {7},
  number =	 {2},
  pages =	 {279--301},
  issn =	 {0743-7315},
  year =	 {1989},
  publisher =	 {Elsevier}
}
@conference{kesseler95constructing,
  title =	 {Constructing skeletons in {Clean}: the bare bones},
  author =	 {Kesseler, Marco},
  booktitle =	 {HPFC'95 --- Proceedings of High Performance
                  Functional Computing},
  pages =	 {182--192},
  year =	 {1995},
  OPTorganization ={Citeseer}
}

@conference{chitil2006promoting,
  title =	 {Promoting non-strict programming},
  author =	 {Chitil, O.},
  booktitle =	 {IFL 2006 --- Draft Proceedings of the 18\th
                  International Symposium on Implementation and
                  Application of Functional Languages},
  pages =	 {512--516},
  year =	 {2006},
  OPTorganization ={Citeseer},
  publisher =	 {Eotvos Lorand University},
}
@article{wray-non-strict,
	OPTAddress = {NEW YORK},
	Author = {Wray, S. C. and Fairbairn, J.},
	Author-Address = {UNIV CAMBRIDGE,COMP LAB,CAMBRIDGE CB2 3QG,ENGLAND.},
	Cited-Reference-Count = {23},
	Date-Added = {2010-11-18 14:38:47 +0100},
	Date-Modified = {2010-11-18 14:39:36 +0100},
	Document-Type = {Article},
	Isi = {ISI:A1989U144600006},
	Isi-Document-Delivery-Number = {U1446},
	Iso-Source-Abbreviation = {Comput. J.},
	Xissn = {0010-4620},
	Journal = {Computer Journal},
	Language = {English},
	OPTMonth = {Apr},
	Number = {2},
	Page-Count = {10},
	Pages = {142--151},
	Publication-Type = {J},
	Publisher = {Cambridge Univ.\ Press},
	Publisher-Address = {40 WEST 20TH STREET, NEW YORK, NY 10011-4211},
	Read = {1},
	Reprint-Address = {WRAY, SC, OLIVETTI RES LTD,24A TRUMPINGTON ST,CAMBRIDGE CB2 1QA,ENGLAND.},
	Source = {COMPUT J},
	Subject-Category = {Computer Science, Hardware & Architecture; Computer Science, Information Systems; Computer Science, Software Engineering},
	Times-Cited = {11},
	Title = {NON-STRICT LANGUAGES --- PROGRAMMING AND IMPLEMENTATION},
	Volume = {32},
	Year = {1989}}

@book{ribenboim2004little,
  title={The little book of bigger primes},
  author={Ribenboim, P.},
  isbn={0387201696},
  year={2004},
  publisher=s-v
}
@book{yan2002number,
  title={Number theory for computing},
  author={Yan, S. Y. and Hellman, M. E.},
  isbn={3540430725},
  year={2002},
  publisher=s-v,
}

@book{koblitz1994course,
  title={A course in Number Theory and Cryptography},
  author={Koblitz, N.},
  isbn={0387942939},
  year={1994},
  publisher=s-v,
}
@book{stein2009elementary,
  title =	 {Elementary number theory: primes, congruences, and
                  secrets. A computational approach},
  author =	 {Stein, W.},
  isbn =	 {0387855246},
  Xissn =	 {0172-6056},
  year =	 {2009},
  publisher =	 s-v,
}
@conference{coutts2007stream,
  title =	 {Stream fusion: From lists to streams to nothing at
                  all},
  author =	 {Coutts, D. and Leshchinskiy, R. and Stewart, D.},
  booktitle =	 {ICFP 2007 --- Proceedings of the 12\th {ACM SIGPLAN}
                  international conference on functional programming},
  pages =	 {315--326},
  year =	 {2007},
  organization = theacm,
}

@ARTICLE{gustafson88reevaluating,
  author =	 {John L. Gustafson},
  title =	 {Reevaluating {Amdahl's} Law},
  journal =	 {Communications of the ACM},
  year =	 {1988},
  volume =	 {31},
  pages =	 {532--533},
  publisher =	 theacm,
}
@techreport{Asanovic:EECS-2006-183-,
  FullAuthor =	 {Asanovic, Krste and Bodik, Ras and Catanzaro, Bryan
                  Christopher and Gebis, Joseph James and Husbands,
                  Parry and Keutzer, Kurt and Patterson, David A. and
                  Plishker, William Lester and Shalf, John and
                  Williams, Samuel Webb and Yelick, Katherine A.},
  Author =	 {Asanovic, Krste and Bodik, Ras and others},
  Title =	 {The Landscape of Parallel Computing Research: A View
                  from {Berkeley}},
  Institution =	 {EECS Department, University of California, Berkeley},
  Year =	 {2006},
  OPTMonth =	 {Dec},
  optURL =
                  {http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-183.html},
  Number =	 {UCB/EECS-2006-183}
}
@article{jarvis2006performance,
  title={Performance prediction and its use in parallel and distributed computing systems},
  author={Jarvis, S. A. and Spooner, D. P. and Lim Choi Keung, H. N. and Cao, J. and Saini, S. and Nudd, G. R.},
  journal={Future Generation Computer Systems},
  volume={22},
  number={7},
  pages={745--754},
  year={2006},
  publisher={Elsevier},
  mykeywords={PACE, scheduler}
}

@InBook{aldinucci-assist,
  author={Aldinucci, M. and Coppola, M. and Vanneschi, M. and Zoccolo, C. and Danelutto, M.},
  title={Grid Computing: Software environments and Tools},
  chapter={{ASSIST} as a research framework for high-performance Grid programming environments},
  pages={230--256},
  publisher={Springer},
  year = {2006}
}

@INPROCEEDINGS{Benoit04evaluatingthe-,
    author = {Anne Benoit and Murray I. Cole and Stephen Gilmore and Jane Hillston},
    title = {Evaluating the performance of skeleton-based high level parallel programs},
    booktitle = {ICCS 2004 --- The International Conference on Computational Science, Part III},
    series = {LNCS 3038},
    year = {2004},
    pages = {299--306},
    publisher = s-v
}
@article{cole2002static-,
  title={Static performance prediction of skeletal programs},
  author={Cole, M. I. and Hayashi, Y.},
  journal={Parallel Algorithms and Applications},
  volume={17},
  number={1},
  pages={59--84},
  year={2002}
}
@conference{darlington93parallel,
  title={Parallel programming using skeleton functions},
  author={Darlington, J. and Field, A. and Harrison, P. and Kelly, P. and Sharp, D. and Wu, Q. and While, R.},
  booktitle={PARLE'93 --- Parallel Architectures and Languages Europe},
  pages={146--160},
  organization={Springer},
  mycomment={Cole says, this describes the farm skeleton}
}
@article{zavanella2001skeletons-,
  title={Skeletons, {BSP} and performance portability},
  author={Zavanella, A.},
  journal={Parallel Processing Letters},
  volume={11},
  number={4},
  pages={393--407},
  year={2001},
  publusher = {World Scientific Publishing Company},
}
@article{bacci1999skeletons-,
  title={Skeletons and Transformations in an Integrated Parallel Programming Environment},
  author={Bacci, B. and Gorlatch, S. and Lengauer, C. and Pelagatti, S.},
  journal={Parallel Computing Technologies},
  pages={760--760},
  year={1999},
  publisher={Springer}
}
@incollection{bacci1999skeletons,
year={1999},
isbn={978-3-540-66363-8},
booktitle={Parallel Computing Technologies},
volume={1662},
series={Lecture Notes in Computer Science},
editor={Malyshkin, Victor},
doi={10.1007/3-540-48387-X_2},
title={Skeletons and Transformations in an Integrated Parallel Programming Environment},
Xurl={http://dx.doi.org/10.1007/3-540-48387-X_2},
Xpublisher={Springer Berlin Heidelberg},

author={Bacci, Bruno and Gorlatch, Sergei and Lengauer, Christian and Pelagatti, Susanna},
  publisher = 	 s-v,
pages={13--27},
language={English}
}

@article{geimer2010scalasca--,
  title={The {Scalasca} performance toolset architecture},
  author={Geimer, M. and Wolf, F. and Wylie, B. J. N. and {\'A}brah{\'a}m, E. and Becker, D. and Mohr, B.},
  journal={Concurrency and Computation: Practice and Experience},

license: MIT

repository: Parrows/Parrows

license_type: permissive

repo_name: Parrows/Parrows

branch_name: refs/heads/master

extension: bib