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] |
