.. _thesis-literature:

==========
Literature
==========

.. [Harvey2009multipoint]
.. [Daly2003horizon]
.. [Knuth1985seminumerical]
.. [Knuth1998sorting]
.. [vanHoeij2002knapsack]
.. [Belabas2004relative]
.. [Nijenhuis1978combinatorial]
.. [Joyner2008axiom]
.. [Joyner2006maxima]
.. [Wilf1978bisection]
.. [Gathen1997taylor]
.. [Pinkert1976complex]
.. [Sharma2007complexity]
.. [Collins1976descarte]
.. [Johnson1997isolation]
.. [Johnson2005taylor]
.. [Johnson1992interval]
.. [Collins1992infallible]
.. [Collins1996complex]
.. [Hulzen1982notorious]
.. [Loos1983algebraic]
.. [Kaltofen1983factor]
.. [Liao1995heuristic]
.. [Trager1976algebraic]
.. [Lewis1999comparison]
.. [Wester1999guide]
.. [Wester1999critique]
.. [Wester1999algebra]
.. [Moenck1976practical]
.. [Bronstein2005integration]
.. [Geddes1992algorithms]
.. [Gathen1999modern]
.. [Davenport1988systems]
.. [Giovini1991sugar]
.. [Davenport2002equality]
.. [Collins1996improved]
.. [Fateman2005encoding]
.. [Monagan1993inplace]
.. [Monagan2009parallel]
.. [Monagan2007heaps]
.. [Monagan2006modulo]
.. [Pearce2001relations]
.. [Li2006levels]
.. [Lenstra1982factor]
.. [Zhi1997optimal]
.. [Bronstein2004algebra]
.. [Aldor2000guide]
.. [Faugere1999f4]
.. [Faugere2002f5]
.. [Saxena1997elimination]
.. [Kaltofen1999genericity]
.. [Richardson1997zero]
.. [Monagan2004algebraic]
.. [Gao2003partial]
.. [Abbott2000searching]
.. [Shoup1993reality]
.. [Kaltofen1995subquadratic]
.. [Shoup1995factor]
.. [Gathen1992frobenious]
.. [Gathen1983polytime]
.. [Musser1975factor]
.. [Stoutemyer2007useful]
.. [Buchberger2001systems]
.. [Gao2004deterministic]
.. [vanHoeij2002modgcd]
.. [Gasca2000interpolation]
.. [Bernstein2008fast]
.. [Ceberio2004greedy]
.. [Javadi2007spmod]
.. [Javadi2006spmod]
.. [Ajwa95groebner]
.. [Ulmer1996kovacic]
.. [Roach1996hyper]
.. [Roach1997meijer]
.. [Jeffrey2005affine]
.. [Roach1992integration]
.. [Kauers2008heuristic]
.. [Javadi2007inplace]
.. [Wang1980eezgcd]
.. [Monagan1994signature]
.. [Gonnet1999heuristic]
.. [Abramov1995polynomial]
.. [Abramov1995rational]
.. [Petkovsek1992hyper]
.. [Nemes1997monthly]
.. [Koepf1996identification]
.. [Jeffrey1998piecewise]
.. [Bronstein1998tutorial]
.. [Bronstein1993partial]
.. [Javadi2009factor]
.. [Zhi2000factor]
.. [Gerhard2006modular]
.. [Frink2001large]
.. [Brent1978fps]
.. [Encarnacion1994modular]
.. [Paule1995greatest]
.. [Fu2006automated]
.. [Jeffrey2001advanced]
.. [Moses1971simplification]
.. [Wang1976teaching]
.. [Chyzak1998groebner]
.. [Fateman1972simplifying]
.. [Carette2004understanding]
.. [Abramowitz1964handbook]
.. [Davenport2003difficulties]
.. [Caviness1970canonical]
.. [Arnon1984basic]
.. [Bronstein2005pmint]
.. [Gruntz1996limits]
.. [Petkovsek1997AeqB]
.. [Mulholland2001trigonometric]
.. [Akritas2008improving]
.. [Akritas2008study]
.. [Rump1979root]
.. [Sagraloff2009certified]
.. [Zippel1976expansions]
.. [Yun1976squarefree]
.. [Wang1981partial]
.. [Wang1975integers]
.. [Wang1978improved]
.. [Wang1976algebraic]
.. [Shamir1993hard]
.. [Jeffrey1997rectifying]
.. [Moses1973ezgcd]
.. [Jeffrey1994spurious]
.. [Cormen2001algorithms]
.. [Cohen1993course]
.. [Encarnacion1997norms]
.. [Hopcroft2001automata]
.. [Fateman1972essays]
.. [Geddes1989risch]
.. [Adamchik1990hyper]
.. [Brent1975series]
.. [Karr1981summation]
.. [Weinberger1976factor]
.. [Karr1985canonical]
.. [Horowitz1971modular]
.. [Brown1971subres]
.. [Brown1971gcd]
.. [Davenport1981factor]
.. [Czapor1991heuristic]
.. [Almqvist1990under]
.. [Cherry1984special]
.. [Li1993kolmogorov]
.. [Gianni1985groebner]
.. [Knowles1986liouvillian]
.. [Knowles1993transcendental]
.. [Lakshman1996issac]
.. [Paprocki2009sympy]
.. [Adams1994intro]
.. [Tantau2008tikz]
.. [Stegers2006f5]
.. [Wolfram2003book]
.. [Souza2004book]
.. [Cox1997ideals]
.. [Jirstrand1995cylindrical]
.. [MacLane1972categories]
.. [deKleine2005nonmonic]
.. [Kozen1989decomposition]
.. [Rump1976sign]
.. [Strzebonski1997computing]
.. [Barnett2002sciences]
.. [Yun1976padic]
.. [Zippel1996zero]
.. [Buchberger2007talk]
.. [Watt2006symbolic]
.. [Sturmfels2008invariant]
.. [Kubale2004color]
.. [Dijkstra1982zero] http://userweb.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD831.html
.. [MathematicaInternal] http://reference.wolfram.com/mathematica/note/SomeNotesOnInternalImplementation.html
.. [PythonIssue1771] http://bugs.python.org/issue1771
.. [SymPyGSoC2010] http://wiki.sympy.org/wiki/GSoC2010Ideas
.. [PlanetMathSymmetric] http://planetmath.org/encyclopedia/ReductionAlgorithmForSymmetricPolynomials.html
.. [MaximaGroebner] http://maxima.sourceforge.net/docs/manual/en/maxima_54.html
.. [MathematicaGroebner] http://reference.wolfram.com/mathematica/tutorial/ComplexPolynomialSystems.html
.. [PythonModules] http://docs.python.org/tutorial/modules.html
.. [UnladenSwallow] http://code.google.com/p/unladen-swallow
.. [PyPy] http://codespeak.net/pypy
.. [KNS2009]
.. [EuroSciPy2009]
.. [Py4Science2010]
.. [EuroSciPy2010]
.. [Buchberger1965thesis]
.. [Abramson2006translation]
.. [Abramson2009history]
.. [Traverso1991integer]
.. [Winkler1990geometry]
.. [Buchberger1998applications]
.. [Sturmfels1996lectures]
.. [Grabmeier2003algebra]
.. [Graham1994concrete]
.. [Haigh2005interview]
.. [Hamming1987numerical]