text:
agnetic Resonance Imaging;Models, Anatomic;Models, Biological;Pattern Recognition, Automated;Principal Component Analysis;Radiography, Abdominal;Reproducibility of Results;Tomography, X-Ray Computed},
doi={10.1109/TMI.2011.2180920},
ISSN={0278-0062},}

@article{elastic-1.3560879,
   author = "Chappelow, Jonathan and Bloch, B. Nicolas and Rofsky, Neil and Genega, Elizabeth and Lenkinski, Robert and DeWolf, William and Madabhushi, Anant",
   title = "Elastic registration of multimodal prostate {MRI} and histology via multiattribute combined mutual information",
   longjournal = "Medical Physics",
   year = "2011",
   journal = 	 {Med.\ Phys.},
   volume = "38",
   number = "4",
   eid = "",
   pages = "2005--2018",
   OPTurl = "http://scitation.aip.org/content/aapm/journal/medphys/38/4/10.1118/1.3560879",
   doi = "10.1118/1.3560879"
}

@article{Park20081027,
title = "Registration Methodology for Histological Sections and In Vivo Imaging of Human Prostate ",
journal = "Academic Radiology ",
volume = "15",
number = "8",
pages = "1027--1039",
year = "2008",
OPTnote = "",
issn = "1076-6332",
doi = "10.1016/j.acra.2008.01.022",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S1076633208000846",
author = "Hyunjin Park and Morand R. Piert and Asra Khan and Rajal Shah and Hero Hussain and Javed Siddiqui and Thomas L. Chenevert and Charles R. Meyer",
keywords = "Registration of prostate",
keywords = "registration of histology",
keywords = "staging of prostate cancer",
keywords = "mutual information",
keywords = "thin-plate splines "
}

@article{Kim199731,
title = "Mutual Information for Automated Unwarping of Rat Brain Autoradiographs ",
journal = "NeuroImage ",
volume = "5",
number = "1",
pages = "31--40",
year = "1997",
OPTnote = "",
issn = "1053-8119",
doi = "10.1006/nimg.1996.0251",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S1053811996902517",
author = "Boklye Kim and Jennifer L. Boes and Kirk A. Frey and Charles R. Meyer"
}

@article{WellsIII199635,
title = "Multi-modal volume registration by maximization of mutual information ",
longjournal = "Medical Image Analysis ",
journal = "Med.\ Image Anal.",
volume = "1",
number = "1",
pages = "35---51",
year = "1996",
note = "",
issn = "1361-8415",
doi = "10.1016/S1361-8415(01)80004-9",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S1361841501800049",
author = "Wells, III, William M. and Paul Viola and Hideki Atsumi and Shin Nakajima and Ron Kikinis",
keywords = "information theory",
keywords = "multi-modality volume registration",
keywords = "mutual information "
}

@ARTICLE{959301,
author={Roche, A. and Pennec, X. and Malandain, G. and Ayache, N.},
longjournal={Medical Imaging, IEEE Transactions on},
journal = {IEEE T.\ Med.\ Imaging},
title={Rigid registration of {3-D} ultrasound with {MR} images: a new approach combining intensity and gradient information},
year={2001},
OPTmonth={Oct},
volume={20},
number={10},
pages={1038--1049},
keywords={biomedical MRI;biomedical ultrasonics;errors;image registration;image resolution;medical image processing;optimisation;3-D ultrasound;MR image resolution;MR images;automatic registration;clinical data;gradient information;intensity information;intraoperative three-dimensional ultrasound;medical diagnostic imaging;preoperative magnetic resonance images;registration errors;rigid registration;similarity measure maximization;Chromium;Computed tomography;Feature extraction;Imaging phantoms;Magnetic resonance;Magnetic resonance imaging;Probes;Robustness;Ultrasonic imaging;Ultrasonic variables measurement;Algorithms;Brain;Echoencephalography;Humans;Image Interpretation, Computer-Assisted;Imaging, Three-Dimensional;Infant;Magnetic Resonance Imaging;Neurosurgical Procedures;Phantoms, Imaging;Time Factors},
doi={10.1109/42.959301},
ISSN={0278-0062},}

@article{Jenkinson2001143,
title = "A global optimisation method for robust affine registration of brain images ",
longjournal = "Medical Image Analysis ",
journal = "Med.\ Image Anal.",
volume = "5",
number = "2",
pages = "143--156",
year = "2001",
OPTnote = "",
issn = "1361-8415",
doi = "http://dx.doi.org/10.1016/S1361-8415(01)00036-6",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S1361841501000366",
author = "Mark Jenkinson and Stephen Smith",
keywords = "Affine transformation",
keywords = "Global optimisation",
keywords = "Multimodal registration",
keywords = "Multi-resolution search",
keywords = "Robustness "
}

@article{Malandain2004111,
title = "Fusion of autoradiographs with an {MR} volume using {2-D} and {3-D} linear transformations ",
journal = "NeuroImage ",
volume = "23",
number = "1",
pages = "111--127",
year = "2004",
OPTnote = "",
issn = "1053-8119",
doi = "http://dx.doi.org/10.1016/j.neuroimage.2004.04.038",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S1053811904002423",
origauthor = "Malandain, Grégoire and Bardinet,'Éric  and Koen Nelissen and Wim Vanduffel",
author = "Malandain, Grégoire and Bardinet, \'{E}ric and Koen Nelissen and Wim Vanduffel",
keywords = "Histology",
keywords = "Autoradiography",
keywords = "Mortem "
}

@ARTICLE{1242350,
author={Gefen, S. and Tretiak, O. and Nissanov, J.},
longjournal={Medical Imaging, IEEE Transactions on},
journal = {IEEE T.\ Med.\ Imaging},
title={Elastic {3-D} alignment of rat brain histological images},
year={2003},
OPTmonth={Nov},
volume={22},
number={11},
pages={1480--1489},
keywords={biological tissues;biomechanics;brain models;elastic deformation;image registration;medical image processing;partial differential equations;wavelet transforms;adaptive distance map reduce algorithm complexity;deformation field;elastic 3-D alignment;elastic body model;external anatomic brain structures;internal anatomic brain structures;multiresolution wavelet expansion;nonlinear registration;partial differential equations;rat brain histological images;three-dimensional wavelet-based algorithm;Anatomy;Application software;Biomedical imaging;Brain mapping;Brain modeling;Computer vision;Deformable models;Elasticity;Image registration;Partial differential equations;Anatomy, Cross-Sectional;Animals;Brain;Elasticity;Image Interpretation, Computer-Assisted;Imaging, Three-Dimensional;Rats;Reproducibility of Results;Sensitivity and Specificity;Subtraction Technique},
doi={10.1109/TMI.2003.819280},
ISSN={0278-0062},}

@article{eliceiri2012biological,
  title={Biological imaging software tools},
  author={Eliceiri, Kevin W and Berthold, Michael R and Goldberg, Ilya G and Ib{\'a}{\~n}ez, Luis and Manjunath, Bangalore S and Martone, Maryann E and Murphy, Robert F and Peng, Hanchuan and Plant, Anne L and Roysam, Badrinath and others},
  longjournal={Nature methods},
  journal = 	 {Nat.\ Methods},
  volume={9},
  number={7},
  pages={697--710},
  year={2012},
  OPTpublisher={Nature Publishing Group}
}

@ARTICLE{1453511,
author={Peng, H. and Fulmi Long and Ding, C.},
journal={Pattern Analysis and Machine Intelligence, IEEE Transactions on},
title={Feature selection based on mutual information criteria of max-dependency, max-relevance, and min-redundancy},
shortjournal = 	 {IEEE T.\ Pattern Anal.\ Mach.\ Intell.},
year={2005},
OPTmonth={Aug},
volume={27},
number={8},
pages={1226--1238},
keywords={feature extraction;pattern classification;statistical analysis;arrhythmia;cancer cell lines;first-order incremental feature selection;handwritten digits;linear discriminate analysis;lymphoma tissues;maximal statistical dependency criterion;minimal-redundancy-maximal-relevance criterion;mutual information criteria;naive Bayes;pattern classification systems;support vector machine;Algorithm design and analysis;Cancer;Costs;Diversity reception;Mutual information;Pattern classification;Performance analysis;Redundancy;Support vector machine classification;Support vector machines;Index Terms- Feature selection;classification.;maximal dependency;maximal relevance;minimal redundancy;mutual information;Algorithms;Artificial Intelligence;Cluster Analysis;Computer Simulation;Diagnosis, Computer-Assisted;Humans;Information Storage and Retrieval;Models, Statistical;Neoplasms;Numerical Analysis, Computer-Assisted;Pattern Recognition, Automated},
doi={10.1109/TPAMI.2005.159},
ISSN={0162-8828},}

@inproceedings{doi:10.1117/12.534110,
author = {Wirtz, Stefan and Fischer, Bernd and Modersitzki, Jan and Schmitt, Oliver},
title = {Superfast elastic registration of histologic images of a whole rat brain for {3D} reconstruction},
badjournal = {Proc. SPIE},
badvolume = {5370},
badnumber = {},
series = {Proc.\ SPIE 5370},
pages = {328--334},
abstract = {We present a super-fast and parameter-free algorithm for non-rigid elastic registration of images of a serially sectioned whole rat brain. The purpose is to produce a three-dimensional high-resolution reconstruction. The registration is modelled as a minimization problem of a functional consisting of a distance measure and a regularizer based on the elastic potential of the displacement field. The minimization of the functional leads to a system of non-linear partial differential equations, the so-called Navier-Lame equations (NLE). Discretization of the NLE and a fixed point type iteration method lead to a linear system of equations, which has to be solved at each iteration step. We not only present a super-fast solution technique for this system, but also come up with sound strategies for accelerating the outer iteration. This does include a multi-scale approach based on a Gaussian pyramid as well as a clever estimation of the material constants for the elastic potential. The results of the registration process were controlled by an expert who was able to recognize histological details like laminations which was not possible before. Therefore, it is essential to apply elastic registration to this kind of imaging problem. Finally, the visually pleasing results were quantified by a distance measure leading to an improvement of about 79% after just 35 iteration steps.},
year = {2004},
doi = {10.1117/12.534110},
OPTURL = { http://dx.doi.org/10.1117/12.534110},
eprint = {}
}

@inproceedings{doi:10.1117/12.595246,
author = {Wirtz, Stefan and Papenberg, Nils and Fischer, Bernd and Schmitt, Oliver},
title = {Robust and staining-invariant elastic registration of a series of images from histologic slices},
series = {Proc.\ SPIE 5747},
Xbooktitle = {Proc. SPIE},
badvolume = {5747},
badnumber = {},
pages = {1256--1262},
abstract = {In image registration of medical data a common and challenging problem is handling intensity-inhomogeneities. These  inhomogeneities appear for instance in images of serially sectioned brains caused by the histological staining process or in medical imaging with contrast agents. Beneath this, natural outliers (for instance cells or vessels) produced by the underlying material itself may be mistaken as noise. Both image registration applications have in common that the well known sum of squared differences (SSD) measure would detect false differences. To deal with these kinds of problems, we supplement the common SSD-measure with image derivatives of higher order. Additionally we introduce a non-quadratic penalizer function to the distance measure leading to robust energy. The concepts are well known in optical flow. Overall, we present a variational model which combines all of these properties. This formulation leads to a fast and efficient algorithm. We demonstrate its applicability at the problems described above.},
year = {2005},
doi = {10.1117/12.595246},
OPTURL = { http://dx.doi.org/10.1117/12.595246},
eprint = {}
}

@article{Nikou200393,
title = "A robust statistics-based global energy function for the alignment of serially acquired autoradiographic sections ",
longjournal = "Journal of Neuroscience Methods ",
journal = "J.\ Neurosci.\ Methods",
volume = "124",
number = "1",
pages = "93--102",
year = "2003",
OPTnote = "",
issn = "0165-0270",
doi = "http://dx.doi.org/10.1016/S0165-0270(02)00369-2",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S0165027002003692",
author = "Christophoros Nikou and Fabrice Heitz and Astrid Nehlig and Izzie Jacques Namer and Jean-Paul Armspach",
keywords = "Serially acquired images",
keywords = "Alignment",
keywords = "Image registration",
keywords = "Pixel similarity measure",
keywords = "Robust estimation",
keywords = "Three dimensional reconstruction",
keywords = "Autoradiography "
}

@ARTICLE{908967,
author={Guest, E. and Berry, E. and Baldock, R.A. and Fidrich, M. and Smith, M.A.},
longjournal={Pattern Analysis and Machine Intelligence, IEEE Transactions on},
journal = 	 {IEEE T.\ Pattern Anal.\ Mach.\ Intell.},
title={Robust point correspondence applied to two- and three-dimensional image registration},
year={2001},
OPTmonth={Feb},
volume={23},
number={2},
pages={165--179},
keywords={image registration;medical image processing;stability;2D elastic registration algorithm;3D rigid registration algorithm;CSM;biological applications;image registration;medical applications;movement sensitivity;postoperative facial range scans;preoperative facial range scans;registration transformation;reliability measure;robust point correspondence;serial section warping;Biomedical imaging;Biomedical measurements;Cost function;Helium;Image matching;Image reconstruction;Image registration;Robustness;Surface reconstruction;Surgery},
doi={10.1109/34.908967},
ISSN={0162-8828},}

@article{Besl:1992:MRS:132013.132022,
 author = {Besl, Paul J. and McKay, Neil D.},
 title = {A Method for Registration of {3-D} Shapes},
 journal = {IEEE T.\ Pattern Anal.\ Mach.\ Intell.},
 issue_date = {February 1992},
 volume = {14},
 number = {2},
 OPTmonth = feb,
 year = {1992},
 issn = {0162-8828},
 pages = {239--256},
 numpages = {18},
 OPTurl = {http://dx.doi.org/10.1109/34.121791},
 doi = {10.1109/34.121791},
 acmid = {132022},
 longpublisher = {IEEE Computer Society},
 publisher = {IEEE},
 OPTaddress = {Washington, DC, USA},
 keywords = {3D shape registration, computational geometry, convergence, convergence of numerical methods, geometric entity, geometric model, iterative closest point, iterative methods, mean-square distance metric, optimisation, pattern recognition, picture processing, point set registration},
}

@article{Ju200684,
title = "{3D} volume reconstruction of a mouse brain from histological sections using warp filtering ",
journal = "Journal of Neuroscience Methods ",
Xjournal = "J.\ Neurosci.\ Methods",
volume = "156",
number = "1--2",
pages = "84--100",
year = "2006",
OPTnote = "",
issn = "0165-0270",
doi = "http://dx.doi.org/10.1016/j.jneumeth.2006.02.020",
OPTurl = "http://www.sciencedirect.com/science/article/pii/S0165027006001282",
author = "Tao Ju and Joe Warren and James Carson and Musodiq Bello and Ioannis Kakadiaris and Wah Chiu and Christina Thaller and Gregor Eichele",
keywords = "3D reconstruction",
keywords = "Filtering",
keywords = "Image warping",
keywords = "Dynamic programming",
keywords = "Histology "
}

@article{Pomerleau12comp,
    author = {Pomerleau, Fran{\c c}ois and Colas, Francis and Siegwart, Roland and Magnenat, St{\'e}phane},
    title = {Comparing {ICP} Variants on Real-World Data Sets},
    longjournal = {Autonomous Robots},
    journal = 	 {Auton.\ Robot},
    year = {2013},
    volume = {34},
    number = {3},
    pages = {133--148},
    month = feb
}

@InProceedings{isosurface-paper-,
  author = 	 {\emph{Redacted for review}},
  title = 	 {Parallel iso-surface extraction and simplification},
  OPTcrossref =  {},
  key =		 {Red14},
  booktitle =	 {Redacted for review},
  OPTpages = 	 {},
  year =	 {2014},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InProceedings{isosurface-paper,
  author = 	 {Ch. Ulrich and N. Grund and E. Derzapf and O. Lobachev and M. Guthe},
  title = 	 {Parallel iso-surface extraction and simplification},
  OPTcrossref =  {},
  OPTkey =		 {Red14},
  booktitle =	 {WSCG Communications proceedings},
  OPTpages = 	 {},
  year =	 {2014},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@MISC{HsCommReport,
  author = {Andres L{\"o}h (ed.)},
  title = {The Haskell Communities and Activities Report},
  howpublished = {Website, \url{http://haskell.org/communities/}},
  month = {June},
  year = {2006},
  date-modified = {2010-05-07 20:48:01 +0200}
}

@ARTICLE{-fast,
  author = {--{\"o}--{\ae}---{\AA}, {\c{C}}--{\"o}},
  title = {{A Fast Algorithm for Mixed-Radix Conversion in Residue Arithmetic}}
}

@CONFERENCE{-systolic,
  author = {--{\"o}--{\ae}---{\AA}, {\c{C}}--{\"o} and Cappello, P.R.},
  title = {{Systolic arrays for integer Chinese remaindering}},
  booktitle = {Proceedings, 9\th Symposium on Computer Arithmetic},
  pages = {216--223}
}

@ARTICLE{matiyasevich1977primes-enum,
  author = {--{\'u}--∞---{\c C}--∏---{\`e}---{\AA}--µ--≤--∏---{\'a},
	--{\AE}.~--{\'\i}.},
  title = {{--{\"u}---{\"A}--{\ae}---{\AA}---{\c C}---{\~a}--µ ---{\'a}--∏---{\AA}--ª--∞
	--{\o}--µ---{\"A}--µ---{\'a}--∏---{\AA}--ª---{\`e}---{\'e}---{\c
	C}---{\AA}---{\`e} --{\o}--{\ae}--ª--∏--Ω--{\ae}--º--{\ae}--º
	--{\ae}---{\c C} 10~--{\o}--µ---{\"A}--µ--º--µ--Ω--Ω---{\~a}---{\"O}}},
  journal = {--{\'o}--∞--{\o}--∏---{\AA}--∫--∏ --Ω--∞---{\'E}---{\'a}--Ω---{\~a}---{\"O}
	---{\AA}--µ--º--∏--Ω--∞---{\"A}--{\ae}--≤ --{\"u}--{\^u}--{\'u}--{\`o}},
  year = {1977},
  volume = {68},
  pages = {62--82},
  number = {0},
  publisher = {Russian Academie of Sciences}
}

@conference{abdali-experiments,
  author = {Abdali, S. and Wise, D.},
  title = {Experiments with quadtree representation of matrices},
  booktitle = {Symbolic and Algebraic Computation},
  pages = {96--108},
  year={1989},
  publisher = S-V
}

@INPROCEEDINGS{ph-rep-,
  author = {Aditya and Shail and Arvind and Augustsson and Lennart and Maessen
	and Jan--Willem and Nikhil and Rishiyur S.},
  title = {{S}emantics of p{H}: {A} {P}arallel {D}ialect of {H}askell},
  booktitle = {Proc. Haskell Workshop, La Jolla, {CA} {USA}},
  year = {1995},
  editor = {Hudak, Paul},
  pages = {35--49},
  month = {June},
  optkey = {#shail95semantics#},
  opturl = {citeseer.ist.psu.edu/aditya95semantics.html}
}

@ARTICLE{adleman1983distinguishing,
  author = {Adleman, L. M. and Pomerance, C. and Rumely, R. S.},
  title = {On distinguishing prime numbers from composite numbers},
  journal = {Annals Of Mathematics},
  year = {1983},
  volume = {117},
  pages = {173--206},
  number = {1},
  publisher = {Annals of Mathematics}
}

@INPROCEEDINGS{agarwal1994high,
  author = {Agarwal, R. C. and Gustavson, F. G. and Zubair, M.},
  title = {A High Performance Parallel Algorithm for {1-D} {FFT}},
  booktitle = {Proc. Supercomputing},
  year = {1994},
  pages = {34},
  publisher = {IEEE Computer Society}
}

@ARTICLE{agrawal2004primes,
  author = {Agrawal, M. and Kayal, N. and Saxena, N.},
  title = {{PRIMES is in P}},
  journal = {Annals of Mathematics--Second Series},
  year = {2004},
  volume = {160},
  pages = {781},
  number = {2},
  publisher = {Citeseer}
}

@PHDTHESIS{Alt07,
  author = {Martin Alt},
  title = {Using Algorithmic Skeletons for Efficient Grid Computing with Predictable
	Performance},
  school = {Universit\"at M\"unster},
  year = {2007},
  month = {July},
  bdsk-url-1 = {http://wwwmath.uni-muenster.de/pvs/publikationen/papers/AltDiss.pdf},
  Xurl = {http://wwwmath.uni-muenster.de/pvs/publikationen/papers/AltDiss.pdf}
}

@ARTICLE{AlGo04a,
  author = {Alt, Martin and Gorlatch, Sergei},
  title = {Adapting {Java} {RMI} for grid computing},
  journal = {Future Generation Computer Systems},
  year = {2005},
  volume = {21},
  pages = {699--707},
  number = {5},
  address = {Amsterdam, The Netherlands, The Netherlands},
  bdsk-url-1 = {http://dx.doi.org/10.1016/j.future.2004.05.010},
  Xdoi = {http://dx.doi.org/10.1016/j.future.2004.05.010},
  Xissn = {0167-739X},
  publisher = {Elsevier Science Publishers B. V.},
  abbrjournal = {Future Gener Comp Sy}
}

@INPROCEEDINGS{AlGo03a,
  author = {Martin Alt and Sergei Gorlatch},
  title = {{F}uture-{B}ased {RMI}: Optimizing Compositions of Remote Method
	Calls on the {G}rid},
  booktitle = {Euro-Par~2003},
  year = {2003},
  series = {LNCS 2790},
  pages = {682-693},
  month = aug,
  publisher = S-V,
  editor = {Harald Kosch and L{\'a}szl{\'o} B{\"o}sz{\"o}rm{\'e}nyi and Hermann
	Hellwagner},
  xseries = {Lecture Notes in Computer Science},
  xvolume = {2790}
}

@INPROCEEDINGS{Amdahl,
  author = {Amdahl, Gene M.},
  title = {Validity of the single processor approach to achieving large scale
	computing capabilities},
  booktitle = {Proc.\ AFIPS 1967 Spring Joint Computer Conference},
  year = {1967},
  pages = {483--485},
  organization = theacm,
}

@CONFERENCE{amdahl1967validity-,
  author = {Amdahl, G. M.},
  title = {{Validity of the single processor approach to achieving large scale
	computing capabilities}},
  booktitle = {Proc. of the spring joint computer conf.},
  year = {1967},
  organization = theacm,
  optpages = {483--485}
}

@CONFERENCE{amrhein1996case,
  author = {Amrhein, B. and Gloor, O. and K{\"u}chlin, W.},
  title = {A case study of multi-threaded {Gr{\"o}bner} basis completion},
  booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic
	Computation},
  year = {1996},
  pages = {102ff},
  organization = theacm
}

@BOOK{lapack,
  title = {{LAPACK Users' guide}},
  publisher = {Society for Industrial Mathematics},
  year = {1999},
  author = {Anderson, E. and Bai, Z. and Bischof, C. and Blackford,
                  S. and Demmel, J. and Dongarra, J. and Du Croz,
                  J. and Greenbaum, A. and Hammarling, S. and
                  McKenney, A. and others}
}

@PHDTHESIS{arjona2000architectural,
  author = {Arjona, J. L. O.},
  title = {Architectural Patterns for Parallel Programming},
  school = {University College London},
  year = {2000}
}

@INPROCEEDINGS{arjona98architectural,
  author = {Arjona, J. L. O. and Roberts, G. and Street, G.},
  title = {Architectural Patterns for Parallel Programming},
  booktitle = {Proceedings of EuroPLoP},
  year = {1998}
}

@BOOK{erlang-book-new,
  title = {Programming Erlang},
  publisher = {The Pragmatic Programmers, LLC},
  year = {2007},
  author = {Joe Armstrong}
}

@ARTICLE{arnold2003modular,
  author = {Arnold, E. A.},
  title = {{Modular algorithms for computing {Gr\"{o}bner} bases}},
  journal = {Journal of Symbolic Computation},
  year = {2003},
  volume = {35},
  pages = {403--419},
  number = {4},
  publisher = {Elsevier}
}

@ARTICLE{attardi1996strategy,
  author = {Attardi, G. and Traverso, C.},
  title = {Strategy-accurate parallel {Buchberger} algorithms},
  journal = {Journal of Symbolic Computation},
  year = {1996},
  volume = {21},
  pages = {411--426},
  number = {4},
  optpublisher = {Citeseer}
}

@MISC{haskellformath,
  author = {David {A}mos},
  title = {{H}askell for {M}ath program},
  howpublished = {Website \url{http://www.polynomino.f2s.com/david/haskell/codeindex.html}},
  optmonth = {August},
  year = {2007},
  note = {Retrieved 2.8.2007}
}

@TECHREPORT{anderson-buffer-overflow,
  author = {James P. {A}nderson},
  title = {Computer Security Technology Planning Study},
  institution = {Deputy for Command and Managment Systems, HQ Electronic Systems Division
	(AFSC)},
  year = {1972},
  month = {October},
  annote = {ESD--TR--73--51, Volume 2}
}

@TECHREPORT{arvind-critique-neumann,
  author = {{A}rvind and Robert A. {I}anucci},
  title = {A Critique of Multiprocessing von {N}eumann Style},
  institution = {Computation Structures Group, Massachusetts Institute of Technology},
  year = {1983},
  month = {April},
  note = {Memo~226--6}
}

@ARTICLE{bailey2005high,
  author = {Bailey, D. H.},
  title = {High-precision floating-point arithmetic in scientific computation},
  journal = {Computing in Science \& Engineering},
  year = {2005},
  volume = {7},
  pages = {54--61},
  number = {3},
  date-added = {2010-05-07 20:51:05 +0200},
  date-modified = {2010-05-07 20:51:23 +0200}
}

@BOOK{baldoni2008elementary,
  title = {{Elementary Number Theory, Cryptography and Codes}},
  publisher = S-V,
  year = {2008},
  author = {Baldoni, M. W. and Ciliberto, C. and Cattaneo, G. M. P.}
}

@BOOK{groovy,
  title = {Groovy Programming: An Introduction for Java Developers},
  publisher = {Morgan Kaufmann Publishers Inc. San Francisco, CA, USA},
  year = {2006},
  author = {Kenneth Barclay and John Savage}
}

@MANUAL{pari-gp,
  title = {User's Guide to {PARI/GP}},
  author = {C. Batut and K. Belabas and D. Bernardi and H. Cohen and M. Olivier},
  organization = {Universite Bordeaux I},
  edition = {Version 2.3.2},
  year = {2006},
  note = {\url{http://pari.math.u\--bor\-deaux.fr/pub/pari/ma\-nu\-als/2.3.2/us\-ers.ps.gz}},
  optmonth = {August}
}

@BOOK{becker1993groebner,
  title = {{Gr\"{o}bner} bases: a computational approach to commutative algebra},
  publisher = S-V,
  year = {1993},
  author = {Becker, Thomas and Weispfenning, Volker and Kredel, Heinz}
}

@MISC{ESkel,
  author = {Anne Benoit and Murray Cole},
  title = {{eSkel -- The Edinburgh Skeleton Library}},
  year = {2002},
  url = {http://homepages.inf.ed.ac.uk/abenoit1/eSkel/}
}

@ARTICLE{beno,
  author = {M. O. Benouamer and D. Michelucci and B. Peroche},
  title = {Error-free boundary evaluation based on a lazy rational arithmetic:
	a detailed implementation},
  journal = {Computer Aided Design},
  year = {1994},
  volume = {26},
  pages = {403--416},
  number = {6}
}

@ARTICLE{par-quadtrees,
  author = {Marshall Bern and David Eppstein and Shang-Hua Teng},
  title = {PARALLEL CONSTRUCTION OF QUADTREES AND QUALITY TRIANGULATIONS},
  journal = {International Journal of Computational Geometry \& Applications},
  year = {1997}
}

@MISC{Bernstein_multidigitmultiplication_preprint,
  author = {Daniel J. Bernstein},
  title = {Multidigit Multiplication For Mathematicians}
}

@misc{bernstein2001multidigit,
  author = {Bernstein, D. J.},
  title = {Multidigit multiplication for mathematicians},
  journal = {Advances In Applied Mathematics},
  optnote = {submitted and accepted to aam, but withdrawn by author},
  year = {2001},
  url = {http://cr.yp.to/papers/m3.pdf},
  note = {Retrieved 24.08.2010}
}

@TECHREPORT{Bernstein95multidigitmodular,
  author = {Daniel J. Bernstein},
  title = {Multidigit Modular Multiplication With The Explicit {Chinese} Remainder Theorem},
  year = {1995}
}

@INPROCEEDINGS{Eden:PAPP04,
  author = {J. Berthold},
  title = {Towards a Generalised Runtime Environment for Parallel {Haskells}},
  booktitle = {Computational Science},
  year = {2004},
  editor = {Marian {Bubak} and others},
  volume = {3038},
  number = {3},
  series = {LNCS},
  pages = {297ff},
  organization = {ICCS'04---PAPP'04},
  publisher = s-v,
  date-modified = {2010-07-09 13:56:19 +0200},
  optaddress = {Krakow, Poland},
  optnote = {{(Workshop on Practical Aspects of High-level Parallel Programming
	--- PAPP04)}},
  read = {1}
}

@INPROCEEDINGS{Eden:IFL03,
  author = {J. Berthold},
  title = {{Dynamic Chunking in Eden}},
  booktitle = {{Proceedings of IFL 2003, Heriot-Watt University, Edinburgh}},
  year = {to appear},
  editor = {Ph. Trinder and Greg Michaelson}
}

@MISC{JostThesis-,
  author = {Jost Berthold},
  title = {Explicit and Implicit Parallel Functional Programming --- Concepts
	and Implementation},
  howpublished = {Dissertation, {Philipps-Universit{\"a}t} Marburg},
  year = {2008},
  optmonth = jun
}

@PhdThesis{JostThesis,
  author =	 {Jost Berthold},
  title =	 {Explicit and Implicit Parallel Functional
                  Programming --- Concepts and Implementation},
  school =	 {Philipps-Universit\"{a}t Marburg},
  year =	 {2008},
  OPTkey =	 {},
  OPTtype =	 {},
  OPTaddress =	 {},
  OPTmonth =	 jun,
  OPTnote =	 {},
  OPTannote =	 {}
}

@INPROCEEDINGS{arcs-dc,
  author =	 {Jost Berthold and Mischa Dieterle and Oleg Lobachev
                  and Rita Loogen},
  title =	 {{Distributed Memory Programming on Many-Cores -- A
                  Case Study Using {Eden} Divide-\&-Conquer
                  Skeletons}},
  booktitle =	 {Workshop on Many-Cores at ARCS'09 -- 22\nd
                  International Conference on Architecture of
                  Computing Systems 2009},
  SHORTbooktitle ={ARCS'09},
  NOOPyear =	 {{\noopsort{a}}2009},
  year =	 {2009},
  pages =	 {47-55},
  OPTmonth =	 mar,
  OPTkey =	 {bdll-09-A},
  editor =	 {Gro\ss{}pitsch, K.-E. and Henkersdorf, A. and Uhrig,
                  S. and Ungerer, T. and H\"{a}hner, J.},
  publisher =	 {VDE-Verlag}
}

@InProceedings{Berthold2009b,
  author    = {Jost Berthold and Mischa Dieterle and Oleg Lobachev and Rita Loogen},
  title     = {Parallel {FFT} With {Eden} Skeletons},
  booktitle = {PaCT 2009: 10\xth International Conference on Parallel Computing Technologies},
  year      = {2009},
  editor    = {Malyshkin, V.},
  series    = {LNCS 5698},
  note      = {Extended version in \cite{pact-fft-extended}.},
  publisher = S-V,
  pages     = {73--83},
  badvolume = {5698},
  gernote   = {Erweiterte Version als Technischer Bericht bi2009-2, Fachbereich Mathematik und Informatik, Philipps-Universit{\"a}t Marburg 2010.},
  noopyear  = {{\noopsort{b}}2009},
  optkey    = {bdll-09-B},
  optmonth  = {#aug#},
}

@TECHREPORT{pact-fft-extended,
  author =	 {Jost Berthold and Mischa Dieterle and Oleg Lobachev
                  and Rita Loogen},
  title =	 {Parallel {FFT} With {Eden} Skeletons},
  institution =	 {Philipps-Universit{\"a}t Marburg, Fachbereich~12 --
                  Mathematik und Informatik},
  NOOPyear =	 {{\noopsort{c}}2009},
  year =	 {2009},
  OPTmonth =	 sep,
  number =	 {bi2009-2},
  volume =	 {BI},
  OPTkey =	 {bdll-09-C}
}

@INPROCEEDINGS{arcs09-old,
  author = {Jost Berthold and Mischa Dieterle and Oleg Lobachev and Rita Loogen.},
  title = {Distributed Memory Programming on Many-Cores -- A Case Study Using
	{E}den Divide-\&-Conquer Skeletons},
  booktitle = {ARCS'09},
  year = {2009},
  editor = {Gro\ss{}pitsch, K.-E. and Henkersdorf, A. and Uhrig, S. and Ungerer,
	T. and H\"{a}hner, J.},
  address = {Delft, NL},
  month = {March},
  optnote = {Delft, NL}
}

@UNPUBLISHED{ParMapReduce-,
  author = {Jost Berthold and Mischa Dieterle and Rita Loogen},
  title = {{Eden Skeletons for Parallel Map-and-Reduce}},
  note = {Draft Proceedings of the Symposium on Implementation and Application
	of Functional Languages (IFL) 08, Hertfordshire (UK)},
  month = {September},
  year = {2008}
}

@InCollection{Berthold2009-mr,
  author     = {Berthold, Jost and Dieterle, Mischa and Loogen, Rita},
  title      = {Implementing Parallel {Google} Map-Reduce in {Eden}},
  booktitle  = {Euro-Par 2009 Parallel Processing},
  year       = {2009},
  editor     = {Sips, Henk and Epema, Dick and Lin, Hai-Xiang},
  series     = {LNCS 5704},
  publisher  = {Springer Berlin Heidelberg},
  isbn       = {978-3-642-03868-6},
  pages      = {990--1002},
  doi        = {10.1007/978-3-642-03869-3_91},
  longseries = {Lecture Notes in Computer Science},
  longvolume = {5704},
  opturl     = {http://dx.doi.org/10.1007/978-3-642-03869-3_91},
}

@INPROCEEDINGS{PADL08HMWS,
  author = {Jost Berthold and Mischa Dieterle and Rita Loogen and Steffen Priebe},
  title = {Hierarchical Master-Worker Skeletons},
  booktitle = {Practical Aspects of Declarative Languages (PADL'08)},
  year = {2008},
  editor = {David S. Warren and Paul Hudak},
  series = {LNCS 4902},
  address = {San Francisco (CA), USA},
  month = {January},
  publisher = S-V
}

@INPROCEEDINGS{Eden:EUROPAR03Ausf,
  author = {Jost Berthold and Ulrike Klusik and Rita Loogen and Steffen Priebe
	and Nils Weskamp},
  title = {{High-level Process Control in Eden}},
  booktitle = {EuroPar 2003 -- Parallel Processing},
  year = {2003},
  editor = {Harald Kosch and L\'aszl\'o B\"osz\"orm\'enyi and Herrmann Hellwagner},
  series = {LNCS 2790},
  address = {Klagenfurt, Austria},
  optvolume = {2790}
}

@InProceedings{Berthold2007,
  author    = {Jost Berthold and Rita Loogen},
  title     = {Parallel Coordination Made Explicit in a Functional Setting},
  booktitle = {IFL 2006 --- 18\xth Intl.\ Symposium on the Implementation of Functional Languages},
  year      = {2007},
  editor    = {Zolt\'an Horv\'ath and Vikt\'oria Zs\'ok},
  series    = {LNCS 4449},
  publisher = S-V,
  address   = {Budapest, Hungary},
  optnote   = {(\textbf{awarded best paper} of IFL'06)},
  opturl    = {???http://www.springeronline.com/3-540-74129-9???},
}

@INPROCEEDINGS{Eden:PARCO05,
  author = {Jost Berthold and Rita Loogen},
  title = {Skeletons for Recursively Unfolding Process Topologies},
  booktitle = {Parallel Computing: Current \& Future Issues of High-End Computing,
	ParCo 2005, Malaga, Spain},
  year = {2006},
  editor = {Gerhard R. Joubert and Wolfgang E. Nagel and Frans J. Peters and
	Oscar G. Plata and P. Tirado and Emilio L. Zapata},
  series = {NIC Series 33},
  publisher = {Central Institute for Applied Mathematics, J{\"u}lich, Germany},
  optbibdate = {2006-11-20},
  optbibsource = {DBLP, http://dblp.uni-trier.de/db/conf/parco/parco2005.html#BertholdL05},
  optbooktitle = {PARCO},
  xisbn = {3-00-017352-8},
  optpages = {835ff},
  optvolume = {33}
}

@INPROCEEDINGS{Eden:HLPP05-conf,
  author = {Jost Berthold and Rita Loogen},
  title = {The Impact of Dynamic Channels on Functional Topology Skeletons},
  booktitle = {HLPP 2005 --- 3\rd International Workshop on High-level Parallel Programming
	and Applications},
  year = {2005},
  editor = {Alexander Tiskin and Frederic Loulergue},
  address = {Coventry, UK},
  note = {Proceedings}
}

@INPROCEEDINGS{ParCo07-,
  author = {Jost Berthold and Rita Loogen},
  title = {{Visualizing Parallel Functional Program Executions: Case Studies
	with the Eden Trace Viewer}},
  booktitle = {ParCo'07. Parallel Computing: Architectures, Algorithms and Applications},
  year = {2007},
  publisher = {IOS Press},
  optaddress = {J\"ulich, Germany},
  optbooktitle = {{Proceedings of the Intl. Conf. ParCo 2007 -- Parallel Computing:
	Architectures, Algorithms and Applications}},
  optnote = {submitted for publication\jbcomment{update when published}}
}

@ARTICLE{Eden:HLPP05PPL,
  author = {Jost Berthold and Rita Loogen},
  title = {The Impact of Dynamic Channels on Functional Topology Skeletons},
  journal = {Parallel Processing Letters},
  year = {2005},
  published = {World Scientific Publishing Company}
}

@INPROCEEDINGS{EdenIFL02,
  author =	 {J. Berthold and R. Loogen and S. Priebe and
                  N. Weskamp},
  title =	 {{Porting the Eden System to GHC 5.00.2}},
  booktitle =	 {Draft Proc. of IFL'02 --- 14\xth Intl. Workshop on
                  the Implementation of Functional Languages},
  year =	 {2002},
  month =	 {Sept.},
  organization = {Univ. Complutense de Madrid},
  note =	 {Workshop version only, not submitted to final
                  proceedings.}
}

@TECHREPORT{ProjekthandbuchBW02,
  author = {Jost Berthold and Nils Weskamp},
  title = {{The Eden Porting Project - Porting the Eden Runtime-System from
	GHC 2.10 to GHC 5.00.2}},
  institution = {Philipps-University Marburg},
  year = {2002},
  type = {draft report},
  OPTnote = {{available at {\tt \small http://www.mathematik.uni-marburg.de/inf/eden/}}}
}

@ARTICLE{jfp97bird,
  author = {Richard S. Bird and Geraint Jones and De Moor, Oege},
  title = {More haste, less speed: lazy versus eager evaluation},
  journal = {J. of Functional Programming},
  year = {1997},
  volume = {7},
  pages = {541--547},
  number = {5}
}

@MISC{blelloch1995nesl,
  author = {Blelloch, G. E.},
  title = {{NESL: A Nested Data-Parallel Language. (Version 3.1)}},
  howpublished = {Storming Media},
  year = {1995}
}

@TECHREPORT{blelloch1993nesl,
  author = {Blelloch, G. E.},
  title = {{NESL}: A nested data-parallel languages},
  year = {1993},
  howpublished = {Technical Report CMU-CS-93-129, School of Computer Science, Carnegie-Mellon
	University}
}

@TECHREPORT{blelloch1994parallel-,
  author = {Blelloch, G. E. and Greiner, J.},
  title = {A Parallel Complexity Model for Functional Languages},
  year = {1994},
  institute = {Carnegie Mellon University Pittsburgh, PA, USA}
}

@techreport{blelloch1994parallel,
  author =	 {Blelloch, Guy E. and Greiner, John},
  title =	 {A Parallel Complexity Model for Functional
                  Languages},
  year =	 {1994},
  Xsource =
                  {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Acmucs%3ACMU%2F%2FCS-94-196},
  publisher =	 {Carnegie Mellon University},
  Xaddress =	 {Pittsburgh, PA, USA},
  institution =	 {Carnegie Mellon University},
}

@INPROCEEDINGS{blelloch94parallel--,
    author = {Guy E. Blelloch and John Greiner},
    title = {A Parallel Complexity Model for Functional Languages},
    booktitle = {Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture},
    year = {1994},
    OPTpages = {.}
}

@CONFERENCE{boehm1986exact,
  author = {Boehm, H. J. and Cartwright, R. and Riggle, M. and O'Donnell, M.
	J.},
  title = {Exact real arithmetic: A case study in higher order programming},
  booktitle = {Proc. ACM conf. on LISP and functional programming},
  year = {1986},
  pages = {162--173},
  organization = theacm
}

@INPROCEEDINGS{borodin-vonzurgathen-proc,
  author = {{Borodin}, Allan and {Gathen}, Joachim von zur and
                  {Hopcroft}, John},
  title = {Fast parallel matrix and {GCD} computations},
  booktitle = {SFCS'08 --- 23\rd Annual Symposium on Foundations of Computer Science},
  year = {1982},
  note = {DOI 10.1109/SFCS.1982.17}
}

@ARTICLE{borosh1966exact,
  author = {Borosh, I. and Fraenkel, A. S.},
  title = {{Exact solutions of linear equations with rational coefficients by
	congruence techniques}},
  journal = {Mathematics Of Computation},
  year = {1966},
  volume = {20},
  pages = {107--112},
  number = {93},
  publisher = {American Mathematical Society}
}

@INBOOK{botorog1996efficient,
  chapter = {Efficient parallel programming with algorithmic skeletons},
  pages = {718--731},
  title = {{Euro-Par'96 Parallel Processing}},
  publisher = S-V,
  year = {1996},
  author = {Botorog, G. H. and Kuchen, H.},
  longvolume = {1123},
  series = {LNCS 1123},
  optnote = {Workshop 05+21 Parallel Languages, Programming, and High-Level Control}
}

@PHDTHESIS{Eden:BreitingerTh,
  shortauthor = {Breitinger, S.},
  title = {Design and Implementation of the Parallel Functional Language Eden},
  school = {Philipps-Universit{\"a}t Marburg},
  year = {1998},
  author = {Breitinger, Sylvia},
  url = {http://archiv.ub.uni-marburg.de/diss/z1999/0142/}
}

@INPROCEEDINGS{Eden:IFL96,
  author = {S. Breitinger and U. Klusik and R. Loogen},
  title = {{An Implementation of Eden on Top of Concurrent Haskell}},
  booktitle = {Implementation of Functional Languages'96},
  year = {1997},
  editor = {W. Kluge},
  series = {LNCS 1268},
  publisher = S-V,
  optnumber = {1268}
}

@INPROCEEDINGS{Eden:PLILP98,
  author = {Breitinger, S. and Klusik, U. and Loogen, R.},
  title = {{From (Sequential) {Haskell} to (Parallel) {Eden}: An Implementation
	Point of View}},
  booktitle = {PLILP'98},
  year = {1998},
  series = {LNCS 1490},
  pages = {318-334},
  publisher = S-V,
  optvolume = {1490}
}

@INPROCEEDINGS{Eden:dreamIFL97,
  author = {Breitinger, S. and Klusik, U. and Loogen, R. and {Ortega Mall\'en},
	Y. and {Pe{\~n}a Mar\'\i}, R.},
  title = {{DREAM - the DistRibuted Eden Abstract Machine}},
  booktitle = {IFL'97},
  year = {1997},
  series = {LNCS 1467},
  pages = {250--269},
  publisher = S-V,
  optnumber = {1467}
}

@INPROCEEDINGS{Eden:chanstruct97,
  author = {Silvia Breitinger and Rita Loogen},
  title = {{Channel Structures in the Parallel Functional Language Eden}},
  booktitle = {Glasgow Workshop on Funct.\ Prg.},
  year = {1997},
  OPTnote = {Available online.}
}

@INPROCEEDINGS{Eden:FUJI95,
  author = {S. Breitinger and R. Loogen},
  title = {{Concurrency in Functional and Logic Programming}},
  booktitle = {{Fuji Intl.\ Workshop of Functional and Logic Programming}},
  year = {1995}
}

@INPROCEEDINGS{Eden:Towards1995,
  author = {Breitinger, S. and Loogen, R. and {Ortega-Mall\'{e}n}, Y.},
  title = {Towards a Declarative Language for Parallel and Concurrent Programming},
  booktitle = {Functional Programming},
  year = {1995},
  editor = {Turner, {D.N.}},
  series = {Workshops in Computing},
  address = {Glasgow},
  publisher = S-V
}

@INCOLLECTION{Eden:Breitinger1996,
  author = {S. Breitinger and R. Loogen and Y. {Ortega-Mall\'{e}n} and R. {Pe{\~n}a-Mari}},
  title = {{Eden} --- The Paradise of Functional Concurrent Programming},
  booktitle = {Euro-Par'96 Parallel Processing},
  publisher = {Spinger-Verlag},
  year = {1996},
  series = {LNCS 1123},
  pages = {710--713},
  optvolume = {1123}
}

@INPROCEEDINGS{Eden:HIPS97,
  author = {Silvia Breitinger and Rita Loogen and Yolanda {Ortega-Mall{\'e}n}
	and Ricardo Pe{\~n}a},
  title = {The {Eden} Coordination Model for Distributed Memory Systems},
  booktitle = {High-Level Parallel Programming Models and Supportive Environments},
  year = {1997},
  series = {LNCS 1123},
  pages = {120--124},
  organization = {HIPS},
  publisher = {IEEE},
  optvolume = {1123}
}

@TECHREPORT{Eden:Def,
  author = {S. Breitinger and R. Loogen and Y. {Ortega-Mall{\'e}n} and R. {Pe{\~n}a}},
  title = {{Eden: Language Definition and Operational Semantics}},
  institution = {Philipps-University of Marburg},
  year = {1996},
  number = {10},
  url = {http://www.mathematik.uni-marburg.de/fb12/bfi/bfi10.ps}
}

@CONFERENCE{breitinger1998pph,
  author = {Breitinger, S. and Loogen, R. and Priebe, S.},
  title = {Parallel programming with {Haskell} and {MPI}},
  booktitle = ifl,
  year = {1998}
}

@TECHREPORT{brent-kung,
  author = {R. P. Brent and H. T. Kung},
  title = {A Systolic Algorithm for Integer GCD Computation. Revision},
  institution = {CARNEGIE-MELLON UNIV. PITTSBURGH PA DEPT OF COMPUTER SCIENCE},
  year = {1984},
  month = {April},
  note = {ADA144409},
  optannote = {In this document the authors show that the greatest
                  common divisor of two n-bit integers (given in the
                  usual binary representation) can be computed in time
                  O(n) on a linear array of O(n) identical systolic
                  cells, each of which is a finite-state machine with
                  connections to its nearest neighbours.},
  opturl = {http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA144409}
}

@ARTICLE{brezinski1980long-,
  author = {Brezinski, C.},
  title = {{The long history of continued fractions and Pad{\'e} approximants}},
  journal = {Pad{\'e} Approximation and its Applications},
  year = {1980},
  pages = {1--27},
  publisher = S-V
}

@MISC{axiom-book,
  author = {Manuel {Bronstein} and James {Davenport} and Albrecht {Fortenbacher}
	and others},
  title = {AXIOM -- the 30 year horizon},
  year = {2003},
  note = {\url{http://portal.axiom-developer.org/public/book2.pdf}},
  altauthor = {Manuel Bronstein and James Davenport and Albrecht Fortenbacher and
	Jocelyn Guidry and Michael Monagan and Jonathan Steinbach and Stephen
	Watt and William Burge and Michael Dewar and Patrizia Gianni and
	Richard Jenks and Scott Morrison and Robert Sutor and Jim Wen and
	Timothy Daly and Martin Dunstan and Johannes Grabmeier and Larry
	Lambe and William Sit and Barry Trager and Clifton Williamson},
  optkey = {BDF+}
}

@CONFERENCE{buchberger1979criterion,
  author = {Buchberger, Bruno},
  title = {A criterion for detecting unnecessary reductions in the construction
	of {Gr\"{o}bner} bases},
  booktitle = {Proc. Eurosam},
  year = {1979},
  volume = {79},
  pages = {3--21},
  organization = S-V
}

@PHDTHESIS{RISC2769,
  author = {Bruno Buchberger},
  title = {{Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes
	nach einem nulldimensionalen Polynomideal}},
  school = {Mathematical Institute, University of Innsbruck, Austria},
  year = {1965},
  annote = {1965-00-00-A},
  optentitle = {An Algorithm for Finding the Basis Elements in the Residue Class Ring
	Modulo a Zero Dimensional Polynomial Ideal},
  optlanguage = {english},
  optlength = {0},
  optnote = {(English translation to appear in Journal of Symbolic Computation,
	2004)},
  opttranslation = {0}
}

@TECHREPORT{saclib,
  author = {Bruno Buchberger and G. Collins and H. Hong and J. Johnson and W.
	Krandick and R. Loos and A. Neubacher},
  title = {{A SACLIB Primer}},
  institution = {Johannes Kepler University, Linz, Austria},
  year = {1992},
  number = {92--34}
}

@ARTICLE{byrne2001groebner,
  author = {Byrne, E. and Fitzpatrick, P.},
  title = {{Gr\"{o}bner} bases over {Galois} rings with an application to decoding
	alternant codes},
  journal = {Journal of Symbolic Computation},
  year = {2001},
  volume = {31},
  pages = {565--584},
  number = {5},
  publisher = {Elsevier}
}

@ARTICLE{backus-pfp,
  author = {J. {B}ackus},
  title = {Can Programming Be Liberated from the von Neumann Style?},
  journal = {Communications Of The Acm},
  year = {1978}
}

@ARTICLE{ginac-intro-,
  author = {Christian {B}auer and Alexander {F}rink and Richard {K}reckel},
  title = {Introduction to the {GiNaC} Framework for Symbolic Computation
	within the {\cpp} Programming Language},
  journal = {Journal of Symbolic Computation},
  year = {2002},
  volume = {33},
  pages = {1--12},
  annote = {The traditional split-up into a low level language and a high level
	language in the design of computer algebra systems may become obsolete
	with the advent of more versatile computer languages. We describe
	GiNaC, a special-purpose system that deliberately denies the need
	for such a distinction. It is entirely written in \cpp and the user
	can interact with it directly in that language. It was designed to
	provide ecient handling of multivariate polynomials, algebras and
	special functions that are needed for loop calculations in theoretical
	quantum feld theory. It also bears some potential to become a more
	general purpose symbolic package.},
}

@MISC{neumann-arch,
  author = {Arthur W. {B}urks and Herman H. {G}oldstine and John von {N}eumann},
  title = {Preliminary discussion of the logical design of an electronic computing
	instrument},
  year = {1946}
}

@CONFERENCE{cabay1971exact,
  author = {Cabay, S.},
  title = {{Exact solution of linear equations}},
  booktitle = {Proceedings of the second ACM symposium on Symbolic and algebraic
	manipulation},
  year = {1971},
  pages = {392--398},
  LONGorganization = {ACM New York, NY, USA},
  organization = theacm
}

@TECHREPORT{campbell1996towards,
  author = {Campbell, D. K. G.},
  title = {Towards the classification of algorithmic skeletons},
  institution = {UNIVERSITY OF YORK, DEPARTMENT OF COMPUTER SCIENCE},
  year = {1996}
}

@BOOK{Linda,
  title = {How to Write Parallel Programs},
  publisher = {MIT Press},
  year = {1990},
  author = {N. Carriero and D. Gelernter}
}

@INPROCEEDINGS{Calypso,
  author = {Giovanni Cesari},
  title = {{CALYPSO: a Computer Algebra Library for Parallel Symbolic Computation}},
  booktitle = {Int. Symp. on Parallel Symbolic Computation (PASCO)},
  year = {1997},
  pages = {294--216},
  publisher = theacm
}

@ARTICLE{cesari1996pap,
  author = {CESARI, G. and MAEDER, R.},
  title = {{Performance Analysis of the Parallel Karatsuba Multiplication Algorithm
	for Distributed Memory Architectures}},
  journal = {Journal of Symbolic Computation},
  year = {1996},
  volume = {21},
  pages = {467--473},
  number = {4-6},
  publisher = {Elsevier}
}

@BOOK{chabert1999history,
  title = {A history of algorithms: from the pebble to the microchip},
  publisher = S-V,
  year = {1999},
  editor = {Chabert, J.-L.},
  Xauthor = {Barbin, {\'E}. and Borowczyk, J. and Chabert, J.-L. and Guillemot, M. and Michel-Pajus, A. and Djebbar, A., and Martzloff, J.-C.}
}

@CONFERENCE{chakrabarti-correctness,
  author = {Chakrabarti, S. and Yelick, K.},
  title = {On the correctness of a distributed memory {Gr\"{o}bner} basis algorithm},
  booktitle = {Rewriting Techniques and Applications},
  pages = {77--91},
  organization = S-V
}

@ARTICLE{chakrabarti1994distributed,
  author = {Chakrabarti, S. and Yelick, K.},
  title = {Distributed data structures and algorithms for {Gr{\"o}bner} basis
	computation},
  journal = {Lisp and Symbolic Computation},
  year = {1994},
  volume = {7},
  pages = {147--172},
  number = {2},
  publisher = {Springer}
}

@INPROCEEDINGS{DataParallelHaskell-,
  author = {Manuel M. T. {C}hakravarty and Roman {L}eshchinskiy and
                  Simon L. {P}eyton {J}ones and Gabriele {K}eller and
                  Simon {M}arlow},
  title = {{Data Parallel Haskell}: a status report},
  optbooktitle = {Proceedings of DAMP 2007: Workshop on Declarative
                  Aspects of Multicore Programming},
  booktitle = {DAMP'07},
  year = {2007},
  pages = {10--18},
  publisher = theacm,
  bdsk-url-1 = {http://www.cse.unsw.edu.au/%5C~%7B%7Dchak/papers/CLPKM07.html},
  opturl = {http://www.cse.unsw.edu.au/\~{}chak/papers/CLPKM07.html}
}

@INPROCEEDINGS{ck-arrays,
  author = {Manuel M. T. Chakravarty and Gabriele Keller},
  title = {An Approach to Fast Arrays in {Haskell}},
  year = {2003},
  series = {LNCS},
  organization = {AFP 2002},
  publisher = S-V
}

@BOOK{chambers1991statistical-,
  title = {{Statistical models in S}},
  publisher = {CRC Press},
  year = {1991},
  author = {Chambers, J. M. and Hastie, T. J.},
  longpublisher = {CRC Press, Inc. Boca Raton, FL, USA}
}

@INPROCEEDINGS{Sugarbrush,
  author = {B. Char},
  title = {{Progress Report on a System for General-Purpose Parallel Symbolic
	Algebraic Computation}},
  booktitle = {Int. Symp. on Symbolic and Algebraic Computation (ISSAC)},
  year = {1990},
  pages = {96--103},
  publisher = theacm
}

@ARTICLE{chor-goldreich,
  author = {B. Chor and O. Goldreich},
  title = {An improved parallel algorithm for integer GCD},
  journal = {Algorithmica},
  year = {1990}
}

@ARTICLE{cleveland1992local,
  author = {Cleveland, W. S. and Grosse, E. and Shyu, W. M.},
  title = {{Local regression models}},
  journal = {Statistical models in S},
  year = {1992},
  pages = {309--376},
  publisher = {Chapman and Hall}
}

@BOOK{cohen2007number1,
  title = {{Number Theory: Tools and Diophantine Equations}},
  publisher = S-V,
  year = {2007},
  author = {Cohen, Henri},
  volume = {1}
}

@BOOK{cohen2007number2,
  title = {{Number Theory: Analytic and Modern Tools}},
  publisher = S-V,
  year = {2007},
  author = {Cohen, Henri},
  volume = {2}
}

@BOOK{cohen2000advanced,
  title = {Advanced Topics in Computational Number Theory},
  publisher = S-V,
  year = {2000},
  author = {Cohen, Henri}
}

@ARTICLE{cohen1984primality,
  author = {Cohen, H. and Lenstra, Jr, H. W.},
  title = {Primality testing and {Jacobi} sums},
  journal = {Mathematics Of Computation},
  year = {1984},
  volume = {42},
  pages = {297--330},
  number = {165},
  publisher = {AMS}
}

@INCOLLECTION{colagrossi1997p,
  author = {Colagrossi, A. and Limongelli, C. and Miola, A.},
  title = {{$P$-Adic} arithmetic: a tool for error-free computations},
  booktitle = {Advances in the design of symbolic computation systems},
  publisher = S-V,
  year = {1997},
  series = {RISC Series in Symbolic Computation},
  pages = {53--67},
  editors = {Miola, A. and Temperini, M.}
}

@BOOK{cole-old,
  title = {{Algorithmic Skeletons: Structured Management of Parallel Computation}},
  publisher = {MIT Press},
  year = {1989},
  author = {Cole, Murray I.},
  series = {Research Monographs in Parallel and Distributed Computing},
  address = {Cambridge(MA), USA},
  optnote = {\jbcomment{Verlag pruefen!}}
}

@ARTICLE{collins1967subresultants,
  author = {Collins, G. E.},
  title = {Subresultants and reduced polynomial remainder sequences},
  journal = {Journal of the ACM},
  year = {1967},
  volume = {14},
  pages = {128--142},
  number = {1},
  publisher = theacm
}

@ARTICLE{cook1969minimum,
  author = {Cook, S.A.},
  title = {{On the minimum computation time of functions}},
  journal = {Transactions of the American Mathematical Society},
  year = {1969},
  volume = {142},
  pages = {291--314},
  publisher = {American Mathematical Society}
}

@ARTICLE{CooleyTukey65,
  author = {J. W. Cooley and J. W. Tukey},
  title = {An algorithm for the machine calculation of complex Fourier series},
  journal = {Math. Comput.},
  year = {1965},
  volume = {19},
  pages = {297--301}
}

@BOOK{cormen2001introduction,
  title = {Introduction to algorithms},
  publisher = {MIT Press},
  year = {2001},
  author = {Cormen, T. H. and Leiserson, C. E. and Rivest, R. L. and Stein, C.}
}

@BOOK{cox2007ideals,
  title = {Ideals, varieties, and algorithms},
  publisher = s-v,
  year = {2007},
  author = {Cox, D. A. and Little, J. B. and {O'Shea}, D.},
  edition = {third},
  optsubtitle = {an introduction to computational algebraic geometry and commutative
	algebra}
}

@PHDTHESIS{crovella1994performance,
  author = {Crovella, M. E.},
  title = {{Performance prediction and tuning of parallel programs}},
  school = {University of Rochester},
  year = {1994}
}

@MANUAL{cocoa-manual,
  title = {{CoCoA} 3.0 {U}ser's {M}anual},
  author = {A. {C}apani and G. {N}iesi},
  organization = {Dipartimento di Ma\-te\-ma\-ti\-ca, Universit\`a di Genova},
  address = {Via Dodecaneso, 35, I-16146 Genova (Italy)},
  year = {1995}
}

@ARTICLE{church-lambda,
  author = {Alonso {C}hurch},
  title = {The Calculi of Lambda-Conversion},
  journal = {Annals Of Mathematics Studies},
  year = {1941}
}

@OTHER{claessen-thesis,
  address = {SE--412 96 Goteborg, Sweden},
  author = {Koen Christiaan {C}laessen},
  month = {August},
  note = {Thesis for the Licentiate Degree},
  school = {Department of Computing Science Chalmers University of Technology
	and Goteborg University},
  title = {An Embedded Language Approach to Hardware Description and Verication},
  year = {2000}
}

@BOOK{cohen-ca,
  title = {A Course in Computational Algebraic Number Theory},
  publisher = S-V,
  year = {2000},
  author = {Henri Cohen},
  edition = {forth},
  date-modified = {2010-05-07 21:04:51 +0200},
  optedition = {Second Corrected Printing},
  series = {GTM 138}
}

@INCOLLECTION{cole--,
  author = {M. I. {C}ole},
  title = {Algorithmic Skeletons: Structured Management of Parallel Computation},
  booktitle = {Research Monographs in Parallel and Distributed Computing},
  publisher = {Pitman},
  year = {1989}
}

@Book{cole,
  author =	 {M. I. Cole},
  title =	 {Algorithmic Skeletons: Structured Management of
                  Parallel Computation},
  series =	 {Research Monographs in Parallel and Distributed
                  Computing},
  publisher =	 {Pitman},
  year =	 {1989},
  OPTkey =	 {},
  OPTvolume =	 {},
  OPTnumber =	 {},
  OPTaddress =	 {},
  OPTedition =	 {},
  OPTmonth =	 {},
  OPTnote =	 {},
  OPTannote =	 {}
}

@BOOK{cullen-la,
  title = {Matrices and Linear Transformations},
  publisher = {Dover},
  year = {1990},
  author = {Charles. G. {C}ullen},
  address = {Mineola, New~York},
  note = {Republication of second edition by Addison--Wesley Publishing Company,
	1972}
}

@ARTICLE{dagum1998ois,
  author = {Dagum, L. and Menon, R.},
  title = {{OpenMP: An Industry-Standard API for Shared-Memory Programming}},
  journal = {IEEE Computational Science \& Engineering},
  year = {1998},
  pages = {46--55},
  publisher = {IEEE Computer Society}
}

@INPROCEEDINGS{p3l97,
  author = {M. Danelutto and F. Pasqualetti and S. Pelagatti},
  title = {{Skeletons for Data Parallelism in P$\mbox{}^3$L}},
  booktitle = {Euro-Par'97},
  year = {1997},
  editor = {C. Lengauer and M. Griebl and S. Gorlatch},
  series = {LNCS 1300},
  pages = {619-628},
  publisher = S-V
}

@CONFERENCE{darlington1993parallel,
  author = {Darlington, J. and Field, AJ and Harrison, PG and Kelly, PHJ and
	Sharp, DWN and Wu, Q. and While, RL},
  title = {Parallel Programming Using Skeleton Functions},
  booktitle = {Parallel architectures and languages Europe},
  year = {1993},
  pages = {146--160},
  organization = S-V,
  comment = {farm}
}

@ARTICLE{davenport-ca-hist,
  author = {J. H. {Davenport}},
  title = {Computer Algebra -- Past, Present and Future},
  journal = {Euromath Bulletin},
  year = {1994},
  volume = {1},
  pages = {25--44},
  number = {2}
}

@INBOOK{delaencina2006tsw,
  chapter = {{Testing speculative work in a lazy/eager parallel functional language}},
  pages = {274},
  title = {Languages and compilers for parallel computing},
  publisher = S-V,
  year = {2006},
  author = {De La {E}ncina, A. and Rodriguez, I. and Rubio, F.},
  volume = {4339},
  series = {LNCS}
}

@ARTICLE{demmel1999asynchronous,
  author = {Demmel, J. W. and Gilbert, J. R. and Li, X. S.},
  title = {{An asynchronous parallel supernodal algorithm for sparse Gaussian
	elimination}},
  journal = {Siam Journal On Matrix Analysis And Applications},
  year = {1999}
}

@ARTICLE{demmel2008parallel,
  author = {Demmel, J. W. and Heath, M. T. and van der Vorst, H. A.},
  title = {{Parallel numerical linear algebra}},
  journal = {Acta Numerica},
  year = {2008},
  volume = {2},
  pages = {111--197},
  publisher = {Cambridge Univ.\ Press}
}

@ARTICLE{dickson,
  author = {Dickson, Leonard Eugene},
  title = {Finiteness of the Odd Perfect and Primitive Abundant Numbers with
	n Distinct Prime Factors},
  journal = {American Journal Of Mathematics},
  year = {1913},
  volume = {35},
  pages = {413--422},
  number = {4},
  bdsk-url-1 = {http://www.jstor.org/stable/2370405},
  copyright = {Copyright ¬{\copyright} 1913 The Johns Hopkins University Press},
  issn = {00029327},
  jstor_articletype = {primary_article},
  jstor_formatteddate = {Oct., 1913},
  publisher = {The Johns Hopkins University Press},
  url = {http://www.jstor.org/stable/2370405}
}

@MISC{daDieterle-,
  author = {Mischa Dieterle},
  title = {{Parallele funktionale Implementierung von Master-Worker-Skeletten}},
  howpublished = {Diplomarbeit, Philipps-Universit\"{a}t Marburg},
  year = {2007}
}

@PhdThesis{daDieterle,
  title = {{Parallele funktionale Implementierung von Master-Worker-Skeletten}},
  author = {Mischa Dieterle},
  school = 	 {Philipps-Universit\"{a}t Marburg},
  year = {2007},
  OPTkey = 	 {},
  type =	 {Diplomarbeit},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  annote =	 {In German}
}

@InCollection{Dieterle2010,
  author    = {Dieterle, M. and Horstmeyer, T. and Loogen, R.},
  title     = {Skeleton Composition Using Remote Data},
  booktitle = {12\xth International Symposium on Practical Aspects of Declarative Languages},
  series = {PADL'10},
  year      = {2010},
  editor    = {Carro, M. and Pe\~{n}a, R.},
  volume    = {5937},
  series    = {LNCS},
  publisher = S-V,
  pages     = {73--87},
  optmonth  = {January},
}

@ARTICLE{FFT:Dmitruk-Wang01,
  author = {P. Dmitruk and L.P. Wang and W.H. Matthaeus and R. Zhang and D. Seckel},
  title = {Scalable parallel FFT for spectral simulations on a Beowulf cluster},
  journal = {Parallel Computing},
  year = {2001},
  volume = {27},
  number = {14}
}

@ARTICLE{duhamel1990fast,
  author = {Duhamel, P. and M. Vetterli},
  title = {Fast Fourier transforms: a tutorial review and a state of the art},
  journal = {Signal Processing},
  year = {1990},
  volume = {19},
  pages = {259--299},
  number = {4},
  publisher = {Elsevier}
}

@BOOK{davenport-ca,
  title = {Computer Algebra},
  publisher = {Academic Press},
  year = {1988},
  author = {J. H. {D}avenport and T. Siret and E. Tournier},
  optedition = {Second Printing, 1989}
}

@ARTICLE{1089336,
  author = {Ebert, G. L.},
  title = {Some comments on the modular approach to {Gr\"{o}bner-bases}},
  journal = {SIGSAM Bull.},
  year = {1983},
  volume = {17},
  pages = {28--32},
  number = {2},
  myself.note = {unlucky primes},
  optaddress = {New York, NY, USA},
  optdoi = {http://doi.acm.org/10.1145/1089330.1089336},
  xissn = {0163-5824},
  publisher = theacm
}

@PHDTHESIS{AlbertoThesis,
  author = {Alberto de la Encina},
  title = {Formalizando el proceso de depuraci\'{o}n en programaci\'{o}n funcional
	paralela y perezosa},
  school = {Universidad Complutense de Madrid},
  year = {2008},
  month = jun
}

@CONFERENCE{erdem2003less,
  author = {Erdem, S.S. and Koc, CK},
  title = {{A less recursive variant of Karatsuba-Ofman algorithm for multiplying
	operands of size a power of two}},
  booktitle = {Proc. 16\xth IEEE Intl. Symp. Computer Arithmetic},
  year = {2003},
  pages = {28--35},
  optorganization = {Citeseer}
}

@INPROCEEDINGS{faugere-f5,
  author = {Faug{\`e}re, J. C.},
  title = {A new efficient algorithm for computing {Gr\"{o}bner} bases without
	reduction to zero (F5)},
  booktitle = {Proceedings of the 2002 International Symposium on Symbolic and Algebraic
	Computation},
  year = {2002},
  editor = {Mora, T.},
  pages = {75--83},
  month = {July},
  publisher = theacm
}

@ARTICLE{faugere2002-strange,
  author = {Faug{\`e}re, J. C.},
  title = {A new efficient algorithm for computing {Gr\"{o}bner} bases},
  year = {2002},
  optpublisher = {Citeseer}
}

@BOOK{ruby,
  title = {The Ruby Programming Language},
  publisher = {O'Reilly},
  year = {2008},
  author = {David Flanagan and Yukihiro Matsumoto}
}

@ARTICLE{flynn1966very,
  author = {Flynn, M. J.},
  title = {Very high-speed computing systems},
  journal = {Proc IEEE},
  year = {1966},
  volume = {54},
  pages = {1901--1909},
  number = {12}
}

@BOOK{forsythe1977computer-,
  title = {{Computer methods for mathematical computations}},
  publisher = {Prentice Hall Professional Technical Reference},
  year = {1977},
  author = {Forsythe, G. E. and Malcolm, M. A. and Moler, C. B.}
}

@BOOK{foster1995designing,
  title = {Designing and building parallel programs: concepts and tools for
	parallel software engineering},
  publisher = awpubl,
  year = {1995},
  author = {Foster, Ian}
}

@BOOK{Mupad,
  title = {{MuPAD Benutzerhandbuch}},
  publisher = {Birkh"auser Verlag},
  year = {1993},
  author = {B. Fuchssteiner}
}

@TECHREPORT{fateman-thesis,
  author = {Richard J. {F}ateman},
  title = {Essays in Algebraic Simplification},
  institution = {Massachusetts Institute of Technology},
  year = {1972},
  note = {A Revision of A Thesis}
}

@PHDTHESIS{fateman-thesis-old,
  author = {Richard J. {F}ateman},
  title = {Essays in Algebraic Simplification},
  school = {Massachusetts Institute of Technology},
  year = {1972},
  month = {April},
  note = {A Revision of A Thesis}
}

@ARTICLE{FFT:FFTW3,
  author = {M. {F}rigo and S. G. {J}ohnson},
  title = {The design and implementation of {FFTW3}},
  journal = {Proc IEEE},
  year = {2005},
  volume = {93},
  number = {2},
  optmonth = {February},
  optnote = {available online: \url{http://www.fftw.org/fftw-paper-ieee.pdf}}
}

@INPROCEEDINGS{edenPLILP96,
  author = {L. A. Gal{\'a}n and C. Pareja and R. Pe{\~n}a},
  title = {Functional Skeletons Generate Process Topologies in {Eden}},
  booktitle = {{PLILP'96 --- Programming Languages: Implementations, Logics, and
	Programs}},
  year = {1996},
  series = {LNCS 1140},
  pages = {289-303},
  publisher = S-V,
  xaddress = {Aachen, Germany},
  xmonth = {Sep},
  xvolume = {1140}
}

@INPROCEEDINGS{residue-western,
  author = {Garner, Harvey L.},
  title = {The residue number system},
  booktitle = {IRE-AIEE-ACM'59 (Western): Papers presented at the the
                  March 3-5, 1959, western joint computer conference},
  year = {1959},
  pages = {146--153},
  address = {New York, NY, USA},
  publisher = theacm,
  bdsk-url-1 = {http://doi.acm.org/10.1145/1457838.1457864},
  Xdoi = {http://doi.acm.org/10.1145/1457838.1457864},
  location = {San Francisco, California}
}

@BOOK{zur-gathen-mca,
  title = {Modern Computer Algebra},
  publisher = {Cambridge University Press},
  year = {2003},
  author = {von zur Gathen, Joachim and Gerhard, J\"{u}rgen},
  edition = {second},
  optkey = {GG03}
}

@ARTICLE{gathen2003subresultants,
  author = {von zur Gathen, J. and L{\"u}cking, T.},
  title = {Subresultants revisited},
  journal = {Theoretical Computer Science},
  year = {2003},
  volume = {297},
  pages = {199--239},
  number = {1--3},
  publisher = {Elsevier}
}

@ARTICLE{gebauer1988installation,
  author = {Gebauer, R. and {M\"{o}ller}, H. M.},
  title = {On an installation of {B}uchberger's algorithm},
  journal = {Journal of Symbolic Computation},
  year = {1988},
  volume = {6},
  pages = {275--286},
  number = {2-3},
  publisher = {Elsevier}
}

@ARTICLE{gentleman-matrix-mult,
  author =	 {Gentleman, W. Morven},
  title =	 {Some Complexity Results for Matrix Computations on
                  Parallel Processors},
  journal =	 {Journal of the ACM},
  year =	 {1978},
  volume =	 {25},
  pages =	 {112--115},
  number =	 {1},
  address =	 {New York, NY, USA},
  bdsk-url-1 =	 {http://doi.acm.org/10.1145/322047.322057},
  Xdoi =	 {http://doi.acm.org/10.1145/322047.322057},
  Xissn =	 {0004-5411},
  publisher =	 theacm,
}

@CONFERENCE{giovini1991one,
  author = {Giovini, A. and Mora, T. and Niesi, G. and Robbiano, L. and Traverso,
	C.},
  title = {``One sugar cube, please'' or selection strategies in the Buchberger
	algorithm},
  booktitle = {Proceedings of the 1991 International Symposium on Symbolic and Algebraic
	Computation},
  year = {1991},
  pages = {49--54},
  organization = {ACM New York, NY, USA}
}

@BOOK{golub1996matrix,
  title = {{Matrix computations}},
  publisher = {Johns Hopkins Univ Pr},
  year = {1996},
  author = {Golub, G. H. and Van Loan, C. F.}
}

@BOOK{graham1994concrete,
  title = {{Concrete mathematics: a foundation for computer science}},
  publisher = awpubl,
  year = {1994},
  author = {Graham, R. L. and Knuth, D. E. and Patashnik, O.}
}

@ARTICLE{isoefficiency-,
  author = {A. Y. Grama and A. Gupta and V. Kumar},
  title = {Isoefficiency: Measuring the Scalability of Parallel Algorithms and
	Architectures},
  journal = {IEEE Concurrency},
  year = {1993},
  volume = {1},
  pages = {12--21},
  number = {3},
  address = {Los Alamitos, CA, USA},
  bdsk-url-1 = {http://doi.ieeecomputersociety.org/10.1109/88.242438},
  Xdoi = {http://doi.ieeecomputersociety.org/10.1109/88.242438},
  issn = {1063-6552},
  publisher = {IEEE Computer Society}
}

@BOOK{grama2003introduction--,
  title = {Introduction to parallel computing},
  publisher = awpubl,
  year = {2003},
  author = {Grama, A. Y. and Kumar, V. and Gupta, A. and Karypis, G.}
}

@MISC{granlund1996gnu,
  author = {Granlund, T. and Swox, A. B.},
  title = {The {GNU} Multiple Precision Arithmetic Library},
  note = {\url{http://gmplib.org/}. Retrieved 27.4.2010},
  bdsk-url-1 = {http://gmplib.org/},
  BADpublisher = {Citeseer},
  opttitle = {{GNU MP}},
  year = {2010},
  OPTurl = {http://gmplib.org/}
}

@ARTICLE{gregory1981error,
  author = {Gregory, R. T.},
  title = {{Error-free computation with rational numbers}},
  journal = {BIT Numerical Mathematics},
  year = {1981},
  volume = {21},
  pages = {194--202},
  number = {2},
  publisher = S-V
}

@MISC{greiner1994complexity,
  author = {Greiner, J. and Belloch, G.},
  title = {{A Parallel Complexity Model for Functional Languages}},
  year = {1994},
  publisher = {Storming Media}
}

@INPROCEEDINGS{FFT:SAC,
  author = {Clemens Grelck and Sven-Bodo Scholz},
  title = {Towards an Efficient Functional Implementation of the {NAS} Benchmark
	{FT}},
  booktitle = {PaCT},
  year = {2003},
  series = {LNCS 2763},
  pages = {230--235},
  publisher = S-V
}

@ARTICLE{Gupta199675,
  author = {Himanshu Gupta and P. Sadayappan},
  title = {Communication-efficient matrix multiplication on hypercubes},
  journal = {Parallel Computing},
  year = {1996},
  volume = {22},
  pages = {75--99},
  number = {1},
  abstract = {In this paper we present an efficient dense matrix multiplication
	algorithm for distributed memory computers with a hypercube topology.
	The proposed algorithm performs better than all previously proposed
	algorithms for a wide range of matrix sizes and number of processors,
	especially for large matrices. We analyze the performance of the
	algorithms for two types of hypercube architectures, one in which
	each node can use (to send and receive) at most one communication
	link at a time and the other in which each node can use all communication
	links simultaneously.},
  bdsk-url-1 = {http://www.sciencedirect.com/science/article/B6V12-3VSCSJS-5/2/89358c4fda8c02ef38c54382213a72c1},
  bdsk-url-2 = {http://dx.doi.org/10.1016/0167-8191(95)00058-5},
  Xdoi = {DOI: 10.1016/0167-8191(95)00058-5},
  Xissn = {0167-8191},
  keywords = {Matrix multiplication},
  Xurl = {http://www.sciencedirect.com/science/article/B6V12-3VSCSJS-5/2/89358c4fda8c02ef38c54382213a72c1}
}

@ARTICLE{GuptaPPL94,
  author = {S. K. S. Gupta and C.-H. Huang and P. Sadayappan and R. W. Johnson},
  title = {Implementing fast {Fourier} transforms on distributed-memory multiprocessors
	using data redistributions},
  journal = {Parallel Processing Letters},
  year = {1994},
  volume = {4},
  pages = {477--488},
  number = {4},
  bdsk-url-1 = {citeseer.ist.psu.edu/gupta94implementing.html},
  Xurl = {citeseer.ist.psu.edu/gupta94implementing.html}
}

@ARTICLE{gustafson1988development-,
  author = {Gustafson, J. L. and Montry, G. R. and Benner, R. E.},
  title = {{Development of parallel methods for a 1024-processor hypercube.}},
  journal = {SIAM Journal on Scientific and Statistical Computing},
  year = {1988},
  volume = {9},
  pages = {609--638},
  number = {4}
}

@BOOK{gantmacher-ru,
  title = {{\cyr Teoriya Matric} (Teoriya Matriz)},
  publisher = {{\cyr GITTL} (?, GITTL)},
  year = {1954 (?)},
  author = {{\cyr F.~R.~Gantma{kh}er} (F.~R.~{G}antmacher)},
  address = {{\cyr Moskva} (Moskva)}
}

@BOOK{gantmacher-2-de,
  title = {Matrizenrechnung},
  publisher = {VEB Deutscher Verlag der Wissenschaften},
  year = {1959},
  author = {F.~R.~{G}antmacher},
  volume = {II},
  address = {Berlin}
}

@BOOK{gantmacher-1-de,
  title = {Matrizenrechnung},
  publisher = {VEB Deutscher Verlag der Wissenschaften},
  year = {1958},
  author = {F.~R.~{G}antmacher},
  volume = {I},
  address = {Berlin}
}

@ARTICLE{FFT:Gorlatch98,
  author =	 {Sergei Gorlatch},
  title =	 {Programming with Divide-and-Conquer Skeletons: A
                  Case Study of {FFT}},
  journal =	 {Journal of Supercomputing},
  year =	 {1998},
  volume =	 {12},
  pages =	 {85-97},
  number =	 {1-2}
}

@ARTICLE{Gorlatch,
  author =	 {Sergei Gorlatch and Holger Bischof},
  title =	 {A Generic {MPI} Implementation for a Data-Parallel
                  Skeleton: Formal Derivation and Application to
                  {FFT}},
  journal =	 {Parallel Processing Letters},
  year =	 {1998},
  volume =	 {8},
  number =	 {4},
  publusher =	 {World Scientific Publishing Company},
}

@BOOK{gk,
  title = {Methods and Applications of Error--Free Computation},
  publisher = S-V,
  year = {1984},
  author = {R. T. Gregory and E. V. Krishnamurthy},
  isbn = {0-387-90967-2, 3-540-90967-2}
}

@BOOK{grove-algebra,
  title = {Algebra},
  publisher = {Dover},
  year = {2004},
  author = {Larry C. {G}rove},
  Xaddress = {Mineola, New York},
  note = {Republication of an edition by Academic Press, 1983}
}

@MISC{cln-manual,
  author = {Bruno Haible and Richard Kreckel},
  title = {{CLN}, a class library for numbers manual},
  note = {\url{http://www.ginac.de/CLN/cln.ps}. Retrieved 20.08.2010},
  key = {CLN},
  opthowpublished = {\url{http://www.ginac.de/CLN/cln.ps}},
  year = {2010}
}

@INBOOK{haskell-types,
  chapter = {Type classes in {Haskell}},
  pages = {241--256},
  title = {European Symposium On Programming},
  publisher = S-V,
  year = {1994},
  author = {C. Hall and K. Hammond and S. {Peyton Jones} and P. Wadler},
  volume = {LNCS 788},
  month = {April}
}

@ARTICLE{FFT_JFP,
  author = {Jeffrey Hammes and Sumit Sur and A. P. Wim B{\"o}hm},
  title = {On the Effectiveness of Functional Language Features: {NAS} Benchmark
	{FT}},
  journal = {J. Funct. Program.},
  year = {1997},
  volume = {7},
  pages = {103-123},
  number = {1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Eden:HLPP03,
  author = {K. Hammond and J. Berthold and R. Loogen},
  title = {Automatic Skeletons in {Template Haskell}},
  booktitle = {{HLPP 2003 --- 2\nd International Workshop on High-level Parallel
	Programming and Applications, Paris, France}},
  year = {2003},
  editor = {F. Loulergue},
  xbooktitle = {{HLPP 2003. Paris, France}},
  xmonth = {June}
}

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

@report{SCIEnce,
  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}},
  Xhowpublished = {???},
  year = {2007},
  optmonth = {August},
  optnote = {retrieved in February 2008}
}

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

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

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

@INPROCEEDINGS{Eden:paradiseSFP99,
  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}},
  pages = {11--19},
  address = {Stirling, Scotland},
  publisher = {Intellect}
}

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

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

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

@INPROCEEDINGS{Eden:SemSFP00-,
  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}},
  address = {University of St Andrews, Scotland},
  month = jul,
  publisher = {Intellect},
  optbooktitle = {{SFP'00 --- Scottish Functional Programming Workshop}}
}

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

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

@INPROCEEDINGS{Eden:APLAS03,
  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},
  pages = {303-321},
  organization = {LNCS 2895},
  publisher = S-V
}

@INPROCEEDINGS{Eden:SemSFP00,
  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},
  pages = {89-102},
  publisher = {Intellect}
}

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

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

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

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

@INPROCEEDINGS{grace-tfp,
  author = {Thomas Horstmeyer and Rita Loogen},
  title = {Graph-based Comminication in {Eden}},
  OLDbooktitle = {Tenth Symposium on Trends in Fuctional Programming},
  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},
  OLDpages = {261--273},
  pages = {1--16},
  volume = {10},
  publisher = {Intellect},
}

@MISC{PdistHs,
  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{husslederman1996iss,
  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{hammond-intro,
  author = {Kevin {H}ammond},
  title = {Parallel Functional Programming: An Introduction},
  booktitle = {First Intl. Symposium on Parallel Symbolic Computation},
  year = {1994},
  publisher = {World Scientific},
  note = {Hagenberg/Linz, Austria}
}

@INPROCEEDINGS{symgrid,
  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},
  month = {August},
  organization = {EuroPar'07 -- European Conf. on Parallel Processing, Rennes, France},
  publisher = {Spinger-Verlag}
}

@BOOK{higham-stability,
  title = {Accuracy and Stability of Numerical Algorithms},
  publisher = {SIAM},
  year = {1996},
  author = {Nicholas J. {H}igham}
}

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

@INPROCEEDINGS{FFT:chip,
  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{jebelean97using,
  author = {Jebelean, T.},
  title = {Using the parallel {Karatsuba} algorithm for long integer multiplication
	and division},
  booktitle = {Euro-Par'97 Parallel Processing},
  year = {1997},
  pages = {1169--1172},
  publisher = S-V
}

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

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

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

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

@INPROCEEDINGS{jerzy-discrete,
  author = {Jerzy Karczmarczuk},
  title = {Lazy Processing and Optimization of Discrete Sequences},
  booktitle = {Proceedings of the JFLA},
  year = {2000}
}

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

@MISC{jerzy-pi,
  author = {Jerzy Karczmarczuk},
  title = {The Most Unreliable Technique in the World to Compute PI},
  year = {1998}
}

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

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

@INPROCEEDINGS{KLP00,
  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}},
  pages = {53--64},
  publisher = {Intellect}
}

@INPROCEEDINGS{Eden:IFL00,
  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},
  CONFyear = {2000},
  series = {LNCS 2011},
  pages = {71--88},
  OPTaddress = {Aachen, Germany},
  OPTmonth = Sep,
  publisher = S-V,
  optvolume = {2011},
  year = {2001}
}

@INPROCEEDINGS{Eden:IFL98,
  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},
  pages = {103-119},
  publisher = S-V,
  optvolume = {1595}
}

@INPROCEEDINGS{Eden:bypassSFP99,
  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}},
  pages = {2--11},
  publisher = {Intellect},
  url = {http://www.cee.hw.ac.uk/\~greg/sfp/},
  optaddress = {Stirling, Scotland},
  optbooktitle = {# SFP #}
}

@ARTICLE{koren2001computer,
  author = {Koren, Israel},
  title = {Computer Arithmetic Algorithms},
  year = {2001},
  OPTaddress = {Natick, MA, USA},
  edition = {second},
  publisher = {AK Peters}
}

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

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

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

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

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

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

@INPROCEEDINGS{Parsac,
  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{gramabuch,
  title = {Introduction to parallel computing: design and analysis of algorithms},
  publisher = {Benjamin-Cummings Publishing Co., Inc.},
  year = {1994},
  author = {V. Kumar and A. Grama and A. Gupta and G. Karypis},
  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{karatsuba,
  author = {A. {K}aratsuba and Yu. {O}fman},
  title = {Multiplication of Many-Digital Numbers by Automatic Computers},
  journal = {Doklady Akad. Nauk SSSR},
  year = {1962},
  volume = {145},
  pages = {293--294},
  note = {Translation in Physics--Doklady 7, 595--596, 1963}
}

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

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

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

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

@ARTICLE{Lakshmivarahan19991877,
  author = {S. Lakshmivarahan and Sudarshan K. Dhall},
  title = {Ring, torus and hypercube architectures/algorithms for parallel computing},
  journal = {Parallel Computing},
  year = {1999},
  volume = {25},
  pages = {1877-1906},
  number = {13-14},
  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},
  Xdoi = {DOI: 10.1016/S0167-8191(99)00069-1},
  Xissn = {0167-8191},
  keywords = {Computer architecture},
  Xurl = {http://www.sciencedirect.com/science/article/B6V12-48CPB0M-1D/2/497bf4fe1c63a8beae64c2a611b79b1b}
}

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

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

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

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

@MISC{lobachev-diplom-,
  author = {Oleg Lobachev},
  title = {{Multimodulare Arithmetik}},
  month = mar,
  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}},
  date-modified = {2010-05-07 22:21:50 +0200},
  OPTinstitution = {Justis-Liebig-Universit\"{a}t Gie\ss{}en}
}

@PhdThesis{lobachev-diplom,
  author =	 {Oleg Lobachev},
  title =	 {{Mult