@techreport{AbCo92,
   author    = {Karl Aberer and Bruno Codenotti},
   title     = {Towards a Complexity Theory for Approximation},
   institution = {International Computer Science Institute},
   year      = {1992},
   month     = feb,
   address   = {Berkeley, CA},
   number    = {ICSI-TR-92-012},
   owner     = {K}
}


@misc{Abdeljaoued95,
   author    = {J. Abdeljaoued},
   title     = {Sur l'algorithm de Berkowitz pour le calcul du
       d\'eterminant dans un anneau conmutatif arbitraire},
   year      = {1995},
   howpublished = {preprint 4/95, Universit\'e de Franche Compte, Besan\c
       con, France},
   owner     = {G}
}


@misc{Abdeljaoued96,
   author    = {J. Abdeljaoued},
   title     = {The Berkowitz Algorithm, Maple and Computing the
       Characteristic Polynomial in an Arbitrary Commutative
       Ring},
   year      = {1996},
   howpublished = {preprint 1997, Universit\'e de Franche Compte, Besan\c
       con, France},
   owner     = {K}
}


@phdthesis{Abdeljaoued97,
   author    = {J. Abdeljaoued},
   title     = {Algorithmes rapides pour le Calcul du Polyn\^ome
       Caract\'eristique},
   year      = {1997},
   school    = {Universit\'e de Franche Compte, Besan\c con, France},
   owner     = {M}
}


@article{Abrahamson86,
   author    = {K. Abrahamson},
   title     = {Time-Space Tradeoffs for Branching Programs contrasted
       with those for Straight-Line Programs},
   journal   = {IEEE},
   year      = {1986},
   pages     = {402--409},
   owner     = {K}
}


@article{Abrahamson90,
   author    = {K. Abrahamson},
   title     = {A Time-Space Tradeoff for Boolean Matrix
       Multiplication},
   journal   = {IEEE},
   year      = {1990},
   volume    = {43},
   pages     = {412--419},
   owner     = {J,K}
}


@article{Abrahamson91,
   author    = {K. Abrahamson},
   title     = {Time-Space Tradeoffs for Algebraic Problems on General
       Sequential Machines},
   journal   = {Journal of Computer and System Sciences},
   year      = {1991},
   volume    = {43},
   pages     = {269--289},
   owner     = {J,K}
}


@inproceedings{AdLe86,
   author    = {L. M. Adleman and H. W. Lenstra},
   title     = {{Finding} irreducible polynomials over finite fields},
   booktitle = {{Proceedings} of the 18th {Ann.} {ACM} {Symposium} on
       {Theory} of {Computing} ({Berkeley,} {CA)}},
   organization = {ACM},
   year      = {1986},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {350--355},
   owner     = {K}
}


@article{AdlemanPoRu83,
   author = "Leonard M. Adleman and Carl Pomerance and Robert S.
                 Rumely",
   journal = "Annals of Mathematics",
   pages = "173--206",
   title = "On Distinguishing Prime Numbers from Composite
                 Numbers",
   volume = "117",
   year = "1983",
   owner = "K",
}

@inproceedings{AdMaMi77,
   author = "Leonard Adleman and Kenneth Manders and Gary Miller",
   address = "Providence, Rhode Island",
   booktitle = "18th Annual Symposium on Foundations of Computer
                 Science",
   month = "31 " # oct # "--2 " # nov,
   organization = "IEEE",
   pages = "175--178",
   title = "On Taking Roots in Finite Fields",
   year = "1977",
   owner = "K",
}

@book{AhHoUl76,
   author    = {A. V. Aho and J. E. Hopcroft and J. D. Ullman},
   title     = {The design and analysis of computer algorithms},
   year      = {1976},
   publisher = {Addison--Wesley, Reading, Massachusetts},
   owner     = {J}
}


@misc{Aho96,
   author    = {{A. V. Aho} {\em et al}},
   title     = {Theory of Computing: goals and directions},
   year      = {1996},
   howpublished = {Manuscript},
   owner     = {K}
}

@book{AhoHoUll74,
   author    = {A. V. Aho and J. E. Hopcroft and J. D. Ullman},
   title     = {The design and analysis of computer algorithms},
   year      = {1974},
   publisher = {Addison--Wesley}
}


@article{AhStUl75,
   author    = {Alfred V. Aho and Kenneth Steiglitz and Jeffrey D.
       Ullman},
   title     = {Evaluating Polynomials at Fixed Sets of Points},
   journal   = {SIAM Journal on Computing},
   year      = {1975},
   volume    = {4},
   number    = {4},
   pages     = {533--539},
   mon       = dec
}


@article{AlAlSo97,
   author    = {M. Almeida and L. {D'Alfonso} and P. Solern{\'o}},
   title     = {On the degrees of bases of free modules over a
       polynomial ring},
   year      = {1998},
   journal = {Math. Zeitschrift, {\em to appear}},
   owner     = {J,K},
   pages     = {1--24}
}


@inproceedings{AlBeRoWo94,
   author    = {M. E. Alonso and E. Becker and M.-F. Roy and T.
       W{\"o}rmann},
   title     = {Zeroes, multiplicities and idempotents for
       zerodimensional systems},
   booktitle = {Algorithms in Algebraic Geometry and Applications.
       Proceedings of MEGA'94},
   year      = {1996},
   publisher = {Birkh{\"a}user},
   pages     = {1--15},
   owner     = {LM},
   editors   = {L. Gonz\'alez-Vega and T. Recio},
   series    = {Progress in Mathematics},
   volume    = {142}
}


@inproceedings{Aldaz96,
   author    = {M. Aldaz},
   title     = {Implementaci\'on de n\'umeros racionales mediante la
       estructura de datos straight--line program},
   booktitle = {Proceedings of {TERA}'96},
   year      = {1996},
   month = apr,
   editor    = {M. Giusti and J. Heintz and L. M. Pardo},
   publisher = {Universidad de Cantabria, Facultad de Ciencias, {\tt
       http://hilbert.matesco.unican.es/tera/}},
   address   = {Santander, Spain},
   owner     = {K}
}


@phdthesis{Alder84,
   author    = {A. Alder},
   title     = {Grenzrang und Grenzkomplexit{\"a}t aus algebraischer
       und topologischer Sicht},
   year      = {1984},
   school    = {Universit{\"a}t Z{\"u}rich, Philosophische
       Fakult{\"a}t II},
   owner     = {J,K}
}


@misc{AlHeMaMoPa96,
   author    = {M. Aldaz and J. Heintz and G. Matera and J. L.
       Monta{\~n}a and L. M. Pardo},
   title     = {Time-Space Tradeoffs in algebraic complexity theory},
   year      = {1996},
   howpublished = {preprint, Universidad de Cantabria, Santander, Spain},
   owner     = {K}
}


@book{Apostol89,
   author    = {T. M. Apostol},
   title     = {An\'alisis Matem\'atico},
   year      = {1989},
   publisher = {Reverte S.A.},
   address   = {Barcelona},
}


@mastersthesis{Armendariz1,
   author    = {I. Armend\'ariz},
   title     = {La complejidad del c\'alculo de la dimension de una
       variedad algebraica},
   year      = {1995},
   school    = {Universidad de Buenos Aires},
   owner     = {J,K}
}


@inproceedings{ArSo94,
   author    = {I. Armend{\'a}riz and P. Solern{\'o}},
   title     = {On the computation of the radical of polynomial
       complete intersection ideals},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes. Proceedings of {AAECC-11}},
   year      = {1995},
   editor    = {G. Cohen and H. Giusti and T. Mora},
   publisher = {Springer},
   pages     = {106--119},
   owner     = {J,K},
   series    = {LNCS},
   volume    = {948}
}


@article{AtFl96,
   author    = {G. Attardi and T. Flagella},
   title     = {Memory Management in the {PoSSo} Solver},
   journal   = {Journal of Symbolic Computation},
   year      = {1996},
   volume    = {21},
   number    = {3},
   pages     = {293--??},
   owner     = {K}
}


@techreport{AtkinMorain90,
   author = "A. O. L. Atkin and F. Morain",
   institution = "Institut National de Recherche en Informatique et
                 Automatique (National Institute for Research in
                 Computer and Control Sciences)",
   number = "RR-1256",
   title = "Elliptic Curves and Primality Proving",
   year = "1990",
   url = "ftp://ftp.inria.fr/INRIA/tech-reports/RR-1256.ps.Z",
   owner = "K",
}

@book{AtMa69,
   author    = {M. F. Atiyah and J. G. MacDonald},
   title     = {Introduction to Commutative Algebra},
   year      = {1969},
   publisher = {Addison-Wesley},
   address   = {Reading, Massachusetts}
}


@techreport{AtMo91,
   author = "A. O. L. Atkin and F. Morain",
   institution = "Institut National de Recherche en Informatique et
                 Automatique (National Institute for Research in
                 Computer and Control Sciences)",
   number = "RR-1547",
   year = "1991",
   title = "Finding suitable curves for the Elliptic Curve
                 factoring method",
   url = "ftp://ftp.inria.fr/INRIA/tech-reports/RR-1547.ps.Z",
   owner = "K",
}

@misc{AuMa97,
   author    = {P. Aubry and M. Maza},
   title     = {Triangular Sets for Solving Polynomial Systems: a
       Comparison of Four Methods},
   howpublished = {preprint},
   owner     = {K},
   pages     = {1--23}
}


@article{AuSt88,
   author    = {W. Auzinger and H. J. Stetter},
   title     = {An Elimination Algorithm for the Computation of all
       Zeros of a System of Multivariate Polynomial
       Equations},
   journal   = {International Series of Numerical Mathematics},
   year      = {1988},
   volume    = {80},
   pages     = {11--30}
}


@book{axiom,
   author    = {Stephen Watt and Peter A. Broadberry and Samuel S.
       Dooley and Pietro Iglio and Scott C. Morrison and
       Jonathan M. Steinbach and Robert S. Stutor},
   title     = {Axiom Library Compiler},
   year      = {1995},
   month     = mar,
   publisher = {NAG}
}


@book{Baase78,
   author    = {Sara Baase},
   title     = {Computer algorithms~: Introduction to design and
       analysis},
   year      = {1978},
   publisher = {Addison--Wesley}
}


@article{Bach90,
  author =       "Eric Bach",
  title =        "Explicit Bounds For Primality Testing And Related
                 Problems",
  journal =      "Mathematics of Computation",
  volume =       "55",
  year =         "1990",
  pages =        "355--380",
  owner = "K",
}

@article{BaCoWr82,
   author    = {H. Bass and E. Connelle and T. Wright},
   title     = {The Jacobian Conjecture: reduction of degree and
       formal expansion of the inverse},
   journal   = {Bull. AMS},
   year      = {1982},
   volume    = {7},
   number    = {2},
   pages     = {287--330},
   owner     = {J}
}


@book{BaDiGa88,
   author    = {J. L. Balc\'azar and J. D\'{\i}az and J. Gabarr\'o},
   title     = {Structural complexity {I}},
   year      = {1988},
   publisher = {Springer},
   volume    = {11},
   series    = {EATCS},
   owner     = {K}
}


@article{BaGiHeMaMb97,
   author    = {B. Bank and M. Giusti and J. Heintz and R. Mandel and
       G. Mbakop},
   title     = {Polar Varieties and Efficient Real Equation Solving:
       The Hypersurface Case.},
   journal   = {J. of Complexity},
   year      = {1997},
   volume    = {13},
   number    = {1},
   pages     = {5--27},
   owner     = {K}
}


@article{BaGiHeMb97,
   author    = {B. Bank and M. Giusti and J. Heintz and G. Mbakop},
   title     = {Polar Varieties and Efficient Real Equation Solving:
       The Hypersurface Case.},
   journal   = {J. of Complexity},
   year      = {1997},
   volume    = {13},
   number    = {1},
   pages     = {5--27},
   owner     = {K}
}


@techreport{BaGiMc91,
   author    = {E. Bach and M. Giesbrecht and J. McInnes},
   title     = {The Complexity of Number Theoretic Problems},
   institution = {University of Toronto, Department of Computer
       Science},
   year      = {1991},
   number    = {247/91},
   owner     = {J,K}
}


@incollection{BaHeKrMaSo90,
   author    = {B. Bank and J. Heintz and T. Krick and R. Mandel and
       P. Solern{\'o}},
   title     = {Computability and Complexity of Polynomial
       Optimization Problems},
   booktitle = {Modern Methods of Optimization},
   year      = {1990},
   editor    = {W. Krabs and J. Zowe},
   publisher = {Springer},
   pages     = {1--23},
   owner     = {J,K}
}


@article{BaHeKrMaSo93,
   author    = {B. Bank and J. Heintz and T. Krick and R. Mandel and
       P. Solern{\'o}},
   title     = {Une Borne Optimale Pour La Programmation Enti\'ere
       Quasi-Convexe},
   journal   = {Bull. Soc. math. France},
   year      = {1993},
   volume    = {121},
   pages     = {299--314},
   owner     = {J,K},
   publisher = {Springer}
}


@inproceedings{BaMu93,
   author    = {D. Bayer and D. Mumford},
   title     = {What Can be Computed in Algebraic Geometry ?},
   booktitle = {Computational Algebraic Geometry and Commutative
       Algebra},
   organization = {Instituto Nazionale di Alta Matematica},
   year      = {1993},
   editor    = {D. Eisenbud and L. Robbiano},
   publisher = {Cambridge University Press},
   pages     = {1--49},
   owner     = {K, LM},
   series    = {Symposia Matematica},
   volume    = {XXXIV}
}


@article{BaPoRo97,
   author    = {Saugata Basu and Richard Pollack and
       Marie-Fran{\c{c}}oise Roy},
   title     = {On Computing a Set of Points Meeting Every Cell
       Defined by a Family of Polynomials on a Variety},
   journal   = {Journal of Complexity},
   year      = {1997},
   month     = mar,
   volume    = {13},
   number    = {1},
   pages     = {28--37}
}


@article{BaSh90,
   author    = {E. Bach and V. Shoup},
   title     = {Factoring Polynomials Using Fewer Random Bits},
   journal   = {Journal of Symbolic Computation},
   year      = {1990},
   volume    = {9},
   pages     = {1--11},
   owner     = {K}
}


@article{BaSt83,
   author    = {W. Baur and V. Strassen},
   title     = {The complexity of partial derivatives},
   journal   = {Theoret. Comp. Sci.},
   year      = {1983},
   volume    = {22},
   pages     = {317--330},
   owner     = {J,K},
   howpublished = {preprint 19 pages}
}


@misc{Baur1,
   author    = {W. Baur},
   title     = {On The Algebraic Complexity of Rational Iteration
       Procedures},
   howpublished = {preprint 20 pages},
   owner     = {J,K}
}


@article{BaWa80,
  author = "R. Baillie and S. S. {Wagstaff, Jr.}",
  title = "Lucas Pseudoprimes",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1980",
  month = oct,
  volume = "35",
  number = "152",
  pages = "1391-1417",
}

@phdthesis{Bayer82,
   author    = {D. Bayer},
   title     = {The Division Algorithm and the Hilbert Scheme},
   year      = {1982},
   school    = {Harvard University},
   owner     = {LM}
}


@inproceedings{BeBrCrGo86,
   author = "Beauchemin and Brassard and Crepeau and Goutier",
   booktitle = "CRYPTO: Proceedings of Crypto",
   volume = "SLNCS 263",
   title = "Two Observations on Probabilistic Primality Testing",
   year = "1986",
   owner = "K",
}

@inproceedings{BeCaRoSz94,
   author    = {E. Becker and J. P. Cardinal and M. F. Roy and Z.
       Szafraniec},
   title     = {Multivariate Bezoutians, Kronecker symbol and
       Eisenbud-Levine formula},
   booktitle = {Algorithms in Algebraic Geometry and Applications.
       Proceedings of MEGA'94},
   year      = {1996},
   publisher = {Birkh{\"a}user},
   pages     = {79--104},
   owner     = {LM},
   editors   = {L. Gonz\'alez-Vega and T. Recio},
   series    = {Progress in Mathematics},
   volume    = {142}
}


@inproceedings{BeFeKoTi86,
   author    = {M. Ben-Or and E. Feig and D. Kozen and P. Tiwarit},
   title     = {A Fast Parallel Algorithm for Determining All Roots of
       {A} Polynomial},
   booktitle = {Proceedings 18. ACM STOC},
   year      = {1986},
   pages     = {350--355},
   owner     = {K}
}


@misc{BeGaLiZh96,
   author    = {R. Beigel and B. Gasarch and M. Li and L. Zhang},
   title     = {Addition in $\log_2 n + {O}(1)$ Steps on Average: {A}
       Simple Analysis},
   year      = {1996},
   howpublished = {ECCC TR96-051},
   owner     = {K},
   pages     = {2}
}


@inproceedings{BeKoRe84,
   author    = {M. Ben-Or and D. Kozen and J. Reif},
   title     = {The complexity of elementary algebra and geometry},
   booktitle = {Proceedings 16. ACM STOC},
   year      = {1984},
   pages     = {457--464},
   owner     = {K}
}


@incollection{Belaga61,
author = "E. G. Belaga",
title = "Evaluation of Polynomials of one variable
with preliminary preprocessing of the coefficients",
editor = "A.A. Lyapunov",
booktitle = "Problems of Cybernetics",
volume = 5,
year = 1961,
pages = {1--13},
}

@unpublished{BeLe93,
   owner = "K",   
   author = "D. J. Bernstein and A. K. Lenstra",
   title = "A General Number Field Sieve Implementation",
   year = "1993",
   publisher = "Bellcore Labs",
}

@article{BenOr83,
   author    = {M. Ben-Or},
   title     = {Lower Bounds for Algebraic Computation Trees},
   journal   = {ACM 15. ACM STOC},
   year      = {1983},
   volume    = {4},
   pages     = {80--86},
   owner     = {K, LM}
}


@article{Berkowitz84,
   author    = {S. J. Berkowitz},
   title     = {On Computing the determinant in small parallel time
       using a small number of processors},
   journal   = {Information Processing Letters},
   year      = {1984},
   volume    = {18},
   pages     = {147--150},
   owner     = {J,K}
}


@incollection{Berlekamp68,
   author    = {E. R. Berlekamp},
   title     = {Factoring Polynomials over finite fields},
   booktitle = {Algebraic Coding Theory},
   chapter   = {6},
   year      = {1968},
   editor    = {E. R. Berlekamp},
   publisher = {McGraw-Hill}
}


@article{Berlekamp70,
   author    = {E. R. Berlekamp},
   title     = {Factoring Polynomials over large finite fields},
   journal   = {Math. Comp.},
   year      = {1970},
   volume    = {24},
   pages     = {713--735},
   owner     = {K}
}


@article{Berman80,
   author    = {L. Berman},
   title     = {The Complexity of Logical Theories},
   journal   = {Theo. Comp. Sci.},
   year      = {1980},
   volume    = {11},
   pages     = {71--77},
   owner     = {J,K}
}


@article{Bernstein75,
   author    = {D. N. Bernstein},
   title     = {The number of roots of a system of equations},
   journal   = {Funkts. Anal. Pril.},
   year      = {1975},
   volume    = {9},
   pages     = {1--4},
   owner     = {J}
}


@article{BeSt91,
   author    = {C. Berenstein and Struppa},
   title     = {Recent Improvements in the Complexity of the Effective
       Nullstellensatz},
   journal   = {Linear Algebra and Its Applications},
   year      = {1991},
   volume    = {157},
   owner     = {LM}
}


@book{BeWe93,
   author    = {T. Becker and B. V. Weispfenning},
   title     = {{G}{\"o}bner bases: a computational approach to
       commutative algebra},
   year      = {1993},
   publisher = {Springer Verlag},
   address   = {New York},
}


@book{BeWe93,
   author    = {V. Weispfenning and T. Becker},
   title     = {Groebner bases: a computational approach to
       commutative algebra},
   year      = {1993},
   publisher = {Springer},
   volume    = {141},
   series    = {Graduate Texts in Mathematics: readings in
       mathematics}
}


@article{BeYg91,
   author    = {C. Berenstein and A. Yger},
   title     = {Une Formule de Jacobi et ses cons\'equences},
   journal   = {Ann. Sci. E.N.S.},
   year      = {1991},
   volume    = {24},
   number    = {4},
   pages     = {363--377},
   owner     = {LM}
}


@article{BeYg91A,
   author    = {C. Berenstein and A. Yger},
   title     = {Effective {B}\'ezout identities in
       ${Q}[{X}_1,\ldots,{X}_n]$},
   journal   = {Acta. Math.},
   year      = {1991},
   volume    = {166},
   pages     = {69--120},
   owner     = {LM}
}


@misc{BeZa96,
   author    = {F. Beukers and D. Zagier},
   title     = {Lower bounds of heights of points on hypersurfaces},
   year      = {1996},
   howpublished = {preprint},
   owner     = {K}
}


@inproceedings{BiGe90,
   author    = {D. Bini and L. Gemignani},
   title     = {On the Euclidean scheme for polynomials having
       interlaced real zeros},
   booktitle = {{Proceedings} 2nd. Annual ACM Symposium on Parallel
       Algorithms and Architectures},
   year      = {1990},
   publisher = {ACM Press, New York},
   pages     = {254--258},
   owner     = {??}
}


@article{BiGe95,
   author    = {D. Bini and L. Gemignani},
   title     = {Fast parallel computation of the polynomial remainder
       sequence via Bezout and Hankel matrices},
   journal   = {SIAM Journal of Computing},
   year      = {1995},
   volume    = {24},
   number    = {1},
   pages     = {63--77},
   owner     = {??}
}

@article{BiGe95,
   author    = {Dario Bini and Luca Gemignani},
   title     = {Fast Parallel Computation of the Polynomial Remainder
       Sequence Via {B\'ezout} and {Hankel} Matrices},
   journal   = sicomp,
   year      = {1995},
   month     = feb,
   volume    = {24},
   number    = {1},
   pages     = {63--77},
   owner     = {K}
}


@article{BiGeSt93,
   author    = {L. J. Billera and I. M. Gel'fand and B. Sturmfels},
   title     = {Duality and Minors of Secondary Polyhedra},
   journal   = {Journal of Combinatorial Theory},
   year      = {1993},
   volume    = {57},
   number    = {2},
   pages     = {258--268},
   owner     = {LM}
}


@techreport{BiPa92,
   author    = {Dario Bini and Victor Pan},
   title     = {Improved Parallel Polynomial Division and Its
       Extensions},
   institution = {International Computer Science Institute},
   year      = {1992},
   month     = aug,
   address   = {Berkeley, CA},
   number    = {ICSI-TR-92-051},
   owner     = {K}
}


@techreport{BiPa92A,
   author    = {Dario Bini and Victor Pan},
   title     = {Improved Parallel Computations with Toeplitz-like and
       Hankel-like Matrices},
   institution = {International Computer Science Institute},
   year      = {1992},
   month     = aug,
   address   = {Berkeley, CA},
   number    = {ICSI-TR-92-052},
   owner     = {K}
}


@book{BiPa94,
   author    = {D. Bini and V. Pan},
   title     = {Polynomial and matrix computations},
   year      = {1994},
   publisher = {Birkh{\"a}user Boston--Basel--Berlin},
   series    = {Progress in theoretical computer science},
   owner     = {J,G}
}


@inproceedings{Birch69,
   owner = "K",   
  author = "B. J. Birch",
   booktitle = "Proceedings of the Symposium in Pure Mathematics",
   pages = "396-400",
   publisher = "AMS",
   title = "Elliptic Curves over Q: A Progress Report",
   year = "1969",
}


@article{BjLoYa92,
   author    = {A. Bjorner and L. Lov\'asz and A. Yao},
   title     = {Linear Decision Trees: Volume estimates and
       Topological Bounds},
   journal   = {Proccedings of ACM 24th Symposium on Theory of
       Computing},
   year      = {1992},
   pages     = {170--177}
}


@incollection{Bjorck90,
   author    = {G{\"o}ran Bj{\"o}rck},
   title     = {Functions of Modulus 1 on ${Z}$, whose Fourier
       Transforms have constant Modulus, and cyclic
       $n$-roots},
   booktitle = {Recent Advances in Fourier Analysis and Its
       Applications},
   year      = {1990},
   editor    = {J. S. Byrnes and J. L. Byrnes},
   publisher = {Kluwer},
   address   = {The Netherlands},
   pages     = {131--140},
   series    = {NATO Advanced Study Institute},
   owner     = {G},
   volume    = {315}
}


@techreport{BlCuShSm95,
   author    = {Lenore Blum and Felipe Cucker and Mike Shub and Steve
       Smale},
   title     = {Complexity and Real Computation: {A} Manifesto},
   institution = {International Computer Science Institute},
   year      = {1995},
   month     = aug,
   address   = {Berkeley, CA},
   number    = {ICSI-TR-95-042},
   owner     = {K}
}


@misc{BlCuShSm97,
   author    = {Lenore Blum and Felipe Cucker and Mike Shub and Steve
       Smale},
   title     = {Real Complexity and Computation},
   year      = {1997},
   howpublished = {Manuscript, to appear in Springer Verlag},
   institution = {International Computer Science Institute},
   address   = {Berkeley, CA}
}


@misc{BlCuShSm98,
   author    = {Lenore Blum and Felipe Cucker and Mike Shub and Steve
       Smale},
   title     = {Algebraic Setting for the Problem {$P\neq NP$}},
   year      = {1998},
   howpublished = {preprint, 20 pages},
   institution = {International Computer Science Institute},
   address   = {Berkeley, CA}
}

@article{BlShSm89,
   author    = {L. Blum and M. Shub and S. Smale},
   title     = {On a theory of computation and complexity over the
       real numbers: {NP}-completeness, recursive functions
       and universal machines},
   journal   = {Bull. of the AMS},
   year      = {1989},
   volume    = {21},
   number    = {1},
   pages     = {1--46},
   owner     = {LM}
}


@misc{BoCaHaMaWa97,
   author    = {A. Bompadre and A. Cafure and K. H{\"a}gele and G.
       Matera and A. Waissbein},
   title     = {Some remarks on the time--space tradeoff of geometric
       elimination procedures},
   year      = {1997},
   month     = sep,
   howpublished = {preprint, Universidad de Buenos Aires, Argentina},
   owner     = {GM}
}


@article{BoCoPi83,
   author    = {A. Borodin and S. Cook and N. Pippenger},
   title     = {Parallel Computation of well-endowed Rings and
       space-bounded probabilistic machines},
   journal   = {Inf. Control},
   year      = {1983},
   volume    = {58},
   pages     = {113--136},
   owner     = {J}
}


@book{BoCoRo87,
   author    = {J. Bochnack and M. Coste and M.-F. Roy},
   title     = {{G}\'eom\'etrie alg\'ebrique r\'eelle},
   year      = {1972},
   series = {Ergebnisse der Math., 3. Folge},
   publisher = {Springer--Verlag}
}


@techreport{BoEr96,
   author    = {P. Borwein and T. Erd{\'e}lyi},
   title     = {Questions about Polynomials with $0,\pm 1$
       Coefficients},
   institution = {University of Britisch Columbia},
   year      = {1996},
   owner     = {K}
}


@inproceedings{BoGaHo82,
   author    = {A. Borodin and J. von zur Gathen and J. Hopcroft},
   title     = {Fast parallel matrix and gcd computations},
   booktitle = {Proceedings 23rd. Ann. Symp. FOCS},
   year      = {1982},
   pages     = {65--71},
   owner     = {LM}
}


@article{BoGiSo91,
   author    = {J.-B. Bost and H. Gillet and C. Soul\'e},
   title     = {Un analogue arithm\'etique du th\'eor\`eme de
       {B}\'ezout},
   journal   = {C. R. Acad. Sci. Paris},
   year      = {1991},
   volume    = {312},
   pages     = {845--848},
   owner     = {LM}
}


@misc{BoGiSo93,
   author    = {J.-B. Bost and H. Gillet and C. Soul\'e},
   title     = {Heights of projective varieties and positive Green
       forms},
   year      = {1993},
   howpublished = {Manuscript I.H.E.S.},
   owner     = {LM}
}


@misc{BoLe93,
   howpublished = "preprint",
   owner = "K",   
   author = "W. Bosma and A. K. Lenstra",
   title = "An Implementation of the elliptic curve integer factorization
            method (ECM in Magma)",
   year = "1993",
}


@inbook{BoLe95,
  author =       "W. Bosma and A. K. Lenstra",
  title =        "An Implenetation of the Elliptic Curve Integer
                  Factorization Method",
  booktitle =    "Computational Algebra and Number Theory",
  publisher =    "Kluwer Academic Publishers",
  year =         "1995",
  editor =       "W. Bosma and A. van der Poorten",
  pages =        "119-136",
  owner = "K",
}

@book{BoMu72,
   author    = {A. Borodin and J. Munro},
   title     = {The Computational Complexity of Algebraic and Numeric
       Problems},
   year      = {1972},
   publisher = {Elsevier},
   owner     = {LM}
}


@techreport{BoPi96,
   author    = {P. Borwein and C. G. Pinner},
   title     = {Polynomials with $0,\pm 1$ Coefficients and a root
       close to a given point},
   institution = {University of Britisch Columbia},
   year      = {1996},
   owner     = {K}
}


@inbook{BoPo95,
  author =       "E. Bombieri and A. J. {van der Poorten}",
  title =        "Continued Fractions of Algebraic Numbers",
  booktitle =    "Computational Algebra and Number Theory",
  publisher =    "Kluwer Academic Publishers",
  year =         "1995",
  editor =       "W. Bosma and A. van der Poorten",
  pages =        "137-152",
  owner = "K",
}

@article{BoRaSm93,
   author    = {A. Borodin and A. Razborov and R. Smolensky},
   title     = {On lower Bounds for Read-k-times Branching Programs},
   journal   = {Computational Complexity},
   year      = {1993},
   volume    = {3},
   pages     = {1--18},
   owner     = {J,K}
}


@article{Borel17,
   author    = {E. Borel},
   title     = {Lecons sur les Fonctions monog\`enes},
   year      = {1917},
   pages     = {73--81},
   owner     = {LM},
   chapter   = {IV}
}


@incollection{Borel48,
   author    = {E. Borel},
   title     = {La d\'efinition en math\'ematiques},
   booktitle = {Les Grands Courants de la Pens\'ee Math\'ematique},
   year      = {1948},
   publisher = {Cahier du Sud, Paris},
   pages     = {24--34},
   owner     = {LM}
}


@article{Borodin77,
   author    = {A. Borodin},
   title     = {On Relating Time and Space to Size and Depth},
   journal   = {SIAM J. on Comp.},
   year      = {1977},
   volume    = {6},
   pages     = {733--744},
   owner     = {LM}
}


@inproceedings{Borodin93,
   author    = {A. Borodin},
   title     = {Time Space Tradeoffs (Getting closer to the Barrier
       ?)},
   booktitle = {Algorithms and Computation. Proceedings 4. ISSAC},
   year      = {1993},
   publisher = {Springer},
   pages     = {209--220},
   owner     = {K},
   series    = {LNCS},
   volume    = {762}
}


@inproceedings{Bosder89,
   author = "Bosma and van der Hulst",
   booktitle = "EUROCRYPT: Advances in Cryptology: Proceedings of
                 EUROCRYPT",
   volume = "SLNCS 434",
   title = "Faster Primality Testing",
   owner = "K",   
   year = "1989"
}

@article{BoTi91,
   author    = {A. Borodin and P. Tirawi},
   title     = {On the Decidability of Sparse Uinvariate Polynomial
       Interpolation},
   journal   = {Computational Complexity},
   year      = {1991},
   volume    = {1},
   pages     = {67--90},
   owner     = {J,K}
}


@book{BrBr88,
   author = "G. Brassard and P. Bratley",
   publisher = "Prentice-Hall",
   title = "Algorithmics: Theory and Practice",
   owner = "K",   
   year = "1988"
}

@article{Brent80,
   author = "Richard P. Brent",
   journal = "BIT",
   number = "2",
   pages = "176--184",
   title = "An Improved {M}onte {C}arlo Factorization Algorithm",
   volume = "20",
   owner = "K",   
   year = "1980"
}

@article{Brent81a,
   author = "R. P. Brent and J. M. Pollard",
   journal = "Math. Comp.",
   pages = "627--630",
   title = "Factorization of the Eighth Fermat Number",
   volume = "36",
   owner = "K",   
   year = "1981"
}

@article{Brent90,
   author = "Richard P. Brent",
   journal = "(unknown)",
   pages = "149--163",
   title = "Some Integer Factorization Algorithms Using Elliptic Curves",
   owner = "K",   
   year = "1990"
}

@book{Bressoud89,
   owner = "K",   
   author = "David M. Bressoud",
   address = "Berlin",
   publisher = "Springer",
   title = "Factorization and Primality Testing",
   year = "1989",
   descriptor = "Elliptische Kurve, Euklidischer Algorithmus, Primzahl,
                    Public-Key-System, RSA"
}

@misc{BrGoWa95,
   author    = {P. A. Broadbery and T. G{\'o}mez-D{\'{\i}}az and S. M.
       Watt},
   title     = {On the Implementation of Dynamic Evaluation},
   year      = {1995},
   month     = jan,
   howpublished = {preprint 19 pages},
   owner     = {K}
}


@inproceedings{BrHaMaWa97,
   author    = {V. Braberman and K. H{\"a}gele and G. Matera and R.
       Wachenchauzer},
   title     = {The {TERA} Development Group as an Interface between
       Mathematicians and Computer Scientists},
   booktitle = {Proceedings of {TERA}'97},
   year      = {1997},
   month     = sep,
   owner     = {K},
   editor    = {J. Heintz and G. Matera and R. Wachenschauzer},
   publisher = {Universidad de C\'ordoba, Fa.M.A.F, 
   {\tt http://hilbert.matesco.unican.es/tera/}},
   address   = {C\'ordoba, Argentina},
}


@article{Briancon82,
   author    = {J. Briancon},
   title     = {Sur le degr\'e des relations entre polynomes},
   journal   = {C. R. Acad. Sc. Paris},
   year      = {1982},
   volume    = {297},
   pages     = {553--556},
   owner     = {J,K}
}


@book{BrLeSeTuWa88,
   owner = "K",   
   author = "J. Brillhart and D. Lehmer and J. Selfridge and B. Tuckerman and S. {Wagstaff Jr}",
   address = "Providence, Rhode Island",
   edition = "2nd",
   publisher = "American Mathematical Society",
   series = "Contemporary Mathematics",
   title = "Factorizations of $b^n \pm 1$, $b=2,3,5,6,7,10,11,12$
                 up to High Powers",
   volume = "22",
   year = "1988"
}

@article{BrMoSi88,
   owner = "K",   
  author = "J. Brillhart and P. L. Montgomery and R. Silverman",
   journal = "Mathematics of Computation",
   month = jan,
   number = "181",
   pages = "251-260",
   title = "Tables of Fibonacci and Lucas Factorizations",
   volume = "50",
   year = "1988"
}

@article{Brownawell87,
   author    = {D. W. Brownawell},
   title     = {Bounds for the Degree in the Nullstellensatz},
   journal   = {Annals of Math.},
   year      = {1987},
   volume    = {126},
   pages     = {577--591},
   owner     = {LM}
}


@article{Brownawell88,
   author    = {D. W. Brownawell},
   title     = {Local Diophantine Nullstellen inequalities},
   journal   = {J. of the AMS},
   year      = {1988},
   volume    = {1},
   pages     = {311--322},
   owner     = {LM}
}


@inbook{BrToWe71,
  author =       "J. Brillhart and J. Tonascia and P. Weinberger",
  title =        "On The Fermat Quotient",
  booktitle =    "Computers in Number Theory",
  year =         "1971",
  editor =       "A. O. L. Atkin and Birch",
  pages =        "213-222",
  owner = "K",
}

@article{Bruijn66,
   author    = {N. G. de Bruijn},
   title     = {On the number of positive integers $< x$ and free of
       prime factors $>y$, Part {II}},
   journal   = {Indagationes Math.},
   year      = {1966},
   pages     = {239--247},
   owner     = {K},
}


@mastersthesis{Bruno98,
   author    = {N. Bruno},
   title     = {Esquemas de compilaci{\'o}n de circuitos
       aritm{\'e}ticos uniformes descriptos por medio de
       funciones generatrices},
   year      = {1998},
   school    = {FaMAF, Universidad de C\'ordoba, Argentina},
   owner     = {J}
}


@incollection{Buchberger85,
   author    = {B. Buchberger},
   title     = {Gr{\"o}bner Bases: An algoritmic method in polynomial
       ideal theory},
   booktitle = {Multidimensional System Theory},
   year      = {1985},
   editor    = {N. K. {Bose et al}},
   publisher = {Reidel, Dordrecht},
   pages     = {374--383},
   owner     = {LM}
}


@unpublished{Buchmann,
   owner = "K",   
   author = "J. Buchmann",
   title = "Primality testing",
   year = "1990"
}

@book{BuClSh97,
   author    = {P. B{\"u}rgisser and M. Clausen and M. {Amin
       Shokrollahi}},
   title     = {Algebraic Complexity Theory},
   year      = {1997},
   publisher = {Springer},
   volume    = {315},
   series    = {Grundlehren der mathematischen Wissenschaften},
   owner     = {LM}
}


@book{BuClSho97,
   author    = {P. B{\"u}rgisser and M. Clausen and M. A.
       Shokrollahi},
   title     = {Algebraic Complexity Theory},
   year      = {1997},
   publisher = {Springer}
}


@unpublished{buhler,
   owner = "K",   
   author = "J. P. Buhler and H. W. Lenstra and C. Pomerance",
   title = "Factoring integers with the number field sieve",
   year = "1992"
}

@unpublished{BuMu,
   owner = "K",   
   author = "J. Buchmann and V. M{\"u}ller",
   title = "Algorithms for factoring integers",
   year = "1990"
}

@article{CaCoDaHeKrSo93,
   author    = {L. Caniglia and G. Cortinas and S. Dan{\'o}n and J.
       Heintz and T. Krick and Pablo Solern{\'o}},
   title     = {Algorithmic Aspects of Suslin's Proof of Serre's
       Conjecture},
   journal   = {Computational Complexity},
   year      = {1993},
   volume    = {3},
   pages     = {31--55},
   owner     = {J,K}
}


@book{CaEl95,
   author    = {M. Carroll and M. Ellis},
   title     = {Designing and Coding Reusable {C}++},
   year      = {1995},
   publisher = {Addison-Wesley}
}


@misc{CaEm1,
   author    = {J. Canny and I. Z. Emiris},
   title     = {An Efficient Algorithm for the Sparse Resultant},
   howpublished = {preprint 9 pages, submitted J. AAECC},
   owner     = {K},
}


@misc{CaEm96,
   author    = {J. Canny and I. Z. Emiris},
   title     = {A Subdivision-based Algorithm for the Sparse
       Resultant},
   howpublished = {preprint, 36 pages},
   owner     = {K}
}


@article{CaErPo83,
   owner = "K",   
  author = "E. R. Canfield and P. Erd{\"o}s and C. Pomerance",
   journal = "J. Number Theory",
   pages = "1--28",
   title = "On a problem of {Oppenheim} concerning {'Factorisatio Numerorum'}",
   volume = "17",
   year = "1983"
}

@article{CaGa90,
   author    = {J. Carnicer and M. Gasca},
   title     = {Evaluation of multivariate polynomials and their
       derivatives},
   journal   = {Math. Comp.},
   year      = {1990},
   volume    = {54},
   number    = {189},
   pages     = {231--243},
   owner     = {K}
}


@article{CaGaHe88,
   author    = {L. Caniglia and A. Galligo and J. Heintz},
   title     = {Borne simple exponentielle pour les degr\'es dans le
       th\'eor\`eme des z\'eros sur un corps de
       charact\'eristique quelconque},
   journal   = {C. R. Acad. Sci. Paris},
   year      = {1988},
   volume    = {307},
   pages     = {255--258},
   owner     = {J,K}
}


@inproceedings{CaGaHe89,
   author    = {L. Caniglia and A. Galligo and J. Heintz},
   title     = {Some new effectivity bounds in computational
       geometry},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes. Proceedings of AAECC-6},
   year      = {1989},
   editor    = {T. {Mora}},
   publisher = {Springer},
   pages     = {131--152},
   owner     = {LM},
   journal   = {C. R. Acad. Sci. Paris},
   series    = {LNCS},
   volume    = {357}
}


@article{CaGaHe91,
   author    = {L. Caniglia and A. Galligo and J. Heintz},
   title     = {Equations for the projective closure and effective
       Nullstellensatz},
   journal   = {Discrete Applied Mathematics},
   year      = {1991},
   volume    = {33},
   pages     = {11--23},
   owner     = {J,K}
}


@incollection{CaGuGu91,
   author    = {L. Caniglia and J. A. Guccione and J. J. Guccione},
   title     = {Local Membership Problems for Polynomial Ideals},
   booktitle = {Effective Methods in Algebraic Geometry},
   year      = {1991},
   editor    = {T. Mora and C. Traverso},
   publisher = {Birkh{\"a}user},
   pages     = {31--45},
   owner     = {J,K},
   series    = {Progress in Mathematics},
   volume    = {94}
}


@inproceedings{CaHaMoPa97,
   author    = {D. Castro and K. H{\"a}gele and J. E. Morais and L. M.
       Pardo},
   title     = {On the intrinsic complexity of diophantine
       approximation},
   booktitle = {Proceedings of {TERA}'97},
   year      = {1997},
   month     = sep,
   owner     = {K},
   editor    = {J. Heintz and G. Matera and R. Wachenschauzer},
   publisher = {Universidad de C\'ordoba, Fa.M.A.F,
   {\tt http://hilbert.matesco.unican.es/tera/}},
   address   = {C\'ordoba, Argentina},
}

@misc{CaHaMoPa98,
   author    = {D. Castro and K. H{\"a}gele and J. L. Monta{\~n}a and L. M.
       Pardo},
   title     = {Probabilistic zero test for elimination polynomials},
   howpublished = {preprint, 21 pages},
   institution = {Universidad de Cantabria, Facultad de Ciencias, Depto. Matem\'aticas,
Estad\'{\i}stica y Computaci\'on},
   address   = {Santander, Spain},
   year      = {1998},
   month     = may,
   owner     = {D},
}

@misc{CaHeLlMa98,
   author    = {B. {Casta\~no} and J. Heintz and J. Llovet and R.
       Mart\'{\i}nez},
   title     = {On the data--structure straight--line program and its
       implementation in symbolic computation},
   year      = {1998},
   pages = 56,
   howpublished = {Manuscript, submitted to JSC}
}

@article{CaKa91,
   author    = {D. G. Cantor and E. Kaltofen},
   title     = {{On} fast multiplication of polynomials over arbitrary
       algebras},
   journal   = {Acta Inf.},
   year      = {1991},
   volume    = {28},
   pages     = {693--701},
   owner     = {K},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   publisher = {Springer-Verlag}
}


@inproceedings{CaKaYa89,
   author    = {J. F. Canny and E. Kaltofen and L. Yagati},
   title     = {{Solving} systems of non-linear polynomial equations
       faster},
   booktitle = {{Proceedings} of the {ACM-SIGSAM} {ISSAC} '89
       ({Portland,} {Oregon,} {July} 17-19, 1989)},
   year      = {1989},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {121--128}
}


@inproceedings{CaLlMa96,
   author    = {B. {Casta\~no} and J. Llovet and R. Mart\'{\i}nez},
   title     = {Polynomials, matrices and algorithms with
       straight--line programs},
   booktitle = {Proceedings of {TERA}'96},
   year      = {1996},
   month = apr,
   editor    = {M. Giusti and J. Heintz and L. M. Pardo},
   publisher = {Universidad de Cantabria, Facultad de Ciencias, {\tt
       http://hilbert.matesco.unican.es/tera/}},
   address   = {Santander, Spain},
   owner     = {K},
   pages     = {12--14}
}


@misc{CaLlMa96A,
   author    = {B. {Casta\~no} and R. Mart\'{\i}nez and J. Llovet},
   title     = {An evaluation algorithm for univariate polynomials
       given by straight-line programs},
   year      = {1996},
   howpublished = {preprint, Alcala, 17 pages}
}


@misc{Camdessus96,
   author    = {M. Camdessus},
   title     = {{L}'Argentine: croupion d'\'etat ou \'etat des
       croupions?},
   year      = {1996},
   howpublished = {IMF Press, New York}
}


@inbook{Caniglia90,
   author    = {L. Caniglia},
   title     = {How to compute the Chow Form of an unmixed Polynomial
       Ideal in Single Exponential Time},
   year      = {1990},
   publisher = {Springer},
   volume    = {1},
   pages     = {25--41},
   owner     = {K},
   journal   = {Applicable Algebra in Engineering Communications and
       Computing ({AAECC} Journal)},
}


@inproceedings{Canny88,
   author    = {J. Canny},
   title     = {Some algebraic and geometric problems in {PSPACE}},
   booktitle = {Proceedings 20. ACM STOC},
   year      = {1988},
   pages     = {460--467},
   owner     = {LM}
}


@inproceedings{Canny88a,
   author    = {J. Canny},
   title     = {Generalized characteristic polynomials},
   booktitle = {{Proceedings} International Symposium on Symbolic and
       Algebraic Computation ISSAC'88},
   year      = {1988},
   publisher = {Springer},
   pages     = {293--299},
   series    = {Lecture Notes in Computer Science},
   volume    = {358},
   owner     = {??}
}


@article{Canny90,
   author    = {John Canny},
   title     = {Generalised Characteristic Polynomials},
   journal   = {Journal of Symbolic Computation},
   year      = {1990},
   month     = mar,
   volume    = {9},
   number    = {3},
   pages     = {241--250}
}


@article{Cantor87,
  author = "D. G. Cantor",
  title = "Computing in the Jacobian of a Hyperelliptic Curve",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1987",
  month = jan,
  volume = "48",
  number = "177",
  pages = "95-101",
}

@phdthesis{Cardinal93,
   author    = {J. P. Cardinal},
   title     = {Dualit\'e et algorithmes it\'eratives pour la solution
       des syst\`emes polynomiaux},
   year      = {1993},
   school    = {Universit\'e de Rennes I, France},
   owner     = {LM}
}


@misc{Cardinal96,
   author    = {J. P. Cardinal},
   title     = {On two iterative methods for approximating the roots
       of a polynomial},
   year      = {1996},
   howpublished = {preprint, to appear in Lect. Appl. Mathematics},
   owner     = {K},
   pages     = {24},
   school    = {Universit\'e de Rennes I, France}
}


@article{Carmichael12,
   owner = "K",   
  author = "R. D. Carmichael",
   journal = "American Mathematical Monthly",
   pages = "22--27",
   title = "On composite numbers $p$ which satisfy the {Fermat}
                 congruence $a^{p-1} \equiv p$",
   volume = "19",
   year = "1912"
}

@mastersthesis{Castro97,
   author    = {D. Castro},
   title     = {Sobre la complejidad de la aproximaci\'on diof\'antica
       y los fundamentos del an\'alisis num\'erico},
   year      = {1997},
   school    = {Universidad de Cantabria, Santander, Spain},
   owner     = {JE,LM}
}


@article{Chabanne95,
   author    = {H. Chabanne},
   title     = {Factoring of $x^n-1$ and Orthogonalization over Finite
       Fields of Characteristic 2},
   journal   = {Applicable Algebra in Engineering Communications and
       Computing ({AAECC} Journal)},
   year      = {1995},
   volume    = {6},
   pages     = {57--63},
   owner     = {J,K}
}


@book{Chandrasekharan68,
   author    = {N. Chandrasekharan},
   title     = {Introduction to analytic number theory},
   year      = {1968},
   publisher = {Springer},
   owner     = {J}
}


@book{Chandrasekharan68a,
   author    = {N. Chandrasekharan},
   title     = {Introduction to analytic number theory},
   year      = {1968},
   publisher = {Springer},
   owner     = {J}
}


@article{ChCh88,
   author    = {D. V. Chudnovsky and G. V. Chudnovsky},
   title     = {Algebraic Complexities and Algebraic Curves over
       Finite Fields},
   journal   = {J. Complexity},
   year      = {1988},
   volume    = {4},
   pages     = {285--316},
   owner     = {K}
}


@misc{ChGr82,
   author    = {A. L. Chistov and D. Y. Grigoriev},
   title     = {Polynomial-Time factoring of multivariable Polynomials
       over a global field},
   year      = {1982},
   howpublished = {LOMI preprint E-5-82, Steklov Institute, Leningrad}
}


@misc{ChGr83,
   author    = {A. L. Chistov and D. Y. Grigoriev},
   title     = {Subexponential time solving systems of algebraic
       equations},
   year      = {1983},
   howpublished = {LOMI preprint E-9-83, E-10-83, Steklov Institute,
       Leningrad},
   owner     = {LM}
}


@misc{Chistov,
   author    = {A. L. Chistov},
   title     = {Polynomial time computation of the dimension of
       components of algebraic varieties in
       zero-characteristic},
   howpublished = {Preprint Universit\'e Paris Val de Marne},
   owner     = {LM}
}


@article{Chistov85,
   author    = {A. L. Chistov},
   title     = {Fast parallel calculation of the rank of matrices over
       a field of arbitrary characteristic},
   journal   = {Lecture Notes in Computer Science},
   year      = {1985},
   volume    = {199},
   pages     = {63--69}
}


@article{Chistov86,
   author    = {A. Chistov},
   title     = {Polynomial complexity algorithm for factoring polynomials
and constructing components of a variety in subexponential time},
   journal   = {J. of Soviet Mathematics},
   year      = {1986},
   volume    = {34},
}


@article{Claybrook76,
   author    = {B. G. Claybrook},
   title     = {A new approach to the symbolic factorization of
       multivariate polynomials},
   journal   = {Artificial Intelligence},
   year      = {1976},
   volume    = {7},
   pages     = {20--241},
   owner     = {K}
}


@book{ClLo95,
   author    = {M. Cline and G. Lomow},
   title     = {{C}++ {FAQ}s},
   year      = {1995},
   publisher = {Addison-Wesley}
}


@article{CoEn95,
   author    = {G. E. Collins and M. J. Encarnaci{\'o}n},
   title     = {Efficient Rational Number Reconstruction},
   journal   = {Journal of Symbolic Computation},
   year      = {1995},
   volume    = {20},
   number    = {3},
   pages     = {287--297},
   owner     = {K}
}


@article{CoEn96,
   author    = {G. E. Collins and M. J. Encarnaci{\'o}n},
   title     = {Improved Techniques for Factoring Univariate
       Polynomials},
   journal   = {Journal of Symbolic Computation},
   year      = {1996},
   volume    = {21},
   number    = {3},
   pages     = {313--??},
   owner     = {K}
}


@article{Cohen46,
   author    = {I. S. Cohen},
   title     = {On the structure and ideal theory of complete local
       rings},
   journal   = {Trans. Amer. Math. Soc.},
   year      = {1946},
   volume    = {59},
   pages     = {54--106}
}


@book{Cohen93,
   author    = {H. Cohen},
   title     = {A Course in Computational Algebraic Number Theory},
   year      = {1993},
   publisher = {Springer},
   owner     = {K}
}


@article{Cole03,
  author = "F. N. Cole",
  title = "On the Factoring of Large Numbers",
  journal = "Bulletin of the American Mathematical Society",
  owner = "K",
  year = "1903",
  volume = "10",
  pages = "134-137",
}

@article{CoLe84,
   owner = "K",   
  author = "H. Cohen and H. W. {Lenstra, Jr.}",
   journal = "Mathematics of Computation",
   number = "165",
   pages = "297--330",
   title = "Primality Testing and {Jacobi} Sums",
   volume = "42",
   year = "1984",
   mon = "#jan"
}

@article{CoLe87,
   owner = "K",   
  author = "H. Cohen and A. K. Lenstra",
   journal = "Mathematics of Computation",
   pages = "103--121",
   title = "Implementation of a new primality test",
   volume = "48",
   year = "1987"
}

@phdthesis{Colin97,
   author    = {A. Colin},
   title     = {Th\' eorie des invariants effective},
   year      = {1997},
   school    = {Ecole Polytechnique, Palaiseau-Paris, France},
   owner     = {M}
}


@book{CoLiOS92,
   author    = {David Cox and John Little and Donal O'Shea},
   title     = {Ideals, varieties, and algorithms},
   year      = {1997},
   publisher = {Springer-Verlag},
   address   = {New York},
   edition   = {Second},
   series    = {Undergraduate Texts in Mathematics},
   note      = {An introduction to computational algebraic geometry
       and commutative algebra},
   pages     = {xiv+536}
}


@book{CoLiOs92,
   author    = {D. Cox and J. Little and D. O'Shea},
   title     = {Ideals, Varieties, and Algorithms},
   year      = {1992},
   publisher = {Springer Verlag},
   address   = {New York},
   isbn      = {0-387-97847-X}
}


@article{Collins73,
   author    = {G. E. Collins},
   title     = {Computer Algebra of polynomials and rational
       functions},
   journal   = {American Math. Monthly},
   year      = {1973},
   volume    = {80},
   pages     = {725--755},
   owner     = {K}
}


@inproceedings{Collins79,
   author    = {G. E. Collins},
   title     = {Facoring univariate integral polynomials in polynomial
       average time},
   booktitle = {Proceedings EUROSAM'79},
   year      = {1979},
   publisher = {Springer},
   pages     = {317--329},
   owner     = {K},
   series    = {LNCS},
   volume    = {72}
}


@article{Collins82,
   author    = {G. E. Collins},
   title     = {Quantifier Elimination for Real Closed Fields: {A}
       Guide to the Literature},
   journal   = {Computing},
   year      = {1982},
   volume    = {Suppl. 4},
   pages     = {79--81},
   owner     = {K}
}


@inproceedings{Cook71,
   author    = {S. A. Cook},
   title     = {The complexity of theorem-proving procedures},
   booktitle = {Proceedings of the Third Annual {ACM} Symposium on
       Theory of Computing},
   year      = {1971},
   pages     = {151--158}
}


@article{Cook85,
   author    = {S. A. Cook},
   title     = {A taxonomy of problems with fast parallel algorithms},
   journal   = {Inf. Control},
   year      = {1985},
   volume    = {64},
   pages     = {2--22},
   owner     = {LM}
}


@book{Coplien92,
   author    = {J. Coplien},
   title     = {Advanced {C}++ Programming Styles and Idioms},
   year      = {1992},
   publisher = {Addison-Wesley}
}


@article{Coppersmith96a,
   author    = {D. Coppersmith},
   title     = {Finding a small root of a univariate modular
       equation},
   journal   = {Lecture Notes in Computer Science},
   year      = {1996},
   volume    = {1070},
   pages     = {155--165}
}


@article{Coppersmith96b,
   author    = {D. Coppersmith},
   title     = {Finding a small root of a bivariate integer equation;
       factoring with high bits known},
   journal   = {Lecture Notes in Computer Science},
   year      = {1996},
   volume    = {1070},
   pages     = {178--??}
}


@misc{CoRo,
   author    = {M. Coste and M. F. Roy},
   title     = {Thom's Lemma, the coding of real algebraic numbers and
       the computation of the topology of semi-algebraic
       sets},
   howpublished = {preprint},
   owner     = {K}
}


@incollection{Couveignes93,
   owner = "K",   
  author = "Jean-Marc Couveignes",
   booktitle = "The development of the number field sieve",
   editor = "A. K. Lenstra and H. W. {Lenstra, Jr.}",
   number = "1554",
   pages = "95--102",
   publisher = "Springer-Verlag",
   series = "Lecture Notes in Mathematics",
   title = "Computing a Square Root for the Number Field Sieve",
   year = "1993"
}

@article{Csanky76,
   author    = {L. Csanky},
   title     = {Fast parallel matrix inversion algorithms},
   journal   = {SIAM Journal of Computing},
   year      = {1976},
   volume    = {5},
   number    = {4},
   pages     = {618--623},
}

@article{Cucker92,
   author    = {F. Cucker},
   title     = {${P}_{R} \neq {NC}_{R}$},
   journal   = {J. of Complexity},
   year      = {1992},
   volume    = {8},
   pages     = {230--238},
   owner     = {K}
}


@misc{CuGr1,
   author    = {F. Cucker and D. Grigoriev},
   title     = {On the power of real Turing machines over binary
       inputs},
   howpublished = {preprint 20 pages},
   owner     = {K}
}


@misc{CuKa94,
   author    = {F. Cucker and M. Karpinski},
   title     = {Real Complexity Classes, Boolean Parts and
       Probabilistic Machines},
   year      = {1994},
   month     = jul,
   howpublished = {preprint 7 pages},
   owner     = {K}
}


@inproceedings{CuKaKoLiWe95,
   author    = {Felipe Cucker and Marek Karpinski and Pascal Koiran
       and Thomas Lickteig and Kai Werther},
   title     = {On Real {Turing} Machines that Toss Coins},
   booktitle = {Proceedings of the Twenty-Seventh Annual {ACM}
       Symposium on Theory of Computing},
   year      = {1995},
   month     = may,
   pages     = {335--342},
   owner     = {K}
}


@misc{CuMa1,
   author    = {F. Cucker and M. Matamala},
   title     = {On Digital Nondeterminism},
   howpublished = {preprint 15 pages},
   owner     = {K}
}


@article{CuMoPa92,
   author    = {F. Cucker and J. L. {Monta\~na} and L. M. Pardo},
   title     = {Time bounded Computations over the Reals},
   journal   = {International Journal of Algebra and Computation},
   year      = {1992},
   volume    = {2},
   number    = {4},
   pages     = {395--408},
   owner     = {J,K}
}


@article{CuMoPa93,
   author    = {F. Cucker and J. L. {Monta\~na} and L. M. Pardo},
   title     = {A Non-deterministic Time Hierarchy over the Reals},
   journal   = {Extracta Mathematicae},
   year      = {1993},
   volume    = {8},
   number    = {2-3},
   pages     = {87--91},
   owner     = {K}
}


@incollection{CuMoPa95,
   author    = {F. Cucker and J. L. Monta{\~n}a and L. M. Pardo},
   title     = {Models for Parallel Computation with Real Numbers},
   booktitle = {Number Theoretic and Algebraic Methods in Computer
       Science},
   year      = {1995},
   editor    = {A. J. {van der Poorten} and I. Shparlinski and H. G.
       Zimmer},
   publisher = {Word Scientific},
   pages     = {53--63},
   owner     = {LM}
}


@inproceedings{CuPaRaReRo87,
   author    = {F. Cucker and L. M. Pardo and M. Raimondo and T. Recio
       and M.-F. Roy},
   title     = {On the computation of the local and global analytic
       branches of a real algebraic curve},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings of AAECC-5},
   year      = {1987},
   editor    = {G. Goos and J. Hartmanis},
   publisher = {Springer},
   pages     = {161-},
   owner     = {J,K},
   series    = {LNCS},
   volume    = {356}
}


@article{CuShSm94,
   author    = {F. Cucker and M. Shub and S. Smale},
   title     = {Separation of Complexity Classes in Koiran's weak
       model},
   journal   = {Theo. Comp. Sci.},
   year      = {1994},
   volume    = {133},
   number    = {1},
   pages     = {3--15},
   owner     = {LM}
}


@article{DaGuWa82,
   author    = {P. Wang and M. Guy and J. H. Davenport},
   title     = {{$p$--adic} reconstruction of rational numbers},
   journal   = {SIGSAM Bulletin},
   year      = {1982},
   volume    = {16},
   number    = {2},
   owner     = {K,LM}
}


@article{DaHe88,
   author    = {J. H. Davenport and J. Heintz},
   title     = {Real Quantifier Elimination is Doubly Exponential},
   journal   = {Journal of Symbolic Computation},
   year      = {1988},
   volume    = {5},
   pages     = {29--35},
   owner     = {J,K}
}


@inproceedings{Davenport92,
   owner = "K",   
  author = "J. H. Davenport",
   address = "Berkeley, CA",
   booktitle = "Proceedings of the International Symposium on Symbolic
                 and Algebraic Computation",
   editor = "Paul S. Wang",
   month = jul,
   pages = "123--129",
   publisher = "ACM Press",
   title = "Primality testing revisited",
   year = "1992",
   ISBN = "0-89791-489-9 / 0-89791-490-2"
}

@techreport{Davenport93,
   owner = "K",   
  author = "J. H. Davenport",
   address = "Downer's Grove, IL, USA and Oxford, UK",
   institution = "Numerical Algorithms Group, Inc.",
   month = aug,
   number = "TR2/93 (ATR/6) (NP2556)",
   pages = "??",
   title = "Primality Testing Revisited",
   year = "1993",
   url = "http://www.nag.co.uk/doc/TechRep/axiomtr.html"
}

@inproceedings{DavisHoSi85,
   owner = "K",   
  author = "James A. Davis and Diane B. Holdridge and Gustavus J.
                 Simmons",
   address = "Paris",
   booktitle = "Proc.\ EUROCRYPT 84",
   editor = "T. Beth and N. Cot and I. Ingemarsson",
   volume = "LNCS 209",
   pages = "183--215",
   publisher = "Springer",
   title = "Status Report on Factoring (At the {Sandia National Laboratories}",
   year = "1985"
}

@misc{DaWe96,
   author    = {M. Daberkow and A. Weber},
   title     = {A Database for Number fields},
   year      = {1996},
   howpublished = {preprint 11 pages}
}


@article{Dedieu,
   author    = {Jean-Pierre Dedieu},
   title     = {Estimations for the Separation Number of a Polynomial
       System}
}


@article{DeLi78,
   author    = {R. A. {De Millo} and R. J. Lipton},
   title     = {A probabilistic remark on algebraic program testing},
   journal   = {Inf. Proc. Letters},
   year      = {1978},
   volume    = {7},
   number    = {4},
   pages     = {193--195},
   owner     = {LM}
}


@phdthesis{Diaz97,
   author    = {A. L. D{\'{\i}}az},
   title     = {FoxBox: a System for Manipulating Symbolic Objects in 
                Black Box Representation},
   year      = {1997},
   school    = {Dept. Computer Science, Rensselaer Polytechnic
Institute of Technology, Troy, NY}
}

@article{DiFiGiSe91,
   author    = {A. Dickenstein and N. Fitchas and M. Giusti and C.
       Sessa},
   title     = {The membership problme for unmixed polynomial ideals
       is solvable in single exponential time},
   journal   = {Discrete Applied Mathematics},
   year      = {1991},
   volume    = {33},
   pages     = {73--94},
   owner     = {J,K}
}


@article{DiHiKaLoVa95,
   author    = {A. D{\'{\i}}az and M. Hitz and E. Kaltofen and A. Lobo
       and T. Valente},
   title     = {{Process Scheduling in DSC and the Large Sparse Linear
       Systems Challenge}},
   journal   = {{Journal of Symbolic Computation}},
   year      = {1995},
   month     = jan,
   volume    = {19},
   number    = {1/2/3},
   pages     = {269--282},
   owner     = {K}
}


@misc{DiKa95,
   author    = {A. D\'{\i}az and E. Kaltofen},
   title     = {On Computing Greatest Common Divisors with Polynomials
       Given by Black Boxes for their Evaluations},
   year      = {1995},
   howpublished = {preprint 14 pages, submitted to ISSAC'95},
   owner     = {K}
}


@inproceedings{DiKaScVaHiLoSm91,
   author    = {A. D{\'{\i}}az and E. Kaltofen and K. Schmitz and T.
       Valente and M. Hitz and A. Lobo and F. Smyth.},
   title     = {{DSC:} {A} system for distributed symbolic
       computation},
   booktitle = {{Proceedings} of the 16th {International} {Symposium}
       on {Symbolic} and {Algebraic} {Computation} ({Bonn,}
       {Germany,} {July} 15-17, 1991)},
   year      = {1991},
   editor    = {S. M. Watt},
   publisher = {ACM Press},
   pages     = {323--332},
   owner     = {wanted}
}


@article{Dix,
   owner = "K",   
  author = "John D. Dixon",
   journal = "Mathematics of Computation",
   pages = "255--260",
   title = "Asymptotically Fast Factorization of Integers",
   volume = "36",
   year = "1981"
}

@article{Dixon82,
   author    = {J. Dixon},
   title     = {Exact solution of linear equations using p-adic
       expansions},
   journal   = {Numer. Math.},
   year      = {1982},
   volume    = {40},
   pages     = {137--141},
   owner     = {K}
}


@article{Dube90,
   author    = {Thomas W. Dub{\'e}},
   title     = {The structure of polynomial ideals and Gr{\"o}bner
       bases},
   journal   = {SIAM Journal on Computing},
   year      = {1990},
   month     = aug,
   volume    = {19},
   number    = {4},
   pages     = {750--775},
   owner     = {K}
}


@article{Dube93,
   author    = {T. W. Dub\'e},
   title     = {A combinatorial proof of Effective Nullstellensatz},
   journal   = {J. Symb. Comp.},
   year      = {1993},
   volume    = {15},
   pages     = {277--296},
   owner     = {K}
}


@article{Dubner88,
  author = "H. Dubner",
  title = "A New Method for Producing Large Carmichael Numbers",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1989",
  month = jul,
  volume = "53",
  number = "187",
  pages = "411-414",
}

@misc{Duval87,
   author    = {D. Duval},
   title     = {Diverses Questions Relatives au Calcul Formel avec des
       Nombres Alg\`ebriques},
   year      = {1987},
   howpublished = {Th\`ese d' Etat, Grenoble},
   owner     = {LM}
}


@article{Duval94,
   author    = {D. Duval},
   title     = {\'Evaluation Dynamique et cl\^oture alg\'ebrique en
       Axiom},
   journal   = {Journal of Pure and Applied Algebra},
   year      = {1994},
   owner     = {LM}
}


@article{EdKo95,
   author    = {A. Edelman and E. Kostlan},
   title     = {How many Zeros of a Random Polynomial are Real?},
   journal   = {Bull. of the AMS},
   year      = {1995},
   month     = jan,
   volume    = {32},
   number    = {1},
   pages     = {1--37},
   owner     = {J,K}
}


@book{Eisenbud95,
   author    = {D. Eisenbud},
   title     = {Commutative algebra: with a view toward algebraic
       geometry},
   year      = {1995},
   publisher = {Springer Verlag},
   address   = {New York},
   isbn      = {0-387-94269-6}
}


@book{Eisenbud95,
   author    = {David Eisenbud},
   title     = {Commutative algebra},
   year      = {1995},
   publisher = {Springer-Verlag},
   address   = {New York},
   volume    = {150},
   series    = {Graduate Texts in Mathematics},
   note      = {With a view toward algebraic geometry},
   pages     = {xvi+785}
}


@article{Elkadi93,
   author    = {M. Elkadi},
   title     = {Bornes pour le degr\'e et les hauteurs dans le
       probl\`eme de division},
   journal   = {Michigan Math. J.},
   year      = {1993},
   volume    = {40},
   pages     = {609--618}
}


@misc{Elkies95,
   author    = {N. Elkies},
   title     = {Curves with many points},
   year      = {1995},
   howpublished = {Preprint / notes of talk given 3/95 AMS Chicago},
   owner     = {K}
}


@misc{Emiris1,
   author    = {I. Z. Emiris},
   title     = {Solution of Systems of Polynomial Equations and
       Applications to Robotics and Vision},
   howpublished = {preprint},
   owner     = {K}
}


@article{Emiris96,
   author    = {I. Z.~Emiris},
   title     = {On the Complexity of Sparse Elimination},
   journal   = {J.\ Complexity},
   year      = {1996},
   volume    = {12},
   pages     = {134--166}
}


@inproceedings{Encarnacion94,
   author    = {M. J. Encarnaci{\'o}n},
   title     = {On a modular algorithm for computing {GCDs} of
       polynomials over algebraic number fields},
   booktitle = {{ISSAC}'94. Proceedings of the International Symposium
       on Symbolic and Algebraic Computation},
   year      = {1994},
   editor    = {{ACM}},
   publisher = {ACM Press},
   owner     = {wanted, bib, falta copiarlo}
}


@article{ErKiSa88,
  author = "P. Erd{\"o}s and P. Kiss and A. S{\'a}rk{\"o}zy",
  title = "A Lower bound for the counting function of Lucas pseudoprimes",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1988",
  month = jul,
  volume = "186",
  number = "51",
  pages = "315-323",
}

@unpublished{Faugere97,
   author    = {J.-C. Faug{\`e}re},
   title     = {{GB}: State of {GB} + Tutorial},
   year      = {1997},
   note      = {LITP},
   annote    = {{\tt jcf@posso.ibp.fr}}
}


@techreport{FeHo94,
   author    = {Michael C. Ferris and Jeffrey D. Horn},
   title     = {Partitioning Mathematical Programs for Parallel
       Solution},
   institution = {COMPUTER SCIENCES DEPARTMENT, UNIVERSITY OF
       WISCONSIN},
   year      = {1994},
   month     = may,
   address   = {MADISON, WI},
   number    = {TR 1232},
   owner     = {K}
}


@article{FiFrFrLaOd86,
   author    = {P. C. Fishburn and P. Frankl and D. Freed and J. C.
       Lagarias and A. M. Odlyzko},
   title     = {{Probabilities} for intersecting systems and random
       subsets of finite se ts},
   journal   = {SIAM J. Algebraic Discrete Methods},
   year      = {1986},
   volume    = {7},
   pages     = {73--79},
   address   = {Philadelphia, PA},
   publisher = {Society for Industrial and Applied Mathematics}
}


@article{FiGa90,
   author    = {Noai Fitchas and A. Galligo},
   title     = {Nullstellensatz effectif et Conjecture de Serre
       (Th\'eor\`eme de Quillen-Suslin) pour le Calcul
       Formel},
   journal   = {Math. Nachr.},
   year      = {1990},
   volume    = {149},
   pages     = {231--253},
   owner     = {J,K}
}


@article{FiGaMo90a,
   author    = {N. Fitchas and A. Galligo and J. Morgenstern},
   title     = {Algorithmes Rapides En Sequentiel et en Parallele pour
       l'\'elimination des Quantificateurs en {G}\'eom\'etrie
       \'Elementaire},
   journal   = {Seminaire sur les structures algebraiques ordonnees},
   year      = {1990},
   pages     = {103--145},
   owner     = {J,K},
   editor    = {F. Delon and M. Dickmann and D. Gondard},
   publisher = {Pub. Math. Uni. Paris}
}


@article{FiGaMo90b,
   author    = {N. Fitchas and A. Galligo and J. Morgenstern},
   title     = {Precise Sequential and Parallel Complexity Bounds for
       Quantifier Elemination over algebraically closed
       fields},
   journal   = {Journal of Pure and Applied Algebra},
   year      = {1990},
   volume    = {67},
   pages     = {1--14},
   owner     = {J,K},
   editor    = {F. Delon and M. Dickmann and D. Gondard},
   publisher = {Pub. Math. Uni. Paris},
   series    = {Seminaire sur les structures algebraiques ordonnees}
}


@incollection{FiGiSm93,
   author    = {N. Fitchas and M. Giusti and F. Smietanski},
   title     = {Sur la complexit\'e du th\'eor\`eme des z\'eros},
   booktitle = {Approximation and Optimization in the Caribbean II,
       Proceedings 2nd Int. Conf. on Non-Linear Optimization
       and Approximation},
   year      = {1995},
   editor    = {J. {Guddat}},
   publisher = {Peter Lange Verlag, Frankfurt am Main},
   pages     = {247--329},
   owner     = {J, K, LM},
   series    = {Approximation and Optimization},
   volume    = {8}
}


@techreport{FlGoMa96,
   author    = {P. Flajolet and X. Gourdon and C. Martinez},
   title     = {Patterns in Random Binary Search Trees},
   institution = {INRIA},
   year      = {1996},
   number    = {INRIA TR 2997},
   owner     = {K}
}


@inproceedings{FlGoPa96,
   author    = {P. Flajolet and X. Gourdon and D. Panario},
   title     = {Random Polynomials and Polynomial Factorization},
   booktitle = {ICALP: Annual International Colloquium on Automata,
       Languages and Programming},
   year      = {1996},
   owner     = {K}
}


@techreport{FlVa96,
   author    = {P. Flajolet and B. Valle{\'e}},
   title     = {Continued Fraction Algorithms, Functional Operators
       and Structure Constants},
   institution = {INRIA},
   year      = {1996},
   number    = {INRIA TR 2931},
   owner     = {K}
}


@inproceedings{FrImKa86,
   author    = {T. Freeman and G. Imirzian and E. Kaltofen},
   title     = {{A} {System} for {Manipulating} {Polynomials} {Given}
       by {Straight-Line} {Programs}},
   booktitle = {{Proceedings} of the 1986 {Symposium} on {Symbolic}
       and {Algebraic} {Computation}},
   year      = {1986},
   month     = jul,
   pages     = {169--175},
   owner     = {LM}
}


@article{FrImKaYa88,
   author    = {T. S. Freeman and G. M. Imirzian and E. Kaltofen and
       L. Yagati},
   title     = {{DAGWOOD} - {A} System for Manipulating Polynomials
       Given by Straight-Line Programs},
   journal   = {ACM Transactions on Mathematical Software},
   year      = {1988},
   month     = sep,
   volume    = {14},
   number    = {3},
   pages     = {218--240},
   owner     = {K also Proceedings ACM SySAC 1986, 169-175},
   booktitle = {ACM SySAC , ACM Transactions}
}


@article{FrSh55,
   author    = {A. Fr{\"o}hlich and J. C. Shepherdson},
   title     = {Effective procedures in field theory},
   journal   = {Phil. Trans. Roy. Soc.},
   year      = {1955},
   volume    = {248},
   number    = {A},
   pages     = {407--432},
   owner     = {LM}
}


@book{Fulton84,
   author    = {W. Fulton},
   title     = {Intersection Theory},
   year      = {1984},
   publisher = {Springer},
   edition   = {2},
   series    = {Ergebnisse der Mathematik},
   number    = {3},
   owner     = {J}
}


@incollection{FYao90,
   author    = {F. F. Yao},
   title     = {Computational Geometry},
   booktitle = {Handbook of Theoretical Computer Science},
   year      = {1990},
   editor    = {J.van Leeuwen},
   publisher = {Elsevier}
}


@article{GaGaPa95,
   author    = {S. Gao and J. {Von zur Gathen} and D. Panario},
   title     = {{Gauss} Periods and Fast Exponentiation in Finite
       Fields},
   journal   = {Lecture Notes in Computer Science},
   year      = {1995},
   volume    = {911},
   pages     = {311--??},
   owner     = {K}
}


@misc{GaHa96,
   author    = {J. von zur Gathen and S. Hartlieb},
   title     = {Factoring Modular Polynomials},
   year      = {1996},
   howpublished = {preprint},
   owner     = {K}
}


@misc{GaHe96,
   author    = {J. von zur Gathen and J. Gerhard},
   title     = {Arithmetic and factorization of polynomials over
       ${F}_2$},
   year      = {1996},
   howpublished = {preprint},
   owner     = {K}
}


@misc{GaHoVe97,
   author    = {J. M. Garcia and I. {de Hoyos} and F. E. Velasco},
   title     = {Safety Neighbourhoods for the Invariants of the Matrix
       Similarity},
   howpublished = {prerpint Dep. Mat. Uni. Pais Vasco, May 1997},
   owner     = {K}
}


@book{GaJo79,
   author    = {M. Garey and D. Johnson},
   title     = {Computers and Intractability: {A} Guide to the Theory
       of {NP}-Completeness},
   year      = {1979},
   publisher = {Freeman, San Francisco},
   owner     = {LM}
}


@article{GaKa85,
   author    = {J. von zur Gathen and E. Kaltofen},
   title     = {{Factorization} of multivariate polynomials over
       finite fields},
   journal   = {Math. Comput.},
   year      = {1985},
   month     = jul,
   volume    = {45},
   number    = {171},
   pages     = {251--261},
   owner     = {K}
}


@article{GaKa85A,
   author    = {J. von zur Gathen and E. Kaltofen},
   title     = {{Factoring} sparse multivariate polynomials},
   journal   = {J. Comput.~Syst.~Sci.},
   year      = {1985},
   month     = oct,
   volume    = {31},
   number    = {2},
   pages     = {265--287},
   owner     = {K},
   institution = {Dept. of Comput. Sci., Toronto Univ., Ont., Canada},
   publisher = {Academic Press}
}


@inproceedings{GaKaSh93,
   author    = {J. {von zur Gathen} and M. Karpinski and I.
       Shparlinski},
   title     = {Counting Curves and Their Projections},
   booktitle = {Proceedings of the 25th Annual {ACM} Symposium on the
       Theory of Computing},
   year      = {1993},
   month     = may,
   editor    = {Alok Aggarwal},
   publisher = {ACM Press},
   address   = {San Diego, CA},
   pages     = {805--812},
   owner     = {K}
}


@misc{GaNo97,
   author    = {J. von zur Gathen and M. N{\"o}cker},
   title     = {Exponentiation in Finite Fields - Theory and
       Practice},
   year      = {1997},
   howpublished = {preprint},
   owner     = {K}
}


@book{Gantmacher59,
   author    = {F. R. Gantmacher},
   title     = {The Theory of Matrices, Vol. {I}, {II}},
   year      = {1959},
   publisher = {Chelsea Publishing Comp.},
   address   = {New York}
}


@article{Ganz95,
   author    = {J{\"u}rg Ganz},
   title     = {Evaluation of Polynomials Using the Structure of the
       Coefficients},
   journal   = sicomp,
   year      = {1995},
   month     = jun,
   volume    = {24},
   number    = {3},
   pages     = {473--483},
   owner     = {K}
}


@misc{GaRo93,
   author    = {J. von zur Gathen and J. R. Roche},
   title     = {Polynomials with two Values},
   year      = {1993},
   howpublished = {preprint},
   owner     = {K},
   pages     = {30}
}


@article{GaSh92,
   author    = {J. von zur Gathen and V. Shoup},
   title     = {Computing Frobenius Maps and Factoring Polynomials},
   journal   = {Computational Complexity},
   year      = {1992},
   volume    = {2},
   pages     = {187--224},
   owner     = {K}
}


@inproceedings{GaSh94,
   author    = {J. von zur Gathen and I. Shparlinski},
   title     = {Components and Projections of Curves over Finite
       Fields},
   booktitle = {Proceedings of the 5th ACM-SIGSAM International
       Symposium on Symbolic and Algebraic Computation},
   year      = {1994},
   pages     = {297--305},
   owner     = {K}
}


@inproceedings{GaShp94,
   author    = {J. von zur Gathen and I. Shparlinski},
   title     = {Components and Projections of Curves over Finite
       Fields},
   booktitle = {Proceedings of the 5th ACM-SIGSAM International
       Symposium on Symbolic and Algebraic Computation},
   year      = {1994}
}


@article{Gathen84,
   author    = {J. von zur Gathen},
   title     = {Hensel and Newton Methods in Valuation Rings},
   journal   = {Mathematics of Computation},
   year      = {1984},
   month     = apr,
   volume    = {42},
   number    = {166},
   pages     = {637--661},
   owner     = {K}
}


@article{Gathen84A,
   author    = {J. von zur Gathen},
   title     = {Parallel Algorithms for algebraic Problems},
   journal   = {SIAM J. Comput.},
   year      = {1984},
   volume    = {13},
   number    = {4},
   pages     = {802--824},
   owner     = {LM}
}


@article{Gathen85,
   author    = {J. von zur Gathen},
   title     = {Irreducibility of multivariate polynomials},
   journal   = {J. Comp. System. Sci.},
   year      = {1985},
   volume    = {31},
   pages     = {225--264},
   owner     = {K}
}


@inproceedings{Gathen86,
   author    = {J. von zur Gathen},
   title     = {Parallel arithmetic computations: a survey},
   booktitle = {Proceedings of the 12th Symposium on Mathematical
       Foundations of Computer Science},
   year      = {1986},
   month     = aug,
   editor    = {B. Rovan J. Gruska and J. Wiedermann},
   publisher = {Springer},
   address   = {Bratislava, Czechoslovakia},
   pages     = {93--112},
   owner     = {LM},
   series    = {LNCS},
   volume    = {233}
}


@article{Gathen87,
   author    = {J. {von zur Gathen}},
   title     = {Feasible Arithmetic Computations: {Valiant}'s
       Hypothesis},
   journal   = {Journal of Symbolic Computation},
   year      = {1987},
   volume    = {4},
   number    = {1},
   pages     = {137--172},
   owner     = {K}
}


@article{Gathen88,
   author    = {J. von zur Gathen},
   title     = {Algebraic complexity theory},
   journal   = {Ann. Review of Comp. Sci.},
   year      = {1988},
   volume    = {3},
   pages     = {317--347},
   owner     = {LM}
}


@inproceedings{Gathen91,
   author    = {Joachim von zur Gathen},
   title     = {Efficient Exponentiation in Finite Fields (Extended
       Abstract)},
   booktitle = {32nd Annual Symposium on Foundations of Computer
       Science},
   organization = {IEEE},
   year      = {1991},
   month     = oct,
   address   = {San Juan, Puerto Rico},
   pages     = {384--391},
   owner     = {K}
}


@article{Gathen92,
   author    = {J. {von zur Gathen}},
   title     = {A Polynomial Factorization Challenge},
   journal   = {SIGSAM Bulletin (ACM Special Interest Group on
       Symbolic and Algebraic Manipulation)},
   year      = {1992},
   volume    = {26},
   number    = {26},
   pages     = {22--24},
   owner     = {K}
}


@incollection{Gathen93,
   author    = {J. von zur Gathen},
   title     = {Parallel Linear Algebra},
   booktitle = {Synthesis of Parallel Algorithms},
   year      = {1993},
   editor    = {John H. Reif},
   publisher = {Morgan Kaufmann},
   owner     = {K}
}


@inproceedings{Gathen95,
   author    = {Joachim von zur Gathen and Igor Shparlinski},
   title     = {Finding points on curves over finite fields (Extended
       Abstract)},
   booktitle = {36th Annual Symposium on Foundations of Computer
       Science},
   organization = {IEEE},
   year      = {1995},
   month     = oct,
   address   = {Milwaukee, Wisconsin},
   pages     = {284--292},
   owner     = {K}
}


@book{GaZa81,
   author    = {C. B. Garc{\'{\i}}a and W. I. Zangwill},
   title     = {Pathways to solutions, fixed points and equilibria},
   year      = {1981},
   publisher = {Prentice-Hall},
   owner     = {LM}
}


@manual{gb95,
   author    = {J.-C. Faug{\`e}re},
   title     = {{GB} Reference Manual},
   organization = {LITP},
   year      = {1995},
   note      = {{\tt http://posso.ibp.fr/GB.html}}
}


@book{Gelfond60,
   author    = {A. O. Gel'fond},
   title     = {Transcendental and Algebraic Numbers},
   year      = {1960},
   publisher = {Dover, N.Y.},
   owner     = {LM}
}


@article{Gerver83,
   owner = "K",   
  author = "J. L. Gerver",
   journal = "Mathematics of Computation",
   number = "163",
   pages = "287-294",
   title = "Factoring Large Numbers With A Quadratic Sieve",
   volume = "41",
   year = "1983",
   mon = "#jul"
}

@book{GeWh84,
   author    = {C. F. Gerald and P. O. Wheatley},
   title     = {Applied Numerical Analysis},
   year      = {1984},
   publisher = {Addison-Wesley}
}


@article{Giesbrecht95,
   author    = {Mark Giesbrecht},
   title     = {Nearly Optimal Algorithms for Canonical Matrix Forms},
   journal   = {SIAM Journal on Computing},
   year      = {1995},
   month     = oct,
   volume    = {24},
   number    = {5},
   pages     = {948--969}
}


@inproceedings{GiHaHeMoMoPa97,
   author    = {M. Giusti and K. H{\"a}gele and J. Heintz and J. E.
       Morais and J. L. {Monta\~na} and L. M. Pardo},
   title     = {Lower Bounds for Diophantine Approximation},
   booktitle = {Proceedings of MEGA'96},
   year      = {1997},
   publisher = {Journal of Pure and Applied Algebra},
   pages     = {277--317},
   owner     = {K},
   volume    = {117,118}
}


@techreport{GiHaLeMaSa97a,
   author    = {Marc Giusti and Klemens H{\"a}gele and Gr{\'e}goire
       Lecerf and Jo{\"e}l Marchand and Bruno Salvy},
   title     = {Computing the Dimension of a Projective Variety: the
       Projective Noether {M}aple Package},
   institution = {INRIA, France},
   year      = {1997},
   month     = jul,
   number    = {3224},
   type      = {Research report},
   owner     = {K}
}


@inproceedings{GiHaLeMaSa97b,
   author    = {M. Giusti and K. H{\"a}gele and G. Lecerf and J.
       Marchand and B. Salvy},
   title     = {Computing the dimension of a projective variety},
   booktitle = {Proc. of {WAIT}'97, Buenos Aires, Argentina},
   year      = {1997},
   month     = aug,
   owner     = {K}
}


@inproceedings{GiHaLeMaSa97c,
   author    = {M. Giusti and K. H{\"a}gele and G. Lecerf and J.
       Marchand and B. Salvy},
   title     = {Computing the dimension of a projective variety},
   booktitle = {Proceedings of {TERA}'97},
   year      = {1997},
   month     = sep,
   owner     = {K},
   editor    = {J. Heintz and G. Matera and R. Wachenschauzer},
   publisher = {Universidad de C\'ordoba, Fa.M.A.F,
   {\tt http://hilbert.matesco.unican.es/tera/}},
   address   = {C\'ordoba, Argentina},
}


@inproceedings{GiHe91,
   author    = {M. Giusti and J. Heintz},
   title     = {Algorithmes - disons rapides - pour la d\'ecomposition
       d' une vari\'et\'e alg\'ebrique en composantes
       irr\'eductibles et \'equidimensionelles},
   booktitle = {Proceedings of MEGA'90},
   year      = {1991},
   editor    = {T. Mora and C. Traverso},
   publisher = {Birkh{\"a}user},
   pages     = {169--194},
   owner     = {K, LM},
   series    = {Progress in Mathematics},
   volume    = {94}
}


@inproceedings{GiHe93,
   author    = {M. Giusti and J. Heintz},
   title     = {La d\'etermination des points isol\'es et de la
       dimension d'une vari\'et\'e alg\'ebrique peut se faire
       en temps polynomial},
   booktitle = {Computational Algebraic Geometry and Commutative
       Algebra},
   year      = {1993},
   editor    = {D. Eisenbud and L. Robbiano},
   publisher = {Cambridge University Press},
   pages     = {216--256},
   owner     = {LM},
   series    = {Symposia Matematica},
   volume    = {XXXIV}
}


@article{GiHeMoMoPa98,
   author    = {M. Giusti and J. Heintz and J. E. Morais and J.
       Morgenstern and L. M. Pardo},
   title     = {Straight--Line Programs In Geometric Elimination
       Theory},
   journal   = {J. of Pure and App. Algebra},
   year      = {1998},
   volume    = {124},
   pages     = {101--146},
   publisher = {Elsevier Science},
   owner     = {K}
}


@inproceedings{GiHeMoPa95,
   author    = {M. Giusti and J. Heintz and J. E. Morais and L. M.
       Pardo},
   title     = {When Polynomial Equation Systems can be solved fast
       ?},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings AAECC-11},
   year      = {1995},
   editor    = {G. Cohen and H. Giusti and T. Mora},
   publisher = {Springer},
   pages     = {205--231},
   owner     = {K},
   series    = {LNCS},
   volume    = {948}
}


@article{GiHeMoPa97,
   author    = {M. Giusti and J. Heintz and J. E. Morais and L. M.
       Pardo},
   title     = {Le r\^ole des structures de donn\'ees dans les
       probl\`emes d'\'elimination},
   journal   = {C. R. Acad. Sci. Paris},
   year      = {1997},
   volume    = {325},
   pages     = {1223--1228},
   owner     = {K}
}


@book{GiHePa96,
   author    = {M. Giusti and J. Heintz and L. M. Pardo},
   title     = {Proceedings of {TERA}'96},
   year      = {1996},
   month = apr,
   series    = {Preprint 7/96 Dep. Matem\'aticas, Estad\'{\i}stica y
       Computaci\'on},
   owner     = {K},
   pages     = {1--29},
   publisher = {Universidad de Cantabria, Facultad de Ciencias, {\tt
       http://hilbert.matesco.unican.es/tera/}},
   address   = {Santander, Spain},
}


@article{GiHeSa93,
   author    = {M. Giusti and J. Heintz and J. Sabia},
   title     = {On the Efficiency of effective Nullstellens{\"a}tze},
   journal   = {Computational Complexity},
   year      = {1993},
   volume    = {3},
   pages     = {56--95},
   owner     = {J,K},
   editor    = {T. Mora and C. Traverso},
   publisher = {Birkh{\"a}user},
   series    = {Progress in Mathematics}
}


@phdthesis{Gill72,
   author    = {J. Gill},
   title     = {Probabilistic Turing Machines and Complexity of
       Computations},
   year      = {1972},
   school    = {U.C. Berkeley}
}


@article{Gillies63,
  author =       "D. B. Gillies",
  title =        "Three New Mersenne Primes and a Statistical Theory",
  journal =      "Mathematics of Computation",
  year =         "1963",
  pages =        "93-95",
  owner = "K",
}

@inproceedings{GiMo89,
   author    = {P. Gianni and T. Mora},
   title     = {Algebraic Solution of systems of polynomial equations
       using Gr{\"o}bner bases},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings of AAECC-5},
   year      = {1989},
   publisher = {Springer},
   pages     = {247--257},
   owner     = {LM},
   series    = {LNCS},
   volume    = {356}
}


@incollection{Girstmair87,
   author    = {K. Girstmair},
   title     = {{\"U}ber die praktische Aufl{\"o}sung von Gleichungen
       h{\"o}heren Grades},
   booktitle = {Mathematische Semesterberichte Nr. 34},
   year      = {1987},
   publisher = {BI},
   owner     = {K}
}


@article{Giusti88,
   author    = {M. Giusti},
   title     = {Combinatorial dimension theory of algebraic
       varieties},
   journal   = {Journal of Symbolic Computation},
   year      = {1988},
   month     = dec,
   volume    = {6},
   number    = {2-3},
   pages     = {249--265}
}


@inproceedings{Giusti89,
   author    = {M. Giusti},
   title     = {On the {Castelnuovo} regularity for curves},
   booktitle = {Proceedings of the {ACM}-{SIGSAM} 1989 International
       Symposium on Symbolic and Algebraic Computation:
       {ISSAC} '89 / July 17--19, 1989, Portland, Oregon},
   year      = {1989},
   editor    = {Gaston H. Gonnet},
   publisher = {ACM Press},
   address   = {New York, NY 10036, USA},
   pages     = {250--253}
}


@inproceedings{Giusti89a,
   author    = {M. Giusti},
   title     = {Complexity of standard bases in projective dimension
       zero},
   booktitle = {Proceedings of the European Conference on Computer
       Algebra},
   year      = {1989},
   month     = jun,
   editor    = {J. H. Davenport},
   publisher = {Springer},
   address   = {Berlin},
   pages     = {333--335},
   series    = {LNCS},
   volume    = {378}
}


@inproceedings{Giusti91,
   author    = {M. Giusti},
   title     = {Complexity of Standard Bases in Projective Dimension
       Zero {II}},
   booktitle = {Proceedings of Applied Algebra, Algebraic Algorithms
       and Error-Correcting Codes ({AAECC} '90)},
   year      = {1991},
   month     = aug,
   editor    = {Shojiro Sakata},
   publisher = {Springer},
   address   = {Berlin, Gernamy},
   pages     = {322--328},
   series    = {LNCS},
   volume    = {508}
}


@article{GoCe95,
   author    = {Laureano Gonz{\'a}lez-Vega and Luis Ceballos},
   title     = {Manipulation of Real Roots of Polynomials: Isolating
       Intervals or Thom's Codes},
   journal   = {Maple Tech},
   year      = {1995},
   volume    = {2},
   number    = {2},
   pages     = {42--47},
   owner     = {K}
}


@article{GoGo98,
   author    = {M.-J. Gonzalez Lopez and L. Gonzalez Vega},
   title     = {Newton Identities in the multivariate case: Pham
       Systems},
   journal   = {London Mathematical Society Lecture Notes Series},
   year      = {1998},
   volume    = {251},
   pages     = {351--366},
   series    = {Gr{\"o}bner Bases and Applications},
   publisher = {Cambridge University Press}
}


@misc{GoJe93,
   author    = {P. W. Goldberg and M. R. Jerrum},
   title     = {Bounding the Vapnik-Chervonenkis Dimension of Concept
       Classes Parametrized by Real Numbers},
   year      = {1993},
   month     = oct,
   howpublished = {preprint 19 pages},
   owner     = {K}
}


@mastersthesis{Goldsztein1,
   author    = {G. H. Goldsztein},
   title     = {Una Desigualdad de Bezout para Intersecciones
       Improprias},
   year      = {1997},
   school    = {Universidad de Buenos Aires},
   owner     = {J,K}
}


@inproceedings{Goldwasser86b,
   owner = "K",   
  author = "S. Goldwasser and J. Kilian",
   booktitle = "Proc. 18th Ann. ACM Symp. on Theory of Computing",
   pages = "316--329",
   title = "Almost all primes can be quickly certified",
   year = "1986"
}

@article{GoLo93,
   author    = {L. Gonz{\'a}lez-Vega and H. Lombardi},
   title     = {A Real Nullstellensatz and Positivstellensatz for the
       semi-polynomials over an ordered field},
   journal   = {Journal of Pure and Applied Algebra},
   year      = {1993},
   volume    = {90},
   pages     = {167--188},
   owner     = {J,K}
}


@misc{Gonzalez90,
   author    = {L. Gonz{\'a}lez-Vega},
   title     = {A Determinatal Formulae for the Solution Set of
       Zero-dimensional Ideals},
   year      = {1990},
   howpublished = {preprint},
   owner     = {K},
   pages     = {23}
}


@article{Gonzalez91,
   author    = {L. Gonz{\'a}lez-Vega},
   title     = {Determinatal fomulae for the solution set of
       zero-dimensional ideals},
   journal   = {Journal of Pure and Applied Algebra},
   year      = {1991},
   volume    = {76},
   pages     = {57--80},
   owner     = {LM}
}


@article{Gordon89,
  author = "D. M. Gordon",
  title = "On the Number of Elliptic Pseudoprimes",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1989",
  month = jan,
  volume = "52",
  number = "185",
  pages = "231-245",
}

@article{GoSa83,
   author = "R. Gold and J. Sattler",
   journal = "Computing",
   pages = "77-89",
   publisher = "Springer-Verlag",
   title = "Modifikationen des Pollard-Algorithmus",
   volume = "30",
   year = "1983"
}

@inproceedings{GoTr95,
   author    = {L. Gonz{\'a}lez-Vega and G. Trujillo},
   title     = {Using symmetric functions to describe the solution of
       a zero-dimensional ideal},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings AAECC-11},
   year      = {1995},
   editor    = {G. Cohen and H. Giusti and T. Mora},
   publisher = {Springer},
   owner     = {LM},
   series    = {LNCS},
   volume    = {948}
}


@book{GrHa81,
   author    = {J. R. Harper and M. J. Greenberg},
   title     = {Algebraic Topology: {A} First Course},
   year      = {1981},
   publisher = {The Benjamin/Cummings Publishing Company},
   volume    = {58},
   series    = {Mathematics Lectures Note Series}
}


@inproceedings{GrHeMaStTu96,
   author    = {A. Grosso and N. Herrera and G. Matera and M. E.
       Stefanoni and J. M. Turull},
   title     = {Un algoritmo para el c\'alculo del rango de matrices
       enteras en espacio polilogar\'{\i}tmico},
   booktitle = {Proceedings 25th JAIIO},
   year      = {1996},
   owner     = {G}
}


@article{Griesser86,
   author    = {B. Griesser},
   title     = {Lower Bounds for the Approximative Complexity},
   journal   = {Theo. Comp. Sci.},
   year      = {1986},
   volume    = {46},
   pages     = {329--338},
   owner     = {J,K}
}

@article{Grigoriev86,
   author    = {D. Grigoriev},
   title     = {Polynomial factoring over a finite field and solving systems
of algebraic equations},
   journal   = {J. of Soviet Mathematics},
   year      = {1986},
   volume    = {34},
   pages     = {1762--1803},
}

@article{Grigoriev88,
   author    = {D. Grigoriev},
   title     = {Lower Bounds in {AL}gebraic Computational Complexity},
   journal   = {J. of Soviet Mathematics},
   year      = {1988},
   volume    = {4},
   pages     = {65--108},
   owner     = {LM},
   howpublished = {preprint 20 pages}
}


@article{Grigoriev88A,
   author    = {D. Grigoriev},
   title     = {Complexity of Deciding Tarski Algebra},
   journal   = {J. of Symb. Comp.},
   year      = {1988},
   volume    = {4},
   pages     = {65--108}
}


@techreport{GrKa91,
   author    = {Dima Grigoriev and Marek Karpinski},
   title     = {Algorithms for Sparse Rational Interpolation},
   institution = {International Computer Science Institute},
   year      = {1991},
   month     = jan,
   address   = {Berkeley, CA},
   number    = {ICSI-TR-91-011},
   owner     = {K}
}


@inproceedings{GrKa93,
   author    = {D. Grigoriev and M. Karpinski},
   title     = {A zero-test and an interpolation algorithm for the
       shifted sparse polynomials},
   booktitle = {{Proceedings} of the 10th {International} {Symposium}
       on {Applied} {Algebra,} {Algebraic} {Algorithms} and
       {Error-Correcting} {Codes,} {AAECC-10.} ({San} {Juan}
       de {Puerto} {Rico,} {Puerto} {Rico,} {May} 1993)},
   year      = {1993},
   editor    = {Cohen and G{\'{e}}rard and Teo Mora and Oscar Moreno},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong-Barcelona-Budapest},
   pages     = {162--169},
   owner     = {J},
   series    = {LNCS},
   volume    = {673}
}


@techreport{GrKaOd91,
   author    = {Dima Grigoriev and Marek Karpinski and Andrew M.
       Odlyzko},
   title     = {Short Proofs for Nondivisibility of Sparse Polynomials
       under the Extended Riemann Hypothesis},
   institution = {International Computer Science Institute},
   year      = {1991},
   month     = feb,
   address   = {Berkeley, CA},
   number    = {ICSI-TR-91-013},
   owner     = {K}
}


@techreport{GrKaSi91,
   author    = {Dima Grigoriev and Marek Karpinski and Michael F.
       Singer},
   title     = {Computational Complexity of Sparse Rational
       Interpolation},
   institution = {International Computer Science Institute},
   year      = {1991},
   month     = mar,
   address   = {Berkeley, CA},
   number    = {ICSI-TR-91-018},
   owner     = {K}
}


@misc{GrKaSm96,
   author    = {D. Grigoriev and M. Karpinski and R. Smolensky},
   title     = {Randomized versus derterministic analytic decision
       trees},
   year      = {1996},
   howpublished = {preprint 12 pages},
   owner     = {K},
   pages     = {12}
}


@article{GrSt93,
   author    = {P. Gritzmann and B. Sturmfels},
   title     = {Minkowski Addition of Polytopes: Computational
       Complexity and Applications to Gr{\"o}bner Bases},
   journal   = {SIAM J. Discr. Math.},
   year      = {1993},
   volume    = {6},
   number    = {2},
   pages     = {246--269},
   owner     = {LM}
}


@article{GrVo88,
   author    = {D. Yu. Grigoriev and N. N. {Vorobjov, Jr.}},
   title     = {Solving Systems of Polynomial Inequalities in
       Sub-Exponential Time},
   journal   = {Journal of Symbolic Computation},
   year      = {1988},
   month     = feb,
   volume    = {5},
   number    = {1-2},
   pages     = {37--64}
}


@article{GuMu86,
  author = "R. Gupta and M. Ram Murty",
  title = "Primitive points on elliptic curves",
  journal = "Compositio Mathematica",
  owner = "K",
  year = "1986",
  volume = "58",
  pages = "13-44",
}


@misc{Guthmann92,
   howpublished="preprint",
   owner = "K",   
   page = "12",
   author = "A. Guthmann",
   title = "A Generalization of Proth's Theorem",
   year = "1992"
}

@misc{Haegele96a,
   author    = {K. H{\"a}gele},
   title     = {{\em slp} - a {\tt C++} classlib ({A} prototype for
       straight--line programs)},
   year      = {1996},
   month     = oct,
   howpublished = {{\tt
       http://hilbert.matesco.unican.es/tera/soft.html}},
   owner     = {K, G}
}


@inproceedings{Haegele96b,
   author    = {K. H{\"a}gele},
   title     = {Data structures and zero tests},
   month     = apr,
   pages     = {20},
   booktitle = {Proceedings of {TERA}'96},
   year      = {1996},
   editor    = {M. Giusti and J. Heintz and L. M. Pardo},
   publisher = {Universidad de Cantabria, Facultad de Ciencias, {\tt
       http://hilbert.matesco.unican.es/tera/}},
   address   = {Santander, Spain},
   owner     = {K}
}

@misc{Haegele97a,
   author    = {K. H{\"a}gele},
   title     = {A design for an abstract datatype SLP},
   year      = {1997},
   month     = sep,
   howpublished = {Manuscript, 6 Pages, Buenos Aires, in Spanish},
   owner     = {K}
}

@misc{Haegele97b,
   author    = {K. H{\"a}gele},
   title     = {Pautas - Guidelines for the organisation},
   year      = {1997},
   month     = sep,
   howpublished = {Note, 3 Pages, Buenos Aires, in Spanish},
   owner     = {K}
}


@article{HaLaOd94,
   author    = {J. Hastad and J. C. Lagarias and A. M. Odlyzko},
   title     = {On the Distribution of Multiplicative Translates of
       Sets of Residues (mod p)},
   journal   = {JNT: Journal of Number Theory},
   year      = {1994},
   volume    = {46}
}


@article{HaLi20,
   author    = {O. Hardy and S. Littlewood},
   title     = {On partitio numerorum {I}},
   journal   = {G{\"o}ttinger Nachrichten},
   year      = {1920},
   pages     = {33--54},
   owner     = {J}
}


@article{HaLi20a,
   author    = {O. Hardy and S. Littlewood},
   title     = {On partitio numerorum {I}},
   journal   = {G{\"o}ttinger Nachrichten},
   year      = {1920},
   pages     = {33--54},
   owner     = {J}
}


@misc{HaMa96,
   author    = {K. H{\"a}gele and G. Matera},
   title     = {Preparatory Note for the {\em Draft for Design and
       Implementation}},
   year      = {1996},
   month     = sep,
   pages = 7,
   howpublished = {{TERA} - internal communication, Universidad de
       Cantabria, Santander, Spain},
   owner     = {K}
}


@misc{HaMo97,
   author    = {K. H{\"a}gele and J. L. {Monta\~na}},
   title     = {Polynomial random test for the equivalence problem of
       integers given by arithmetic circuits},
   year      = {1997},
   month     = jan,
   howpublished = {Preprint 4/97 Depto. Matem\'aticas, Universidad de
       Cantabria, Santander, Spain},
   owner     = {K}
}


@inproceedings{HaMoPaSo97,
   author    = {K. H{\"a}gele and J. E. Morais and L. M. Pardo and M.
       Sombra},
   title     = {On the intrinsic complexity of the arithmetic
       Nullstellensatz},
   booktitle = {Proceedings of {TERA}'97},
   year      = {1997},
   month     = sep,
   owner     = {K},
   editor    = {J. Heintz and G. Matera and R. Wachenschauzer},
   publisher = {Universidad de C\'ordoba, Fa.M.A.F,
   {\tt http://hilbert.matesco.unican.es/tera/}},
   address   = {C\'ordoba, Argentina},
}


@book{Hartshorne77,
   author    = {Robin Hartshorne},
   title     = {Algebraic Geometry},
   year      = {1977},
   publisher = {Springer-Verlag},
   address   = {New York},
   volume    = {52},
   series    = {Graduate Texts in Mathematics},
}


@book{HaWr79,
   author    = {Hardy and Wright},
   title     = {An Introduction to the Theory of Numbers},
   year      = {1979},
   publisher = {Clarendon Press},
   owner     = {bib}
}


@article{Head80,
   author = "A. K. Head",
   journal = "BIT",
   pages = "115-116",
   title = "Multiplication Modulo $n$",
   volume = "20",
   owner = "K",   
   year = "1980"
}

@misc{Heider81,
   howpublished = "Vortrag an der Universit{\"a}t K{\"o}ln",
   owner = "K",   
   author = "F. P. Heider",
   title = "Primzahltests",
   year = "1981"
}

@inproceedings{Heintz79,
   author    = {J. Heintz},
   title     = {{A} new method to show lower bounds for polynomials
       which are hard to compute},
   booktitle = {{Proceedings} of the 4th {GI} {Conference} on
       {Theoretical} {Computer} {Science} ({Aachen,} {FRG)}},
   organization = {GI},
   year      = {1979},
   editor    = {K. Weihrauch},
   publisher = {Springer},
   pages     = {153--157},
   owner     = {J},
   series    = {LNCS},
   volume    = {67}
}


@inproceedings{Heintz79A,
   author    = {J. Heintz},
   title     = {Definability bounds of first order theories of
       algebraically closed fields (extended abstract)},
   booktitle = {{Proceedings} of Fundamentals of Computation Theory,
       {FCT'79}},
   year      = {1979},
   editor    = {L. Buddach},
   publisher = {Akademie Verlag Berlin},
   pages     = {160--166},
   owner     = {J}
}


@article{Heintz83,
   author    = {J. Heintz},
   title     = {{Definability} and fast quantifier elimination in
       algebraically closed fields},
   journal   = {Theor.~Comput.~Sci.},
   year      = {1983},
   volume    = {24},
   number    = {3},
   pages     = {239--277},
   owner     = {K, see Corrigendum in Theor.~Comput.~Sci.\ 39, 343},
   publisher = {Elsevier Science Publishers B.V. (North Holland)}
}


@article{Heintz86,
   author    = {J. Heintz},
   title     = {{On} polynomials with symmetric {Galois} group which
       are easy to compute},
   journal   = {Theor.~Comput.~Sci.},
   year      = {1986},
   volume    = {47},
   number    = {1},
   pages     = {99--105},
   owner     = {J,K},
   institution = {Fachbereich Math., J.W. Goethe-Univ., Frankfurt am
       Main, Germany},
   publisher = {Elsevier Science Publishers B.V. (North Holland)}
}


@inproceedings{Heintz89,
   author    = {J. Heintz},
   title     = {On the computational complexity of polynomials and
       bilinear mappings. {A} survey},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings of AAECC-5},
   year      = {1989},
   publisher = {Springer},
   pages     = {269--300},
   owner     = {K, LM},
   journal   = {Theo. Comp. Sci.},
   series    = {LNCS},
   volume    = {356}
}


@article{Heintz96,
   author    = {J. Heintz},
   title     = {The Project {TERA}: the Comeback of Oblomov in
       Computer Science},
   journal   = {SAC Newsletter},
   year      = {1996},
   month     = nov,
   volume    = {1},
   owner     = {K}
}


@misc{Heintz97,
   author    = {J. Heintz},
   title     = {Deformation techniques for efficient polynomial
       equation solving},
   year      = {1997},
   howpublished = {Manuscript, Universidad de Cantabria, Spain},
   owner     = {K}
}


@misc{Heintz97b,
   author    = {J. Heintz},
   title     = {The virtual world as a real trap for the scientist},
   year      = {1997},
   month     = aug,
   howpublished = {Invited talk at {WAIT}'97, Buenos Aires, Argentina}
}


@Misc{Heintz99,
  author =	 {J. Heintz},
  title =	 {{K}ronecker's nice, little black--boxes},
  howpublished = {Foundations of Computational Mathematics. Book of Abstract},
  year = 	 1999,
  month = 	 {July},
  note = 	 {plenary lecture}
}

@inproceedings{HeKrRoSo90,
   author    = {J. Heintz and T. Krick and M.-F. Roy and P.
       Solern{\'o}},
   title     = {Geometric problems solvable in single exponential
       time},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings of AAECC-10},
   year      = {1990},
   publisher = {Springer},
   owner     = {J,K},
   series    = {LNCS}
}


@article{HeKrSlSo91,
   author    = {J. Heintz and T. Krick and A. Slissenko and P.
       Solern{\'o}},
   title     = {Searching for a shortest path surrounding
       semi--algebraic obstacles in the plane (in russian)},
   journal   = {Teorija slo\v{z}nosti vy\v{c}islenij},
   year      = {1991},
   volume    = {192},
   number    = {5},
   pages     = {163--173},
   publisher = {Zapiski nau\v{c}nyh seminarov LOMI (Leningrad branch
       of the Mathematical Institute Steklov), Nauka,
       Leningrad},
   owner     = {J}
}


@article{HeKrSlSo92,
   author    = {J. Heintz and T. Krick and A. Slissenko and P.
       Solern{\'o}},
   title     = {Une borne inferieure pour la construction de chemins
       polygonaux dans ${R}^n$},
   journal   = {C. R. Acad. Sci. Paris},
   year      = {1992},
   volume    = {309},
   number    = {I},
   pages     = {825--830},
   owner     = {J,K}
}


@misc{HeMaPaWa97,
   author    = {J. Heintz and G. Matera and L. M. Pardo and R.
       Wachenchauzer},
   title     = {About the intrinsic complexity of elimination},
   year      = {1997},
   month     = aug,
   howpublished = {{WAIT}'97, Buenos Aires, Argentina},
   owner     = {K}
}


@article{HeMo93,
   author    = {J. Heintz and J. Morgenstern},
   title     = {On the intrinsic complexity of elimination theory},
   journal   = {J. of Complexity},
   year      = {1993},
   volume    = {9},
   pages     = {471--498},
   owner     = {K},
   publisher = {Springer},
   series    = {LNCS}
}


@book{Hensel08,
   author    = {K. Hensel},
   title     = {Theorie der algebraischen Zahlen},
   year      = {1908},
   publisher = {Teubner, Leibzig}
}


@article{HeReRo91,
   author    = {J. Heintz and T. Recio and M.-F. Roy},
   title     = {Algorithms in real algebraic geometry and applications
       to computational geometry},
   journal   = {DIMACS series in Discrete Math. and Theor. Comp.
       Sci.},
   year      = {1991},
   volume    = {6},
   pages     = {137--162},
   owner     = {K, LM},
   howpublished = {preprint 22 pages}
}


@article{Hermann26,
   author    = {G. Hermann},
   title     = {Die Frage der endlich vielen Schritte in der Theorie
       de Polynomideale},
   journal   = {Math. Ann.},
   year      = {1926},
   volume    = {95},
   pages     = {736--788},
   owner     = {LM}
}


@article{HeRoSo89a,
   author    = {J. Heintz and M.-F. Roy and P. Solern{\'o}},
   title     = {Complexit\' e du principe de Tarski-Seidenberg},
   journal   = {C. R. Acad. Sci. Paris},
   year      = {1989},
   volume    = {309},
   number    = {I},
   pages     = {825--830},
   owner     = {J,K}
}


@article{HeRoSo89b,
   author    = {J. Heintz and M.-F. Roy and P. Solern{\'o}},
   title     = {On the Complexity of Semialgebraic Sets (Extended
       Abstract)},
   journal   = {Information Processing},
   year      = {1989},
   pages     = {293--298},
   owner     = {J,K}
}


@inproceedings{HeRoSo90a,
   author    = {J. Heintz and M.-F. Roy and P. Solern{\'o}},
   title     = {Single Exponential Path Finding in Semialgebraic Sets:
       Part {I}: The Case of a Regular Bounded Hypersurface},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings of AAECC-8},
   year      = {1990},
   publisher = {Springer},
   pages     = {180--196},
   owner     = {J,K},
   series    = {LNCS},
   volume    = {508}
}


@article{HeRoSo90b,
   author    = {J. Heintz and M.-F. Roy and P. Solern{\'o}},
   title     = {Sur la Complexit\' e du principe de
       Tarski-Seidenberg},
   journal   = {Bull. Soc. Math. de France},
   year      = {1990},
   volume    = {118},
   pages     = {101--126},
   owner     = {LM}
}


@article{HeRoSo93,
   author    = {J. Heintz and M.-F. Roy and P. Solern{\'o}},
   title     = {On the Theoretical and Practical Complexity of the
       Existential Theory of Reals},
   journal   = {The Computer Journal},
   year      = {1993},
   volume    = {36},
   number    = {5},
   pages     = {427--431},
   owner     = {J,K},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings of AAECC-8},
   publisher = {Springer},
   series    = {LNCS}
}


@inproceedings{HeRoSo94a,
   author    = {J. Heintz and M.-F. Roy and P. Solern{\'o}},
   title     = {Single Exponential Path Finding in Semialgebraic Sets:
       Part {II}: The General Case},
   booktitle = {Algebraic Geometry and Its Applications},
   year      = {1994},
   editor    = {C. L. Bajaj},
   publisher = {Springer},
   pages     = {449--465},
   owner     = {J,K}
}


@inproceedings{HeRoSo94b,
   author    = {J. Heintz and M.-F. Roy and P. Solern{\'o}},
   title     = {Description of the Connected Components of a
       Semialgebraic Set in Single Exponential Time},
   booktitle = {Algebraic Geometry},
   year      = {1994},
   publisher = {Springer},
   pages     = {121--140},
   owner     = {J,K}
}


@inproceedings{HeSchn80,
   author    = {J. Heintz and C. P. Schnorr},
   title     = {Testing Polynomials which are easy to compute},
   booktitle = {Proccedings of ACM 12th Symposium on Theory of
       Computing},
   year      = {1980},
   pages     = {262--272},
   owner     = {J},
}

@inproceedings{HeSchn82,
   author    = {J. Heintz and C. P. Schnorr},
   title     = {Testing Polynomials which are easy to compute},
   booktitle = {Logic and Algorithmic},
   year      = {1982},
   pages     = {237--254},
   owner     = {J,K},
   series    = {Monographie de l'Enseignement Math\'ematique},
   volume    = {30}
}


@article{HeSi80,
   author    = {J. Heintz and M. Sieveking},
   title     = {Lower Bounds for Polynomials with algebraic
       coefficients},
   journal   = {Theo. Comp. Sci.},
   year      = {1980},
   volume    = {11},
   pages     = {321--330},
   owner     = {J,K}
}


@inproceedings{HeSi81,
   author    = {J. Heintz and M. Sieveking},
   title     = {Absolute primality of polynomials is decidable in
       random polynomial-time in the number of variables},
   booktitle = {Proceedings ICALP 81},
   year      = {1981},
   publisher = {Springer},
   pages     = {16--28},
   owner     = {J},
   series    = {LNCS},
   volume    = {115}
}


@article{Hilbert92,
   author    = {D. Hilbert},
   title     = {{\"U}ber die Irreduzibilit{\"a}t ganzer rationaler
       Funktionen mit ganzzahligen Koeffizienten},
   journal   = {J. reine angew. Math.},
   year      = {1892},
   volume    = {110},
   pages     = {104--129},
   owner     = {K}
}


@inproceedings{Huang84,
   owner = "K",   
  author = "{Ming-Deh} A. Huang",
   address = "Washington, D.C.",
   booktitle = "Proceedings of the Sixteenth Annual {ACM} Symposium on
                 Theory of Computing",
   key = "ACM",
   pages = "175--182",
   title = "Factorization of Polynomials over Finite Fields and
                 Factorization of Primes in Algebraic Number Fields",
   year = "1984"
}

@inproceedings{Huang85,
   author    = {M.-D. A. Huang},
   title     = {Riemann hypothesis and finding roots over finite
       fields},
   booktitle = {Proceedings 17. ACM STOC},
   year      = {1985},
   pages     = {121--130},
   owner     = {K}
}


@inproceedings{HuLe85,
   author    = {M.-P. van der Hulst and A. K. Lenstra},
   title     = {Factorization of polynomials by transcendental
       evaluation},
   booktitle = {Proceedings of EUROCAL},
   year      = {1985},
   publisher = {Springer},
   pages     = {138--145},
   owner     = {K},
   volume    = {204},
   series    = {LNCS}
}


@techreport{HuNo93,
   author    = {F. Hurtado and M. Noy},
   title     = {Ears of triangulations and Catalan numbers},
   institution = {Universitat Politecnica de Catalunya, Dep. Math. Apl.
       II},
   year      = {1993},
   type      = {MA2-IR-93-5},
   owner     = {K}
}


@article{IbLe83,
   author    = {O. H. Ibarra and B. S. Leininger},
   title     = {On the Simplification and Equivalence Problems for
       Straight-line Programs},
   journal   = {Journal of the ACM},
   year      = {1983},
   month     = jul,
   volume    = {30},
   number    = {3},
   pages     = {641--656},
   owner     = {K}
}


@article{IbMo83,
   author    = {O. H. Ibarra and S. Moran},
   title     = {Equivalence of Straight-line Programs},
   journal   = {Journal of the ACM},
   year      = {1983},
   volume    = {30},
   pages     = {217--228},
   owner     = {K}
}


@article{IbMoRo81,
   author    = {O. H. Ibarra and S. Moran and L. E. Rosier},
   title     = {Probabilistic Algorithms and Straight-line Programs
       for some rank decision problems},
   journal   = {Information Processing Letters},
   year      = {1981},
   volume    = {12},
   number    = {5},
   pages     = {227--232},
   owner     = {J,K}
}


@inproceedings{IbTr90,
   author    = {O. Ibarra and N. Q. Tran},
   title     = {On the Parallel Complexity of Solving Recurrence
       Equations},
   booktitle = {Proceedings of ISSAC'90},
   year      = {1990},
   pages     = {469--477},
   owner     = {K}
}


@book{Iversen73,
   author    = {B. Iversen},
   title     = {Generic local structure of the morphisms in
       Commutative Algebra},
   year      = {1973},
   publisher = {Springer},
   volume    = {310},
   series    = {LNM},
   owner     = {LM}
}


@article{Ja'Ja'83,
   author  = {J. Ja'Ja'},
   title   = {Time--space tradeoffs for some algebraic problems},
   journal = {Journal of the Association for Computing Machinery},
   year    = {1983},
   volume  = {30},
   number  = {3},
   pages   = {657--667},
   owner   = {G},
}
 
@book{Ja'Ja'92,
   author    = {J. Ja'Ja'},
   title     = {An introduction to parallel algorithms},
   year      = {1992},
   publisher = {Addison--Wesley, Massachusetts},
   owner     = {J,G}
}


@article{Jebelean93,
   author    = {T. Jebelean},
   title     = {Improving the Multiprecision {Euclidean} Algorithm},
   journal   = {Lecture Notes in Computer Science},
   year      = {1993},
   volume    = {722},
   pages     = {45--58}
}


@inproceedings{Jebelean93a,
   author    = {T. Jebelean},
   title     = {A Generalization of the Binary {GCD} Algorithm},
   booktitle = {{ISSAC}'93: proceedings of the 1993 International
       Symposium on Symbolic and Algebraic Computation, July
       6--8, 1993, Kiev, Ukraine},
   year      = {1993},
   editor    = {Manuel Bronstein},
   publisher = {ACM Press},
   pages     = {111--116},
   owner     = {wanted}
}


@article{Jebelean93b,
   author    = {T. Jebelean},
   title     = {Improving the Multiprecision {Euclidean} Algorithm},
   journal   = {Lecture Notes in Computer Science},
   year      = {1993},
   volume    = {722},
   pages     = {45--??},
   owner     = {wanted}
}


@article{JoKaCl66,
   author    = {D. E. Jordan and R. Y. Kain and L. C. Clapp},
   title     = {Symbolic factoring of polynomials in several
       variables},
   journal   = {Comm. ACM},
   year      = {1966},
   volume    = {9},
   pages     = {638--643},
   owner     = {K}
}


@book{Jouanolou83,
   author    = {J. P. Jouanolou},
   title     = {Th\'eor\`emes de Bertini et applications},
   year      = {1983},
   publisher = {Birkh{\"a}user Verlag},
   series    = {Progress in Mathematics},
   volumes   = {42}
}


@inproceedings{KaKrSa86,
   author    = {E. Kaltofen and M. Krishnamoorthy and B. D. Saunders},
   title     = {{Fast} {Parallel} {Algorithms} for {Similarity} of
       {Matrices}},
   booktitle = {{Proceedings} of the 1986 {Symposium} on {Symbolic}
       and {Algebraic} {Computation}},
   year      = {1986},
   month     = jul,
   pages     = {65--70},
   owner     = {K}
}


@article{KaKrSa87,
   author    = {E. Kaltofen and M. Krishnamoorthy and B. D. Saunders},
   title     = {{Fast} parallel computation of {Hermite} and {Smith}
       forms of polynomial matrices},
   journal   = {SIAM J. Algebraic Discrete Methods},
   year      = {1987},
   volume    = {8},
   pages     = {683--690},
   owner     = {K},
   address   = {Philadelphia, PA},
   publisher = {Society for Industrial and Applied Mathematics}
}


@inproceedings{KaKrSa89,
   author    = {E. Kaltofen and M. Krishnamoorthy and B. D. Saunders},
   title     = {{Mr.~Smith} goes to {Las} {Vegas:} {Randomized}
       parallel computation of the {Smith} normal form of
       polynomial matrices},
   booktitle = {{Proceedings} of the 6th {International} {Conference}
       on {Computer} {Algebra,} {EUROCAL} '87 ({Leipzig,}
       {GDR,} {June} 2-5, 1987)},
   year      = {1989},
   editor    = {J. H. Davenport},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {317--322},
   owner     = {K},
   series    = {LNCS},
   volume    = {378}
}


@inproceedings{KaLaWi90,
   author    = {E. Kaltofen and Y. N. Lakshman and J.-M. Wiley},
   title     = {{Modular} rational sparse multivariate polynomial
       interpolation},
   booktitle = {{Proceedings} of the {International} {Symposium} on
       {Symbolic} and {Algebraic} {Computation} ({ISSAC} '90)
       ({Tokyo,} {Japan,} {August} 20-24, 1990)},
   year      = {1990},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {135--139},
   owner     = {K}
}


@inproceedings{KaLeLo84,
   author    = {R. Kannan and A. K. Lenstra and L. Lovasz},
   title     = {{Polynomial} factorization and non-randomness of bits
       of algebraic and some transcendental numbers},
   booktitle = {{Proceedings} of the 16th {Ann.} {ACM} {Symposium} on
       {Theory} of {Computing} ({Washington,} {D.C.)}},
   organization = {ACM},
   year      = {1984},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {191--200},
   owner     = {K}
}


@inproceedings{Kaltofen82,
   author    = {E. Kaltofen},
   title     = {{A} polynomial reduction from multivariate to
       bivariate integral polynomial factorization},
   booktitle = {{Proceedings} of the 14th {Ann.} {ACM} {Symposium} on
       {Theory} of {Computing} ({San} {Francisco,} {CA)}},
   organization = {ACM},
   year      = {1982},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {261--266},
   owner     = {K}
}


@inproceedings{Kaltofen82A,
   author    = {E. Kaltofen},
   title     = {{A} polynomial-time reduction from bivariate to
       univariate integral polynomial factorization},
   booktitle = {{Proceedings} of the 23rd {Ann.} {IEEE} {Symposium} on
       {Foundations} of {Computer} {Science} ({Chicago,}
       {IL)}},
   organization = {IEEE},
   year      = {1982},
   publisher = {IEEE},
   pages     = {57--64},
   owner     = {K}
}


@inproceedings{Kaltofen84,
   author    = {E. Kaltofen},
   title     = {{Effective} {Hilbert} irreducibility},
   booktitle = {{Proceedings} of the 3rd {International} {Symposium}
       on {Symbolic} and {Algebraic} {Computation} {EUROSAM}
       84 ({Cambridge,} {England,} {July} 9-11, 1984)},
   organization = {ACM SIGSAM, SAME},
   year      = {1984},
   editor    = {John Fitch},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {277--284},
   owner     = {wanted},
   series    = {LNCS},
   volume    = {174}
}


@inproceedings{Kaltofen84A,
   author    = {E. Kaltofen},
   title     = {{A} note on the {Risch} differential equation},
   booktitle = {{Proceedings} of the 3rd {International} {Symposium}
       on {Symbolic} and {Algebraic} {Computation} {EUROSAM}
       84 ({Cambridge,} {England,} {July} 9-11, 1984)},
   organization = {ACM SIGSAM, SAME},
   year      = {1984},
   editor    = {John Fitch},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {359--366},
   owner     = {wanted},
   series    = {LNCS},
   volume    = {174}
}


@inproceedings{Kaltofen85,
   author    = {E. Kaltofen},
   title     = {{Computing} with polynomials given by straight-line
       programs {I:} {Greatest} common divisors},
   booktitle = {{Proceedings} of the 17th {Ann.} {ACM} {Symposium} on
       {Theory} of {Computing} ({Providence,} {RI)}},
   organization = {ACM},
   year      = {1985},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {131--142},
   owner     = {LM}
}


@inproceedings{Kaltofen85A,
   author    = {E. Kaltofen},
   title     = {{Computing} with polynomials given by straight-line
       programs {II} sparse factorization},
   booktitle = {{Proceedings} of the 26th {Ann.} {IEEE} {Symposium} on
       {Foundations} of {Computer} {Science} ({Portland,}
       {OR)}},
   organization = {IEEE},
   year      = {1985},
   publisher = {IEEE},
   pages     = {451--458},
   owner     = {LM}
}


@article{Kaltofen85B,
   author    = {E. Kaltofen},
   title     = {{Effective} {Hilbert} irreducibility},
   journal   = {Inf.~Control},
   year      = {1985},
   volume    = {66},
   number    = {3},
   pages     = {123--137},
   owner     = {K},
   address   = {New York-San Francisco-London-San Diego},
   publisher = {Academic Press}
}


@article{Kaltofen85C,
   author    = {E. Kaltofen},
   title     = {{Polynomial-time} reductions from multivariate to bi-
       and univariate integral polynomial factorization},
   journal   = {SIAM J. Comput.},
   year      = {1985},
   month     = may,
   volume    = {14},
   number    = {2},
   pages     = {469--489},
   owner     = {K},
   address   = {Philadelphia, PA},
   institution = {Dept. of Comput. Sci., Toronto Univ., Ont., Canada},
   publisher = {Society for Industrial and Applied Mathematics}
}


@inproceedings{Kaltofen85D,
   author    = {E. Kaltofen},
   title     = {{Sparse} {Hensel} lifting},
   booktitle = {{Proceedings} of the 10th {European} {Conference} on
       {Computer} {Algebra,} {EUROCAL} '85. {Vol.~2:}
       {Research} contributions ({Linz,} {Austria,} {April}
       1-3, 1985)},
   organization = {ACM SIGSAM, SAME},
   year      = {1985},
   editor    = {Bob F. Caviness},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {4--17},
   owner     = {K},
   series    = {LNCS},
   volume    = {204}
}


@techreport{Kaltofen85E,
   author    = {Erich Kaltofen},
   title     = {{Computing} with {Polynominals} {Given} by
       {Straight-Line} {Programs} {II:} {Sparse}
       {Factorization}},
   institution = {Computer Science Department, Rensselear Polytechnic
       Institute},
   year      = {1985},
   number    = {85-10},
   type      = {Technical Report},
   owner     = {LM}
}


@techreport{Kaltofen85F,
   author    = {Erich Kaltofen},
   title     = {{Sparse} {Hensel} {Lifting}},
   institution = {Computer Science Department, Rensselear Polytechnic
       Institute},
   year      = {1985},
   number    = {85-12},
   type      = {Technical Report}
}


@techreport{Kaltofen85G,
   author    = {Erich Kaltofen},
   title     = {{Computing} with {Polynominals} {Given} by
       {Straight-Line} {Programs} {I:} {Greatest} {Common}
       {Divisor}},
   institution = {Computer Science Department, Rensselear Polytechnic
       Institute},
   year      = {1985},
   number    = {85-16},
   type      = {Technical Report}
}


@article{Kaltofen85H,
   author    = {Erich Kaltofen},
   title     = {{Fast} parallel absolute irreducibility testing},
   journal   = {Journal of Symbolic Computation},
   year      = {1985},
   volume    = {1},
   pages     = {57--67}
}


@inproceedings{Kaltofen86,
   author    = {E. Kaltofen},
   title     = {{Uniform} closure properties of {P-computable}
       functions},
   booktitle = {{Proceedings} of the 18th {Ann.} {ACM} {Symposium} on
       {Theory} of {Computing} ({Berkeley,} {CA)}},
   organization = {ACM},
   year      = {1986},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {330--337},
   owner     = {K}
}


@misc{Kaltofen86A,
   author    = {Erich Kaltofen},
   title     = {{Deterministic} irreducibility testing of polynomials
       over large finite fields},
   year      = {1986},
   institution = {MSRI, Berkeley},
   type      = {Preprint}
}


@inproceedings{Kaltofen87,
   author    = {E. Kaltofen},
   title     = {{Single-factor} {Hensel} lifting and its application
       to the straight-line complexity of certain
       polynomials},
   booktitle = {{Proceedings} of the 19th {Annual} {ACM} {Symposium}
       on {Theory} of {Computing} ({New} {York} {City,} {May}
       25--27, 1987)},
   organization = {ACM},
   year      = {1987},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {443--452},
   owner     = {K}
}


@article{Kaltofen88,
   author    = {E. Kaltofen},
   title     = {Greatest Common Divisors of Polynomials Given by
       Straight-Line Programs},
   journal   = {Journal of the ACM},
   year      = {1988},
   month     = jan,
   volume    = {35},
   number    = {1},
   pages     = {231--264},
   owner     = {K}
}


@incollection{Kaltofen89,
   author    = {Erich Kaltofen},
   title     = {Factorization of polynomials given by straight-line
       programs},
   booktitle = {Randomness in Computation},
   year      = {1989},
   editor    = {S. Micali},
   publisher = {JAI Press Inc.},
   pages     = {375--412},
   owner     = {K},
   series    = {Advances in Computing Research},
   volume    = {5}
}


@inproceedings{Kaltofen91,
   author    = {E. Kaltofen},
   title     = {{Effective} {Noether} irreducibility forms and
       applications},
   booktitle = {{Proceedings} of the 23rd {Annual} {ACM} {Symposium}
       on {Theory} of {Computing} ({New} {Orleans,}
       {Louisiana,} {May} 6-8, 1991)},
   organization = {ACM SIGACT},
   year      = {1991},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {54--63},
   owner     = {K}
}


@inproceedings{Kaltofen92,
   author    = {Erich Kaltofen},
   title     = {{Polynomial} factorization 1987--1991},
   booktitle = {{Proceedings} of the 1st {Latin} {American}
       {Symposium} on {Theoretical} {Informatics} {LATIN} '92
       ({S{\~a}o} {Paulo,} {Brazil,} {April} 1992)},
   year      = {1992},
   editor    = {I. Simon},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {294--313},
   owner     = {K},
   series    = {LNCS},
   volume    = {583}
}


@inproceedings{Kaltofen92A,
   author    = {Erich Kaltofen},
   title     = {{On} computing determinants of matrices without
       divisions},
   booktitle = {{Proceedings} of the 3rd {International} {Symposium}
       on {Symbolic} and {Algebraic} {Computation}
       ({Berkeley,} {California,} {July} 27-29, 1992)},
   year      = {1992},
   editor    = {Paul S. Wang},
   publisher = {ACM},
   address   = {New York},
   pages     = {342--349}
}


@inproceedings{Kaltofen93,
   author    = {Erich Kaltofen},
   title     = {{Analysis} of {Coppersmith's} block {Wiedemann}
       algorithm for the parallel solution of sparse linear
       systems},
   booktitle = {{Proceedings} of the 10th {International} {Symposium}
       on {Applied} {Algebra,} {Algebraic} {Algorithms} and
       {Error-Correcting} {Codes,} {AAECC-10.} ({San} {Juan}
       de {Puerto} {Rico,} {Puerto} {Rico,} {May} 1993)},
   year      = {1993},
   editor    = {Cohen and G{\'{e}}rard and Teo Mora and Oscar Moreno},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong-Barcelona-Budapest},
   pages     = {195--212},
   owner     = {K},
   series    = {LNCS},
   volume    = {673}
}


@article{KaMuSa83,
   author    = {E. Kaltofen and D. R. Musser and B. D. Saunders},
   title     = {{A} generalized class of polynomials that are hard to
       factor},
   journal   = {SIAM J. Comput.},
   year      = {1983},
   month     = aug,
   volume    = {12},
   number    = {3},
   pages     = {473--483},
   owner     = {K},
   address   = {Philadelphia, PA},
   institution = {RENSSELAER POLYTECH. INST., TROY, NY, USA;},
   publisher = {Society for Industrial and Applied Mathematics}
}


@inproceedings{KaPa91,
   author    = {E. Kaltofen and V. Pan},
   title     = {{Processor} efficient parallel solution of linear
       systems over an abstract field},
   booktitle = {{Proceedings} of the 3rd {Annual} {ACM} {Symposium} on
       {Parallel} {Algorithms} and {Architectures,} {SPAA'91}
       ({Hilton} {Head,} {South} {Carolina,} {July} 21-24,
       1991)},
   organization = {ACM SIGACT, ACM SIGARCH},
   year      = {1991},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {180--191},
   owner     = {K}
}


@inproceedings{KaPa92,
   author    = {E. Kaltofen and V. Pan},
   title     = {{Processor-efficient} parallel solution of linear
       systems {II.} {The} positive characteristic and
       singular cases},
   booktitle = {{Proceedings} of the 33rd {Annual} {Symposium} on
       {Foundations} of {Computer} {Science} ({Pittsburgh,}
       {Pennsylvania,} {October} 24--27, 1992)},
   year      = {1992},
   publisher = {IEEE Computer Society Press},
   address   = {Los Alamitos-Washington-Brussels-Tokyo},
   pages     = {714--723},
   owner     = {K}
}


@inproceedings{KaRo85,
   author    = {E. Kaltofen and H. Rolletschek},
   title     = {{Arithmetic} in quadratic fields with unique
       factorization},
   booktitle = {{Proceedings} of the 10th {European} {Conference} on
       {Computer} {Algebra,} {EUROCAL} '85. {Vol.~2:}
       {Research} contributions ({Linz,} {Austria,} {April}
       1-3, 1985)},
   organization = {ACM SIGSAM, SAME},
   year      = {1985},
   editor    = {Bob F. Caviness},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {279--288},
   owner     = {K},
   series    = {LNCS},
   volume    = {204}
}


@inproceedings{KaSa95,
   author    = {D. Kapur and T. Saxena},
   title     = {Comparison of Various Multivariate Resultant
       Formulations},
   booktitle = {{ISSAC} '95: Proceedings of the 1995 International
       Symposium on Symbolic and Algebraic Computation: July
       10--12, 1995, Montreal, Canada},
   year      = {1995},
   editor    = {A. H. M. Levelt},
   publisher = {ACM Press},
   address   = {New York, NY 10036, USA},
   pages     = {187--194},
   series    = {ISSAC -PROCEEDINGS- 1995}
}


@inproceedings{KaSa96,
   author    = {Deepak Kapur and Tushar Saxena},
   title     = {Sparsity Considerations in {Dixon} Resultants},
   booktitle = {Proceedings of the Twenty-Eighth Annual {ACM}
       Symposium on Theory of Computing},
   year      = {1996},
   month     = may,
   address   = {Philadelphia, Pennsylvania},
   pages     = {184--191}
}


@inproceedings{KaSaYa94,
   author    = {D. Kapur and T. Saxena and Lu Yang},
   title     = {Algebraic and geometric reasoning using {Dixon}
       resultants},
   booktitle = {{ISSAC} '94: Proceedings of the 1994 International
       Symposium on Symbolic and Algebraic Computation: July
       20--22, 1994, Oxford, England, United Kingdom},
   year      = {1994},
   editor    = {{ACM}},
   publisher = {ACM Press},
   address   = {New York, NY 10036, USA},
   pages     = {99--107}
}


@techreport{KaSi90,
   author    = {Erich Kaltofen and Michael F. Singer},
   title     = {Size Efficient Parallel Algebraic Circuits for Partial
       Derivatives},
   institution = {Department of Computer Science, Rensselaer Polytechnic
       Institute},
   year      = {1990},
   month     = oct,
   address   = {Troy, N.Y.},
   number    = {No. 90-32},
   type      = {Technical Report}
}


@inproceedings{KaTr88,
   author    = {E. Kaltofen and B. Trager},
   title     = {{Computing} with polynomials given by black boxes for
       their evaluations: {Greatest} common divisor,
       factorization, separation of numerators and
       denominators},
   booktitle = {{Proceedings} of the 29th {Ann.} {IEEE} {Symposium} on
       {Foundations} of {Computer} {Science} ({White}
       {Plains,} {NY,} {October} 24-26, 1988)},
   organization = {IEEE},
   year      = {1988},
   publisher = {IEEE},
   pages     = {296--305},
   owner     = {LM}
}


@inproceedings{KaVaYu89,
   author    = {Erich Kaltofen and Thomas Valente and Noriko Yui},
   title     = {{An} improved {Las} {Vegas} primality test},
   booktitle = {{Proceedings} of the {ACM-SIGSAM} {International}
       {Symposium} on {Symbolic} and {Algebraic} {Computation}
       ({ISSAC} '89) ({Portland,} {Oregon,} {July} 17-19,
       1989)},
   year      = {1989},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {26--33}
}


@article{KaVe96,
   author    = {Marek Karpinski and Rutger Verbeek},
   title     = {On randomized versus deterministic computation},
   journal   = {Theoretical Computer Science},
   year      = {1996},
   month     = jan,
   volume    = {154},
   number    = {1},
   pages     = {23--39},
   owner     = {K}
}


@inproceedings{KaYa89,
   author    = {E. Kaltofen and L. Yagati},
   title     = {{Improved} sparse multivariate polynomial
       interpolation algorithm},
   booktitle = {{Proceedings} of the {International} {Symposium} on
       {Symbolic} and {Algebraic} {Computation} ({ISSAC} '88)
       ({Rome,} {Italy,} {July} 1988)},
   year      = {1989},
   editor    = {P. Gianni},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {467--474},
   owner     = {K},
   series    = {LNCS},
   volume    = {358}
}


@inproceedings{KaYu84,
   author    = {E. Kaltofen and N. Yui},
   title     = {{Explicit} construction of the {Hilbert} class fields
       of imaginary quadratic fields with class numbers 7 and
       11},
   booktitle = {{Proceedings} of the 3rd {International} {Symposium}
       on {Symbolic} and {Algebraic} {Computation} {EUROSAM}
       84 ({Cambridge,} {England,} {July} 9-11, 1984)},
   organization = {ACM SIGSAM, SAME},
   year      = {1984},
   editor    = {John Fitch},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {310--320},
   owner     = {K},
   series    = {LNCS},
   volume    = {174}
}


@misc{KeKu95,
   author    = {W. Keller and L. Kulesz},
   title     = {Courbes alg{\'e}briques de genre 2 et 3 poss{\'e}dant
       de nombreux points rationnels},
   year      = {1995},
   howpublished = {Algebraic Geometry / Number Theory Preprint},
   owner     = {K}
}


@article{Kemper96,
   author    = {Gregor Kemper},
   title     = {Calculating Invariant Rings of Finite Groups over
       Arbitrary Fields},
   journal   = {Journal of Symbolic Computation},
   year      = {1996},
   month     = mar,
   volume    = {21},
   number    = {3},
   pages     = {351--366},
   owner     = {K}
}


@book{Keng82,
   author    = {H. {Loo Keng}},
   title     = {Introduction to Number Theory},
   year      = {1982},
   publisher = {Springer}
}


@book{Khinchin35,
   author    = {A. Y. Khinchin},
   title     = {{Continued Fractions}. Translated from Russian by {P}.
       Wynn, {P}. Noordhoff Ltd., Grooningen, 1963. Also by
       {H}. Eagle, The University of Chicago Press, 1964},
   year      = {1935},
   publisher = {The University of Chicago Press},
   owner     = {K}
}


@article{Khovanski78,
   author    = {A. G. Khovanski},
   title     = {Newton polyhedra and the genus of complete
       intersections},
   journal   = {Funkts. Anal. Pril.},
   year      = {1978},
   volume    = {12},
   number    = {1},
   pages     = {51--61}
}


@book{Knuth2,
   author    = {D. E. Knuth},
   title     = {The Art of Computer Programming {II}: Semi-numerical
       Algorithms},
   year      = {1981},
   publisher = {Addison-Wesley},
   owner     = {LM}
}


@book{Knuth68,
   author    = {D. E. Knuth},
   title     = {The Art of Computer Programming {I}: Fundamental
       Algorithms},
   year      = {1968},
   publisher = {Addison--Wesley},
   address   = {Reading, Massachusetts}
}


@article{KnuthPa76,
   owner = "K",   
  author = "Donald E. Knuth and Luis Trabb Pardo",
   journal = "Theoretical Computer Science",
   month = dec,
   number = "3",
   pages = "321--348",
   title = "Analysis of a Simple Factorization Algorithm",
   volume = "3",
   year = "1976",
   comment = "Previously appeared as Stanford CS tech report
                    STAN-CS-76-538 (Jan 1976)."
}

@book{Koblitz77,
   author    = {N. Koblitz},
   title     = {p-adic Numbers, p-adic Analysis, and Zeta-Functions},
   year      = {1977},
   publisher = {Springer},
   series    = {GTM 58}
}


@book{Koblitz87,
   author    = {N. Koblitz},
   title     = {A Course in Number Theory and Cryptography},
   year      = {1987},
   publisher = {Springer},
   series    = {GTM 114},
   owner     = {K}
}


@article{Koblitz87a,
   owner = "K",   
  author = "N. Koblitz",
   journal = "Mathematics of Computation",
   number = "177",
   pages = "203--209",
   title = "Elliptic Curve Cryptosytems",
   volume = "48",
   year = "1987"
}

@article{Koblitz88,
   owner = "K",   
  author = "Neal Koblitz",
   journal = "Pacific Journal of Mathematics",
   pages = "157--165",
   title = "Primality of the Number of Points on an Elliptic Curve
                 over a Finite Field",
   volume = "131",
   year = "1988"
}

@article{KoFuFu88,
   author    = {H. Kobayashi and T. Fujise and A. Furukawa},
   title     = {Solving systems of algebraic equations by general
       elimination method},
   journal   = {J. of Symb. Comp.},
   year      = {1988},
   volume    = {5},
   pages     = {303--320},
   owner     = {LM}
}


@inproceedings{Koiran93,
   author    = {P. Koiran},
   title     = {A Weak Version of the Blum, Shub and Smale Model},
   booktitle = {Proceedings of the 34th Annual Symposium on
       Foundations of Comptuer Science},
   year      = {1993},
   month     = nov,
   editor    = {IEEE},
   publisher = {IEEE Computer Society Press},
   address   = {Palo Alto, CA},
   pages     = {486--497},
   owner     = {K}
}


@article{Koiran96,
   author    = {Pascal Koiran},
   title     = {Hilbert's {Nullstellensatz} Is in the Polynomial
       Hierarchy},
   journal   = {Journal of Complexity},
   year      = {1996},
   month     = dec,
   volume    = {12},
   number    = {4},
   pages     = {273--286}
}


@techreport{Koiran96a,
   author    = {Pascal Koiran},
   title     = {Hilbert's Nullstellensatz is in the Polynomial
       Hierarchy},
   institution = {DIMACS},
   year      = {1996},
   month     = jul,
   number    = {96-27},
   owner     = {K},
   url       = {{\tt http://dimacs.rutgers.edu/techps/1996/96-27.ps}}
}


@article{Kollar88,
   author    = {J. Koll\'ar},
   title     = {Sharp effective Nullstellensatz},
   journal   = {J. of the AMS},
   year      = {1988},
   volume    = {1},
   pages     = {963--975},
   owner     = {LM}
}


@inproceedings{Kovacs90,
   author    = {P. Kovacs},
   title     = {{Minimum degree solutions for the inverse kinematics
       problem by application of the Buchberger algorithm}},
   booktitle = {{Proceedings of the 2nd Int. Workshop on Advances in
       Robot Kinematics}},
   organization = {University of Linz, Austria, Sept 10--12, 1990},
   year      = {1990},
   publisher = {Springer, to appear}
}


@inbook{Kozen92,
  author =       "D. C. Kozen",
  title =        "Lecture 38: Miller's Primality Test",
  booktitle =    "The Design and Analysis of Algorithms",
  publisher =    "Springer Verlag",
  year =         "1992",
  pages =        "201--213",
  owner = "K",
}

@incollection{KrLo91,
   author    = {T. Krick and A. Logar},
   title     = {Membership Problems, Representation problems and the
       Computation of the Radical for one-dimensional Ideals},
   booktitle = {Effective Methods in Algebraic Geometry},
   year      = {1991},
   editor    = {T. Mora and C. Traverso},
   publisher = {Birkh{\"a}user},
   pages     = {203--216},
   series    = {Progress in Mathematics},
   volume    = {94}
}


@article{Kronecker82,
   author    = {L. Kronecker},
   title     = {Grundz{\"u}ge einer arithmetischen Theorie de
       algebraischen Gr{\"o}ssen},
   journal   = {J. reine angew. Math.},
   year      = {1882},
   volume    = {92},
   pages     = {1--122},
   owner     = {FB Math. UniDO}
}


@article{KrPa94,
   author    = {T. Krick and L. M. Pardo},
   title     = {Une approche informatique pour l' approximation
       diophantienne},
   journal   = {C. R. Acad. Sci. Paris},
   year      = {1994},
   volume    = {318},
   number    = {1},
   pages     = {407--412},
   owner     = {J,K}
}


@misc{KrPa94A,
   author    = {T. Krick and L. M. Pardo},
   title     = {A Computational Method for Diophantine Approximation},
   year      = {1994},
   howpublished = {preprint, 56 pages Universidad de Cantabria},
   owner     = {J,K},
   number    = {1},
   pages     = {407--412},
   volume    = {318}
}


@inproceedings{KrPa96,
   author    = {T. Krick and L. M. Pardo},
   title     = {A Computational Method for Diophantine Approximation},
   booktitle = {Algorithms in Algebraic Geometry and Applications.
       Proceedings of MEGA'94},
   year      = {1996},
   editor    = {L. Gonz\'alez-Vega and T. Recio},
   publisher = {Birkh{\"a}user Verlag},
   pages     = {193--254},
   owner     = {LM},
   series    = {Progress in Mathematics},
   volume    = {143}
}


@article{KrSaSo97,
   author    = {T. Krick and J. Sabia and P. Solern{\'o}},
   title     = {On intrinsic bounds in the Nullstellensatz},
   journal   = {Applicable Algebra in Engineering Communications and
       Computing (AAECC Journal)},
   year      = {1997},
   volume    = {8},
   pages     = {125--134},
   owner     = {J}
}


@article{Kulesz95,
   author    = {L. Kulesz},
   title     = {Courbes alg{\'e}briques de genre 2 poss{\'e}dant de
       nombreux points rationnels},
   journal   = {C. R. Acad. Sci. Paris},
   year      = {1995},
   volume    = {321},
   pages     = {91--94},
   owner     = {K}
}


@article{Kung76,
   author    = {H. T. Kung},
   title     = {New algorithms and lower bounds for the parallel
       evaluation of certain rational expressions and
       recurrences},
   journal   = {J. of the ACM},
   year      = {1976},
   volume    = {23},
   pages     = {534--543},
   owner     = {LM}
}


@book{Kunz85,
   author    = {E. Kunz},
   title     = {Introduction to Commutative Algebra and Algebraic Geometry},
   year      = {1985},
   publisher = {Birkh{\"a}user Verlag},
   owner     = {D}
}

@book{Kunz86,
   author    = {E. Kunz},
   title     = {{K}{\"a}hler Differentials},
   year      = {1986},
   publisher = {Vieweg Verlag},
   series    = {Advanced Lectures in Mathematics},
   owner     = {LM}
}


@article{Kushnirenko76,
   author    = {A. G. Kushnirenko},
   title     = {Newton polytopes and the Bezout Theorem},
   journal   = {Funkts. Anal. Pril.},
   year      = {1976},
   volume    = {10},
   number    = {3}
}


@book{Lakos96,
   author    = {J. Lakos},
   title     = {Large Scale {C}++ Software Design},
   year      = {1996},
   publisher = {Addison-Wesley}
}


@incollection{LaLa91,
   author    = {Y. N. Lakshman and D. Lazard},
   title     = {On the complexity of zero-dimensional algebraic
       systems},
   booktitle = {Effective methods in algebraic geometry},
   year      = {1991},
   publisher = {Birkh{\"a}user},
   pages     = {217--225},
   owner     = {LM},
   journal   = {Effective Methods in algebraic geometry},
   series    = {Progress in Mathematics},
   volume    = {94}
}


@book{Lam78,
   author    = {T. Y. Lam},
   title     = {Serre's Conjecture},
   year      = {1978},
   publisher = {Springer},
   volume    = {635},
   series    = {LNM}
}


@article{LaMi85,
   author    = {S. Landau and G. L. Miller},
   title     = {Solvability by radicals is in Polynomial Time},
   journal   = {J. Comp. System Sci.},
   year      = {1985},
   volume    = {30},
   pages     = {179--208},
   owner     = {K}
}


@inproceedings{LaMOdl90,
   owner = "K",   
  author = "LaMacchia and Odlyzko",
   booktitle = "CRYPTO: Proceedings of Crypto",
   title = "Solving Large Sparse Linear Systems over Finite Fields",
   year = "1990"
}

@article{LaMoOd79,
      owner = "K",   
    author = "J. C. Lagrias and H. L. Montgomery and A. M. Odlyzko",
   journal = "Inventiones mathematicae",
     pages = "271-296",
     title = "A Bound for the Least Prime Ideal in the Chebotarev Density
              Theorem",
   volume = "54",
     year = "1979"
}
 
@book{Lamp94b,
   author    = {Leslie Lamport},
   title     = {Latex User's Guide and Reference Manual},
   year      = {1994},
   publisher = {Addison-Wesley},
   edition   = {2nd}
}


@article{Landau85,
   author    = {S. Landau},
   title     = {Factoring Polynomials over algebraic number fields},
   journal   = {SIAM J. Comp.},
   year      = {1985},
   volume    = {14},
   pages     = {184--195},
   owner     = {K}
}


@book{Lang83,
   author    = {S. Lang},
   title     = {Fundamentals of Diophantine Geometry},
   year      = {1983},
   publisher = {Springer},
   owner     = {LM}
}


@book{Lang84,
   author    = {S. Lang},
   title     = {Algebra},
   edition = 2,
   year      = {1984},
   publisher = {Springer},
   owner     = {K}
}


@misc{LaOd,
   author    = {J. C. Lagarias and A. M. Odlyzko},
   title     = {Effective Versions of the Chebotarev Density Theorem},
   howpublished = {article in collection book},
   owner     = {K},
   pages     = {409--464}
}


@book{LaTi85,
   author    = {P. Lancaster and M. Tismenetsky},
   title     = {The theory of matrices},
   year      = {1985},
   publisher = {Academic Press},
   owner     = {??}
}


@article{LaTr77,
  author = "S. Lang and H. Trotter",
  title = "Primitive Points on Elliptic Curves",
  journal = "Bulletin of the American Mathematical Society",
  owner = "K",
  year = "1977",
  month = mar,
  volume = "83",
  number = "2",
  pages = "289-292",
}

@article{Lazard81,
   author    = {D. Lazard},
   title     = {{R}\'esolution des syst\`emes d'\'equations
       alg\'ebriques},
   journal   = {Theo. Comp. Sci.},
   year      = {1981},
   volume    = {15},
   pages     = {77--110},
   owner     = {LM}
}


@inproceedings{Lazard82,
   author    = {D. Lazard},
   title     = {On Polynomial Factorization},
   booktitle = {Proceedings EUROCAM},
   year      = {1982},
   publisher = {Springer},
   pages     = {126--134},
   owner     = {K},
   number    = {144},
   series    = {LNCS}
}


@incollection{Lazard93,
   author    = {D. Lazard},
   title     = {Systems of Algebraic Equations (Algorithms and
       Complexity)},
   booktitle = {Computational Algebraic Geometry and Commutative
       Algebra},
   year      = {1993},
   publisher = {Cambridge University Press},
   pages     = {216--256},
   owner     = {LM},
   journal   = {Theo. Comp. Sci.},
   series    = {Symposia Matematica},
   volume    = {XXXIV}
}


@manual{LEDA,
   author    = {Kurt Mehlhorn and Stefan N{\"a}her and Christian
       Uhrig},
   title     = {Library for Efficient Datastructures and Algorithms},
   organization = {Max Planck Institute for Computer Science},
   year      = {1997},
   address   = {Saarbr{\"u}cken},
   note      = {{\tt http://www.mpi-sb.mpg.de/LEDA/leda.html}}
}


@article{Lehman74,
   owner = "K",   
  author = "R. Sherman Lehman",
   journal = "Mathematics of Computation",
   number = "126",
   pages = "637-646",
   title = "Factoring Large Integers",
   volume = "28",
   year = "1974",
   mon = "#apr"
}

@article{Lehmer33,
   author    = {D. H. Lehmer},
   title     = {Factorization of certain cyclotomic functions},
   journal   = {Ann. of Math.},
   year      = {1933},
   volume    = {34},
   number    = {2},
   pages     = {461--479},
   owner     = {LM}
}


@article{Lehmer76,
  author = "D. H. Lehmer",
  title = "Strong Carmichael Numbers",
  journal = "J. Austral. Math. Soc.",
  owner = "K",
  year = "1976",
  volume = "21",
  pages = "508-510",
}


@article{Lehmer81,
  author = "D. H. Lehmer",
  title = "On Fermat's Quotient, Base Two",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1981",
  month = jan,
  volume = "36",
  number = "153",
  pages = "289-290",
}

@misc{Lejeune84,
   author    = {M. Lejeune-Jalabert},
   title     = {Effectivit{\'e} de Calculs Polynomiaux},
   year      = {1984},
   howpublished = {manuscript, Cours de DEA, Universit\'e de Grenoble},
   owner     = {K}
}


@incollection{LeLe90,
   author    = {A. K. Lenstra and H. W. Lenstra Jr.},
   title     = {Algorithms in Number Theory},
   booktitle = {Handbook of Theoretical Computer Science},
   chapter   = {12},
   year      = {1990},
   publisher = {Elsevier},
   pages     = {673--715},
   owner     = {LM},
   journal   = {Bull. of the AMS}
}


@techreport{LeLeLo82,
   author    = {A. K. Lenstra and H. W. Lenstra and L. Lovasz},
   title     = {{Factoring} polynomials with rational coefficients},
   institution = {Mathematics Dept., University of Amsterdam},
   year      = {1982},
   number    = {82-05},
   type      = {Technical Report},
   keywords  = {polynomial algorithm, polynomial factorization, basis
       reduction}
}


@article{LeLeLo82b,
   author    = {A. K. Lenstra and H. W. {Lenstra, Jr.} and L.
       {Lov\'asz}},
   title     = {Factoring polynomials with rational coefficients},
   journal   = {Mathematische Ann.},
   year      = {1982},
   volume    = {261},
   pages     = {513--534},
   owner     = {K},
   oldtag    = {LenstraLeLo82}
}


@inproceedings{LeLeMaPo90,
   owner = "K",   
  author = "A. K. Lenstra and H. W. {Lenstra, Jr.} and M. S.
                 Manasse and J. M. Pollard",
   address = "Baltimore, MY",
   booktitle = "Proceedings of the 22nd Annual {ACM} Symposium on the
                 Theory of Computing",
   editor = "Baruch Awerbuch",
   month = may,
   pages = "564--572",
   publisher = "ACM Press",
   title = "The Number Field Sieve",
   year = "1990",
   ISBN = "0-89791-361-2"
}

@inproceedings{LenMan89,
   owner = "K",   
  author = "Lenstra and Manasse",
   booktitle = "EUROCRYPT: Advances in Cryptology: Proceedings of
                 EUROCRYPT",
   volume = "LNCS 434",
   title = "Factoring by Electronic Mail",
   year = "1989"
}

@article{Lenstra74,
  author = "H. W. {Lenstra, Jr.}",
  title = "Euclid's algorithm in cyclotomic fields",
  journal = "J. London Math. Soc.",
  owner = "K",
  year = "1975",
  volume = "10",
  number = "2",
  pages = "457-465",
}


@article{Lenstra79,
   owner = "K",   
  author = "Lenstra",
   journal = "IPL: Information Processing Letters",
   title = "Miller's Primality Test",
   volume = "8",
   year = "1979"
}

@incollection{Lenstra81,
   owner = "K",   
  author = "H. W. {Lenstra, Jr.}",
   address = "Berlin",
   booktitle = "S{\'e}minaire Bourbaki 1980/81, Expos\'e 576",
   number = "901",
   pages = "243--257",
   publisher = "Springer-Verlag",
   series = "Lecture Notes in Mathematics",
   title = "Primality Testing Algorithms (after {A}dleman,
                 {R}umely, and {W}illiams)",
   year = "1981"
}

@inbook{Lenstra82a,
  author =       "H. W. {Lenstra, Jr.}",
  title =        "Primality Testing with Artin Symbols",
  booktitle =    "Number Theory related to Fermat's Last Theorem",
  publisher = "Birkh{\"a}user",
  series = "Progress in Mathematics",
  year =         "1982",
  editor =       "N. Koblitz",
  pages =        "341-347",
  owner = "K",
}

@incollection{Lenstra82b,
   owner = "K",   
   author = "H. W. {Lenstra, Jr.}",
   address = "Amsterdam",
   booktitle = "Computational Methods in Number Theory. Part 1",
   editor = "H. W. {Lenstra, Jr.} and R. Tijdeman",
   number = "154",
   pages = "55--77",
   publisher = "Mathematisch Centrum",
   series = "Mathematical Centre Tracts",
   title = "Primality testing",
   year = "1982"
}

@inproceedings{Lenstra83,
   author    = {A. K. Lenstra},
   title     = {{Factoring} multivariate polynomials over finite
       fields},
   booktitle = {{Proceedings} of the 15th {Ann.} {ACM} {Symposium} on
       {Theory} of {Computing} ({Boston,} {Mass.)}},
   organization = {ACM},
   year      = {1983},
   publisher = {ACM Press},
   address   = {New York},
   pages     = {189--192},
   owner     = {K}
}


@techreport{Lenstra83A,
   author    = {A. K. Lenstra},
   title     = {{Polynomial} factorization by root approximation},
   institution = {Stichting Mathematisch Centrum, Amsterdam},
   year      = {1983},
   month     = nov,
   number    = {IE 242/83},
   type      = {Technical Report},
   keywords  = {polynomial algorithm, polynomial factorization, basis
       reduction algorithm, fundamental theorem of algebra}
}


@article{Lenstra84,
   owner = "K",   
  author = "Lenstra",
   journal = "MATHCOMP: Mathematics of Computation",
   pages = "331-340",
   title = "Divisors in Residue Classes",
   volume = "42",
   year = "1984"
}

@article{Lenstra84,
   author    = {A. K. Lenstra},
   title     = {{Factoring} multivariate integral polynomials},
   journal   = {Theor.~Comput.~Sci.},
   year      = {1984},
   volume    = {34},
   number    = {1,2},
   pages     = {207--213},
   owner     = {K},
   publisher = {Elsevier Science Publishers B.V. (North Holland)}
}


@inproceedings{Lenstra84A,
   author    = {A. K. Lenstra},
   title     = {{Polynomial} factorization by root approximation},
   booktitle = {{Proceedings} of the 3rd {International} {Symposium}
       on {Symbolic} and {Algebraic} {Computation} {EUROSAM}
       84 ({Cambridge,} {England,} {July} 9-11, 1984)},
   organization = {ACM SIGSAM, SAME},
   year      = {1984},
   editor    = {John Fitch},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {272--276},
   owner     = {K},
   series    = {LNCS},
   volume    = {174}
}


@article{Lenstra85,
   author    = {A. K. Lenstra},
   title     = {{Factoring} multivariate polynomials over finite
       fields},
   journal   = {J. Comput.~Syst.~Sci.},
   year      = {1985},
   month     = apr,
   volume    = {30},
   number    = {2},
   pages     = {235--248},
   owner     = {K},
   address   = {New York-San Francisco-London-San Diego},
   institution = {Centrum voor Wiskunde en Inf., Amsterdam,
       Netherlands},
   publisher = {Academic Press}
}


@techreport{Lenstra86,
   author    = {H. W. {Lenstra, Jr.}},
   title     = {{Elliptic} curves and number-theoretic algorithms},
   institution = {Mathematisch Instituut, Universiteit van Amsterdam},
   year      = {1986},
   month     = jul,
   number    = {86-19},
   type      = {Technical Report}
}


@techreport{Lenstra86A,
   author    = {H. W. {Lenstra, Jr.}},
   title     = {{Factoring} integers with elliptic curves},
   institution = {Mathematisch Instituut, Universiteit van Amsterdam},
   year      = {1986},
   month     = jul,
   number    = {86-18},
   type      = {Technical Report}
}


@article{Lenstra87,
   author    = {A. K. Lenstra},
   title     = {{Factoring} multivariate polynomials over algebraic
       number fields},
   journal   = {SIAM J. Comput.},
   year      = {1987},
   month     = jun,
   volume    = {16},
   number    = {3},
   pages     = {591--598},
   owner     = {K},
   address   = {Philadelphia, PA},
   institution = {Dept. of Comput. Sci., Chicago Univ., IL, USA},
   publisher = {Society for Industrial and Applied Mathematics}
}


@incollection{Lenstra90,
   owner = "K",   
  author = "Arjen K. Lenstra",
   booktitle = "Proc.\ of the AMS Symposia in Applied Mathematics:
                 Computational Number Theory and Cryptography",
   pages = "13--25",
   publisher = "American Mathematical Society",
   title = "Primality Testing",
   year = "1990"
}

@article{Lenstra92,
   author    = {Jr. H. W. Lenstra},
   title     = {Algorithms in Algebraic Number Theory},
   journal   = {Bull. of the AMS},
   year      = {1992},
   month     = apr,
   volume    = {26},
   number    = {2},
   pages     = {211--244},
   owner     = {K}
}


@inproceedings{Lenstra92A,
   owner = "K",   
  author = "Arjen K. Lenstra",
   address = "Berlin, Germany",
   booktitle = "Proceedings of Latin American Symposium on Theoretical
                 Informatics ({LATIN} '92)",
   editor = "Imre Simon",
   pages = "344--355",
   publisher = "Springer",
   series = "LNCS",
   title = "Massively parallel computing and factoring",
   volume = "583",
   year = "1992",
   ISBN = "3-540-55284-7",
   conflocation = "Sao Paulo, BRA",
   confmonth = "#apr",
   confyear = "1992"
}

@inproceedings{Lenstra92A,
   author    = {Arjen K. Lenstra},
   title     = {{Massively} parallel computing and factoring},
   booktitle = {{Proceedings} of the 1st {Latin} {American}
       {Symposium} on {Theoretical} {Informatics} {LATIN} '92
       ({S{\~a}o} {Paulo,} {Brazil,} {April} 1992)},
   year      = {1992},
   editor    = {I. Simon},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {344--355},
   owner     = {K},
   series    = {LNCS},
   volume    = {583}
}


@techreport{LenstraAK87,
   owner = "K",   
  author = "Arjen K. Lenstra",
   institution = "Department of Computer Science, University of
                 Chicago",
   month = may,
   number = "TR-87-07",
   title = "Fast and rigorous factorization under the generalized
                 Riemann hypothesis",
   year = "1987"
}

@article{LenstraHW87,
   owner = "K",   
  author = "H. W. Lenstra",
   journal = "Annals Math.",
   pages = "649--673",
   title = "Factoring integers with elliptic curves.",
   volume = "126",
   year = "1987",
   keywords = "prime, factor, factors, factorisation, elliptic curve method, ecm",
}

@incollection{LenstraLe90,
   owner = "K",   
  author = "A. K. Lenstra and H. W. {Lenstra, Jr.}",
   booktitle = "Handbook of Theoretical Computer Science (Volume A:
                 Algorithms and Complexity)",
   chapter = "12",
   editor = "Jan van Leeuwen",
   pages = "673--715",
   publisher = "Elsevier and MIT Press",
   title = "Algorithms in Number Theory",
   year = "1990"
}

@article{LenstraLeMaPo93,
   owner = "K",   
  author = "A. K. Lenstra and H. W. {Lenstra Jr.} and M. S.
                 Manasse and J. M. Pollard",
   journal = "Mathematics of {C}omputation",
   number = "203",
   pages = "319--349",
   title = "The factorization of the ninth {Fermat} number",
   volume = "61",
   year = "1993"
}

@inproceedings{LenstraMa91,
   owner = "K",   
  author = "A. K. Lenstra and M. S. Manasse",
   address = "Berlin",
   booktitle = "Advances in Cryptology --- Eurocrypt '90",
   editor = "I. B. Damg{\aa}rd",
   pages = "72--82",
   publisher = "Springer-Verlag",
   title = "Factoring with two large primes",
   year = "1991",
   oldtag = "LenstraMA91"
}

@article{LePo31,
   author = "D. H. Lehmer and R. E. Powers",
   journal = "Bulletin of the AMS",
   pages = "770-776",
   title = "On Factoring Large Numbers",
   owner = "K",   
   month = oct,
   year = "1931"
}

@article{LeSh93,
   author    = {H. W. Lenstra and J. O. Shallit},
   title     = {Continued Fractions and Linear Recurrences},
   journal   = {MATHCOMP: Mathematics of Computation},
   year      = {1993},
   volume    = {61},
   owner     = {K}
}


@article{Leverrier1840,
   author    = {U. J. J. {Leverrier}},
   title     = {Sur les variations s\'eculaires des \'el\'ements
       elliptiques des sept plan\`etes principales: Mercure,
       Venus, La Terre, Mars, Jupiter, Saturne et Uranus},
   journal   = {J. Math. Pures Appli.},
   year      = {1840},
   volume    = {4},
   pages     = {220--254},
   owner     = {??}
}


@misc{LiMe96,
   author    = {T. Lickteig and K. Meer},
   title     = {Semi-algebraic Complexity - Additive Complexity of
       Diagonalization of quadratic forms},
   year      = {1996},
   howpublished = {preprint},
   owner     = {K}
}


@techreport{Lingen87,
   owner = "K",   
  author = "J. van der Lingen",
   address = "Mathematisch Instituut, Universiteit van Amsterdam",
   month = jan,
   number = "Report 87-2",
   pages = "58",
   title = "Elliptic Curves and Factorization Algorithms",
   year = "1987",
}

@article{Liouville44,
   author    = {J. Liouville},
   title     = {Sur de classes tr\`es-\'etendues de quantit\'es dont
       la irrationelles alg\'ebriques},
   journal   = {C.R. Acad. Sci. Paris},
   year      = {1844},
   number    = {18},
   pages     = {883--885,910--911}
}



@article{Lipton94,
   author    = {R. J. Lipton},
   title     = {Straight-line complexity and integer factorization},
   journal   = {Lecture Notes in Computer Science},
   year      = {1994},
   volume    = {877},
   pages     = {71--79},
   owner     = {K}
}


@misc{LiRo97,
   author    = {T. Lickteig and M. F. Roy},
   title     = {Sylvester-Habicht sequences and fast Cauchy index
       coputation},
   year      = {1997},
   howpublished = {preprint},
   owner     = {K}
}


@inproceedings{LiSt76,
   author    = {R. Lipton and L. Stockmeyer},
   title     = {Evaluation of polynomials with superpreconditioning},
   booktitle = {Proceedings 8. ACM STOC},
   year      = {1976},
   pages     = {174--180},
   owner     = {K}
}


@techreport{LiVi88,
   author    = {M. Li and P. M. B. Vitanyi},
   title     = {Two decades of applied Kolmogorov Complexity},
   institution = {Centrum voor Wiskunde en Informatica},
   year      = {1988},
   month     = apr,
   type      = {CS-R8813},
   owner     = {K}
}


@incollection{LiVi90,
   author    = {M. Li and P. M. B. Vit\'anyi},
   title     = {Kolmogorov Complexity and its Applications},
   booktitle = {Handbook of Theoretical Computer Science},
   chapter   = {4},
   year      = {1990},
   publisher = {Elsevier Science Publishers},
   pages     = {189--253},
   owner     = {K}
}


@book{LiVi93,
   author    = {Ming Li and Paul Vitanyi},
   title     = {Introduction to Kolmogorov Complexity and its
       Applications.},
   year      = {1993},
   month     = aug,
   publisher = {Springer-Verlag},
   pages     = {546}
}


@article{LlMaJa93,
   author    = {J. Llovet and R. Mart\'{\i}nez and J. A. Ja{\'e}n},
   title     = {Linear recurring sequences for computing the resultant
       of multivariate polynomials},
   journal   = {Journal of Computational and Applied Mathematics},
   year      = {1993},
   volume    = {49},
   pages     = {145--152},
   owner     = {J}
}


@inproceedings{LlSe90,
   author    = {J. Llovet and J. R. Sendra},
   title     = {A Modular Approach to the Computation of the Number of
       real roots},
   booktitle = {Proceedings of ISSAC'90},
   year      = {1990},
   pages     = {298},
   owner     = {K}
}


@article{LlSeJaMa92,
   author    = {J. Llovet and R. Sendra and J. A. Ja{\'e}n and R.
       Mart\'{\i}nez},
   title     = {An algorithm for computing multivariate polynomial
       resultants},
   journal   = {Computer Science},
   year      = {1992},
   pages     = {159--165},
   owner     = {J}
}


@inproceedings{Lugiez84,
   author    = {D. Lugiez},
   title     = {A New Lifting Process for the Multivariate Polynomial
       Factorization},
   booktitle = {Proceedings of the International Symposium on Symbolic
       and Algebraic Computation ({EUROSAM} 84)},
   year      = {1984},
   month     = jul,
   editor    = {John Fitch},
   publisher = {Springer},
   address   = {Cambridge, UK},
   pages     = {257--309},
   owner     = {K},
   series    = {LNCS},
   volume    = {174}
}


@article{MaCa93,
   author    = {D. Manocha and J. F. Canny},
   title     = {{MultiPolynomial} Resultant Algorithms},
   journal   = {Journal of Symbolic Computation},
   year      = {1993},
   month     = feb,
   volume    = {15},
   number    = {2},
   pages     = {99--122},
   owner     = {K}
}


@manual{macaulay,
   author    = {M. Stillman and D. Bayer},
   title     = {Macaulay 2 User Manual},
   year      = {1996},
   note      = {{\tt http://www.math.uiuc.edu/Macaulay2}}
}


@book{Macaulay16,
   author    = {F. S. Macauley},
   title     = {The Algebraic Theory of Modular Systems},
   year      = {1916},
   publisher = {Cambridge University Press},
   owner     = {LM}
}


@book{Mahler81,
   author    = {K. Mahler},
   title     = {{P}-adic numbers and their functions, 2.ed},
   year      = {1981},
   publisher = {Cambridge University Press}
}


@phdthesis{Malajovich93,
   author    = {G. Malajovich},
   title     = {On the Complexity of Path-Following Newton Algorithms
       for Solving Systems of Polynomial Equations with
       Integer Coeficients},
   year      = {1993},
   school    = {University of California at Berkeley, U.S.A.},
   owner     = {D,LM}
}


@article{Malajovich94,
   author    = {G. Malajovich},
   title     = {On generalized Newton algorithms: quadratic
       convergence, path-following and error analysis},
   journal   = {Theoretical Computer Science},
   year      = {1994},
   volume    = {133},
   pages     = {65--84}
}


@misc{Malajovich95,
   author    = {G. Malajovich},
   title     = {Worst possible Condition number of polynomial
       Systems},
   year      = {1995},
   howpublished = {preprint 17 pages}
}


@article{MaMe82,
   author    = {E. Mayr and A. Meyer},
   title     = {The complexity of the word problem for commutative
       semigroups},
   journal   = {Adv. in Math.},
   year      = {1982},
   volume    = {46},
   pages     = {305--329},
   owner     = {LM}
}


@manual{mangblink97,
   author    = {G. Lecerf and E. Schost},
   title     = {Maple Package {GB}link, User's Manual},
   year      = {1997},
   address   = {{\tt
       ftp://medicis.polytechnique.fr/pub/tera/soft/gblink/}}
}


@manual{manpnp97,
   author    = {G. Lecerf},
   title     = {The projective Noether Package, User's Manual},
   year      = {1997},
   address   = {{\tt
       ftp://medicis.polytechnique.fr/pub/tera/soft/pnp/}}
}


@book{maple,
   author    = {Bruce W. Char and Keith O. Geddes and Gaston H. Gonnet
       and Benton L. Leong and Michael B. Monagan and Stephen
       M. Watt},
   title     = {Maple~{V} Library Reference Manual},
   year      = {1991},
   publisher = {Springer-Verlag}
}


@phdthesis{Marcos97,
   author    = {J. E. Marcos Naveira},
   title     = {Cuerpos topol{\'o}gicos completables y localmente no
       acotados},
   year      = {1997},
   school    = {Universidad de Valladolid, Facultad de Ciencias},
   owner     = {K}
}


@phdthesis{Martinez92,
   author    = {R. Mart{\'{\i}}nez},
   title     = {Procedimientos de Recurrencia Lineal en Algebra
       Computacional},
   year      = {1992},
   school    = {Depto. de Matem\'aticas, Universidad de Alcal\'a de
       Henares, Espa\~na},
   owner     = {J}
}


@inproceedings{Matera95,
   author    = {G. Matera},
   title     = {Integration of multivariate rational functions given
       by straight-line programs},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings of AAECC-11},
   year      = {1995},
   editor    = {G. Cohen and H. Giusti and T. Mora},
   publisher = {Springer},
   owner     = {K},
   series    = {LNCS},
   volume    = {948}
}


@phdthesis{Matera97,
   author    = {G. Matera},
   title     = {Sobre la complejidad en espacio y tiempo de la
       eliminaci\'on geom\'etrica},
   year      = {1997},
   school    = {Universidad de Buenos Aires, Argentina},
   owner     = {J,K}
}


@misc{Matera97b,
   author    = {G. Matera},
   title     = {Some probabilistic algorithms for geometric
       elimination},
   howpublished = {Preprint 29 pages, submitted Journal of Symbolic
       Computation},
   owner     = {G}
}


@misc{Matera97b,
   author    = {G. Matera},
   title     = {Some probabilistic algorithms for geometric
       elimination},
   howpublished = {Preprint 29 pages, submitted Journal of Symbolic
       Computation},
   owner     = {G}
}


@book{Matsumura86,
   author    = {H. Matsumura},
   title     = {Commutative Ring Theory},
   year      = {1986},
   publisher = {Cambridge University Press},
   owner     = {K}
}


@misc{MaTu95,
   author    = {G. Matera and J. M. Turull},
   title     = {The complexity space of elimination: upper bounds},
   year      = {1997},
   howpublished = {Proceedings Found. of Comp. Math.
       Workshop Rio de Janeiro, 1997},
   owner     = {J,K}
}


@inproceedings{MaTu97,
   author    = {G. Matera and J. M. Turull},
   title     = {The Space Complexity of Elimination: Upper Bounds},
   booktitle = {Proceedings Foundations of Computational Mathematics
       (FOCM'97)},
   year      = {1997},
   editor    = {F. Cucker and M. Shub},
   publisher = {Springer},
   pages     = {267--276},
   owner     = {J}
}


@article{MaWu71,
   author    = {D. W. Masser and G. W{\"u}stholz},
   title     = {Fields of large transcendence degree generated by
       values of elliptic functions},
   journal   = {Invent. Math.},
   year      = {1971},
   volume    = {72},
   pages     = {407--463},
   owner     = {LM}
}


@inproceedings{Mayr89,
   author    = {E. Mayr},
   title     = {Membership in Polynomial Ideals over ${Q}$ is
       Exponential Space Complete},
   booktitle = {Proceedings of the 6th Annual Symposium on Theoretical
       Aspects of Computer Science (STACS'89), Paderborn (FRG)
       1989},
   year      = {1989},
   editor    = {B. {Monien et al}},
   publisher = {Springer},
   pages     = {400--406},
   owner     = {LM},
   number    = {349},
   series    = {Lecture Notes in Computer Science}
}


@PhdThesis{Mbakop99,
  author = 	 {Guy Merlin Mbakop},
  title = 	 {{E}ffiziente {L}\"ozung reeller {P}olynomialer {G}leichungsysteme},
  school = 	 {Humbold-Universit\"at},
  year = 	 1999,
  address =	 {Berlin}
}

@book{McCarthy76,
   author    = {P. J. {McCarthy}},
   title     = {Algebraic Extensions of Fields},
   year      = {1976},
   publisher = {Chelsea Publishing Comp.},
   address   = {New York}
}


@article{Meer94,
   author    = {K. Meer},
   title     = {{Real Number Computations:On the Use of Information}},
   journal   = {Journal of Symbolic Computation},
   year      = {1994},
   month     = sep,
   volume    = {18},
   number    = {3},
   pages     = {199--206}
}


@book{Meyer88,
   author    = {B. Meyer},
   title     = {Object-oriented Software Construction},
   year      = {1988},
   publisher = {Prentice Hall}
}


@book{Meyer96,
   author    = {Scott Meyer},
   title     = {More Effective {C}++},
   year      = {1996},
   publisher = {Addison-Wesley Professional Computing Series}
}


@book{Meyer97,
   key       = {Meyer},
   author    = {Bertrand Meyer},
   title     = {Object-oriented Software Construction},
   year      = {1997},
   publisher = {Prentice Hall},
   address   = {New York, N.Y.},
   edition   = {second},
   annote    = {The programming language Eiffel.}
}


@book{Meyer98,
   author    = {Scott Meyer},
   title     = {Effective {C}++},
   year      = {1998},
   publisher = {Addison-Wesley Professional Computing Series},
   edition   = {second}
}


@article{Michaux89,
   author    = {C. Michaux},
   title     = {Une remarque \`a propos des machines sur ${\R}$
       introduites par Blum, Shub et Smale},
   journal   = {C. R. Acad. Sci. Paris},
   year      = {1989},
   volume    = {309},
   number    = {1},
   pages     = {435--437},
   owner     = {??}
}


@misc{Mignotte89,
   author    = {M. Mignotte},
   title     = {Math\'ematiques pour le Calcul Formel},
   year      = {1989},
   howpublished = {Presses Univ. de France},
   owner     = {LM}
}


@inproceedings{Mihailescu89,
   owner = "K",   
  author = "P. Mihailescu",
   address = "Berlin",
   booktitle = "Proceedings of the 6th International Conference on
                 Applied Algebra, Algebraic Algorithms and
                 Error-Correcting Codes",
   editor = "T. Mora",
   pages = "310--323",
   publisher = "Springer",
   series = "LNCS",
   title = "A Primality Test Using Cyclotomic Extensions",
   volume = "357",
   year = "1989",
   conflocation = "Rome, Italy",
   confmonth = "#jul",
   confyear = "1988"
}

@inproceedings{MiKaRa86,
   author    = {G. L. Miller and E. Kaltofen and V. Ramachandran},
   title     = {{Efficient} parallel evaluation of straight-line code
       and arithmetic circuits},
   booktitle = {{Proceedings} of the {Aegean} {Workshop} on
       {Computing:} {VLSI} {Algorithms} and {Architectures}},
   year      = {1986},
   editor    = {F. Makedon and K. Mehlhorn and T. Papatheodorou and P.
       Spirakis},
   publisher = {Springer-Verlag},
   address   = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong
       Kong},
   pages     = {236--245},
   owner     = {K},
   number    = {227},
   series    = {LNCS}
}


@inproceedings{Miller75,
   owner = "K",   
  author = "Gary L. Miller",
   address = "Albuquerque, New Mexico",
   booktitle = "Conference Record of Seventh Annual {ACM} Symposium on
                 Theory of Computation",
   key = "ACM",
   month = "5--7 " # may,
   pages = "234--239",
   title = "Riemann's Hypothesis and Tests for Primality",
   year = "1975",
   c-organization = "ACM"
}

@article{Miller76,
   author    = {G. L. Miller},
   title     = {Riemann's hypothesis and tests for primality},
   journal   = {Jrnl. Comp. Sys. Sci.},
   year      = {1976},
   volume    = {13},
   pages     = {300--317},
   owner     = {K}
}


@article{Milnor64,
   author    = {J. Milnor},
   title     = {On the {B}etti Numbers of real varieties},
   journal   = {Proc. Amer. Math. Soc.},
   year      = {1964},
   volume    = {15},
   pages     = {275--280},
   address   = {Philadelphia, PA}
}


@article{MiMo88,
   author    = {A. Miola and T. Mora},
   title     = {Constructive Lifting in Graded Structures: {A} Unified
       View of Buchberger and Hensel Methods},
   journal   = {Journal of Symbolic Computation},
   year      = {1988},
   volume    = {6},
   pages     = {305--322},
   owner     = {K}
}


@article{MiMu89,
  author = "I. Miyamoto and M. Ram Murty",
  title = "Elliptic Pseudoprimes",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1989",
  month = jul,
  volume = "53",
  number = "187",
  pages = "415-430",
}

@inproceedings{MiPe90,
   author    = {B. Mishra and P. Pedersen},
   title     = {Arithmetic with real numbers is in {NC}},
   booktitle = {Proceedings 20. ACM STOC},
   year      = {1990},
   pages     = {120--126},
   owner     = {K}
}


@article{MiRaKa88,
   author    = {Gary L. Miller and Vijaya Ramachandran and Erich
       Kaltofen},
   title     = {{Efficient} parallel evaluation of straight-line code
       and arithmetic circuits},
   journal   = {SIAM J. Comput.},
   year      = {1988},
   volume    = {17},
   pages     = {687--695},
   owner     = {K},
   address   = {Philadelphia, PA},
   publisher = {Society for Industrial and Applied Mathematics}
}


@book{Mishra93,
   author    = {B. Mishra},
   title     = {Algorithmic Algebra},
   year      = {1993},
   publisher = {Springer Verlag},
   address   = {New York},
}


@book{Modi88,
   author    = {J. J. Modi},
   title     = {Parallel Algorithms and Matrix Computation},
   year      = {1988},
   publisher = {Oxford University Press}
}

@inproceedings{Moeller93,
   author    = {M. Moeller},
   title     = {Systems of algebraic equations solved by means of
       endomorphisms},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings of AAECC-10},
   year      = {1993},
   publisher = {Springer},
   owner     = {K},
   series    = {LNCS}
}


@misc{MoMa96,
   author    = {M. Monagan and R. Margot},
   title     = {On Computing Univariate {GCD}s over Number Fields},
   year      = {1996},
   howpublished = {preprint},
   owner     = {K},
   pages     = {19}
}


@inproceedings{MoMo84,
   author    = {H. M. M{\"o}ller and F. Mora},
   title     = {Upper and lower Bounds for the degree of Groebner
       Bases},
   booktitle = {Proceedings of the International Symposium on Symbolic
       and Algebraic Computation ({EUROSAM} 84)},
   year      = {1984},
   month     = jul,
   editor    = {John Fitch},
   publisher = {Springer},
   address   = {Cambridge, UK},
   pages     = {172--183},
   series    = {LNCS},
   volume    = {174}
}


@article{MoMoPa96,
   author    = {J. L. Monta{\~n}a and J. E. Morais and L. M. Pardo},
   title     = {Lower Bounds for Arithmetic Networks {II}: Sum of
       Betti Numbers},
   journal   = {Applicable Algebra in Engineering Communications and
       Computing},
   year      = {1996},
   volume    = {7},
   pages     = {41--51}
}


@article{Monagan92,
   author    = {M. B. Monagan},
   title     = {A Heuristic Irreducibility Test for Univariate
       Polynomials},
   journal   = {Journal of Symbolic Computation},
   year      = {1992},
   month     = jan,
   volume    = {13},
   number    = {1},
   pages     = {47--58},
   owner     = {K}
}


@article{Monier80,
   owner = "K",   
  author = "L. Monier",
   journal = "Theoretical Computer Science",
   pages = "97--108",
   title = "Evaluation and Comparison of Two Efficient
                 Probabilistic Primality Testing Algorithms",
   volume = "12",
   year = "1980"
}

@phdthesis{Montana92,
   author    = {J. L. Monta{\~n}a},
   title     = {Cotas inferiores para problemas decisionales en
       teor{\'{\i}}a de complejidad algebraica},
   year      = {1992},
   school    = {Universidad de Cantabria}
}


@article{Montgomery85,
   author    = {P. L. Montgomery},
   title     = {Modular Multiplication Without Trial Division},
   journal   = {Math. Comp.},
   year      = {1985},
   volume    = {44},
   number    = {170},
   pages     = {519--521},
   owner     = {K}
}


@article{Montgomery87,
   owner = "K",   
  author = "Peter L. Montgomery",
   journal = "Mathematics of Computation",
   month = jan,
   number = "177",
   pages = "243--264",
   title = "Speeding the {P}ollard and elliptic curve methods of
                 factorization",
   volume = "48",
   year = "1987"
}

@misc{Montgomery92,
   howpublished="preprint",
   owner = "K",   
   page = "20",
   author = "P. L. Montgomery",
   title = "Evaluating recurrences of form ... via Lucas chains",
   year = "1992"
}

@article{MoPa92,
   author    = {J. L. {Monta\~na} and L. M. Pardo},
   title     = {Lower Bounds for Parallel Arithmetic Computations},
   journal   = {Extracta Mathematicae},
   year      = {1993},
   volume    = {7},
   number    = {1},
   pages     = {65--68},
   owner     = {LM}
}


@inproceedings{MoPa93,
   author    = {J. L. Monta{\~n}a and L. M. Pardo},
   title     = {Lower bounds for Arithmetic Networks},
   booktitle = {Applied Algebra, Algebraic Algorithms and Error
       Correcting Codes, Proceedings of AAECC-4},
   year      = {1993},
   publisher = {Springer},
   pages     = {1--24},
   owner     = {J,K},
   journal   = {Journal of Pure and Applied Algebra},
}


@inproceedings{MoPa97,
   author    = {B. Mourrain and V. Pan},
   title     = {Solving special polynomial systems by using structural
       matrices and algebraic residues},
   booktitle = {Proceedings Foundations of Computational Mathematics
       (FOCM'97)},
   year      = {1997},
   editor    = {F. Cucker and M. Shub},
   publisher = {Springer},
   pages     = {287--304},
   owner     = {J}
}


@article{MoPa98,
   author    = {J. L. Monta{\~n}a and L. M. Pardo},
   title     = {A Note on Kolmogrov Complexity in the real Turing machine setting},
   journal   = {Information Processing Letters, {\em to appear}},
   year      = {1998},
}

@article{MoPaRa93,
   author    = {J. L. Monta{\~n}a and L. M. Pardo and R.
       Ramanakoraisina},
   title     = {An extension of Warren's lower bounds for
       approximations},
   journal   = {Journal of Pure and Applied Algebra},
   year      = {1993},
   volume    = {87},
   pages     = {251--258},
   owner     = {J,K}
}


@inproceedings{MoPaRe91,
   author    = {J. L. Monta{\~n}a and L. M. Pardo and T. Recio},
   title     = {The non-scalar Model of Complexity in Computational
       Geometry},
   booktitle = {Effective Methods in Algebraic Geometry, Proceedings
       of MEGA'90},
   year      = {1991},
   editor    = {C. Traverso and T. Mora},
   publisher = {Birkh{\"a}user},
   pages     = {347--361},
   owner     = {K},
   series    = {Progress in Mathematics},
   volume    = {94}
}


@article{MoPaRe94,
   author    = {J. L. Monta{\~n}a and L. M. Pardo and T. Recio},
   title     = {A Note on Rabin's width of a complete proof},
   journal   = {Computational Complexity},
   year      = {1994},
   volume    = {4},
   pages     = {12--36},
   owner     = {J,K}
}


@techreport{Morain1988,
   owner = "K",   
  author = "F. Morain",
   institution = "Institut National de Recherche en Informatique et en
                 Automatique",
   title = "Implementation of the {A}tkin-{G}oldwasser-{K}ilian
                 primality testing algorithm",
   type = "Research Report 911 Octobre 1988",
   year = "1988"
}

@techreport{Morain89,
   owner = "K",   
  author = "Francois Morain",
   address = "Le Chesnay Cedex, France",
   institution = "INRIA --- Institut National de Recherche en
                 Informatique et en Automatique",
   month = dec,
   number = "1152",
   title = "{Distributed Primality Proving and the Primality of $(2^{3539}+1)/3$}",
   type = "Research Report",
   year = "1989"
}

@inproceedings{Morain90,
   owner = "K",   
  author = "Morain",
   booktitle = "EUROCRYPT: Advances in Cryptology: Proceedings of
                 EUROCRYPT",
   title = "Distributed Primality Proving and the Primality of $(2^3539 + 1)/3$",
   year = "1990"
}

@phdthesis{Morais97,
   author    = {J. E. Morais},
   title     = {Resoluci\'on eficaz de sistemas de ecuaciones
       polinomiales},
   year      = {1997},
   school    = {Universidad de Cantabria, Santander, Spain},
   owner     = {JE,LM}
}


@article{Morgenstern73,
   author    = {J. Morgenstern},
   title     = {Algorithmes lineaires tangents et complexit\'e},
   journal   = {C.R. de l'Academie des Sciences},
   year      = {1973},
   month     = sep,
   volume    = {277},
   pages     = {367},
   owner     = {J}
}


@article{Morgenstern74,
   author    = {J. Morgenstern},
   title     = {Linear tangent algorithms and lower bound for the
       complexity of computation},
   journal   = {IFIP},
   year      = {1974},
   owner     = {J}
}


@misc{Morgenstern84,
   author    = {J. Morgenstern},
   title     = {How to compute fast a function an all its
       derivatives},
   year      = {1984},
   howpublished = {Prepublication No. 49, Universit\'e de Nice},
   owner     = {J,K,LM,J,K}
}


@article{Morgenstern91,
   author    = {J. Morgenstern},
   title     = {Invariant and Geometric Aspects of Algebraic
       Complexity Theory {I}},
   journal   = {J. Symbolic Computation},
   year      = {1991},
   volume    = {11},
   pages     = {455--469},
   owner     = {K}
}


@incollection{MoRo93,
   author    = {T. Mora and L. Robbiano},
   title     = {Points in Affine and Projective Spaces},
   booktitle = {Computational Algebraic Geometry and Commutative
       Algebra},
   year      = {1993},
   editor    = {D. Eisenbud and L. Robbiano},
   publisher = {Cambridge University Press},
   pages     = {216--256},
   owner     = {LM},
   series    = {Symposia Matematica},
   volume    = {XXXIV}
}


@phdthesis{Mossinghoff95,
   author    = {M. J. Mossinghoff},
   title     = {Algorithms for the determination of polynomials with
       small Mahler measure},
   year      = {1995},
   school    = {University of Texas},
   owner     = {K}
}


@article{Motzkin55,
author="T. S. Motzkin",
title="Evaluation of Polynomials",
journal="Bull. AMS",
volume="6",
year=1955,
page=163,
}

@article{Mulmuley87,
   author    = {Ketan Mulmuley},
   title     = {A Fast Parallel Algorithm to Compute the Rank of a
       Matrix over an Arbitrary Field},
   journal   = {Combinatorica},
   year      = {1987},
   volume    = {7},
   number    = {1},
   pages     = {101--104},
   owner     = {LM}
}


@book{Mumford88,
   author    = {David Mumford},
   title     = {The Red Book of Varieties and Schemes},
   year      = {1988},
   publisher = {Springer},
   address   = {Berlin},
   edition   = {1},
   volume    = {1358},
   series    = {LNM},
   owner     = {K copy Chapter 1},
   descriptor = {Algebraische Geometrie}
}


@article{Murty83,
   owner = "K",   
  author = "M. Ram Murty",
   journal = "Journal of Number Theory",
   title = "On Artin's Conjecture",
   volume = "16",
   year = "1983",
   page = "147--168"
}

@article{Musser75,
   author    = {D. R. Musser},
   title     = {Multivariate polynomial factorization},
   journal   = {J. of the ACM},
   year      = {1975},
   volume    = {22},
   pages     = {291--308},
   owner     = {K}
}


@article{Musser78,
   author    = {D. R. Musser},
   title     = {On the efficiency of a polynomial irreducibility
       test},
   journal   = {J. ACM},
   year      = {1978},
   volume    = {25},
   pages     = {271--282},
   owner     = {K}
}


@book{Narasimhan66,
   author    = {R. Narasimhan},
   title     = {Introduction to the theory of analytic spaces},
   year      = {1966},
   publisher = {Springer},
   series    = {Lecture Notes in Mathematics}
}


@book{Narkiewicz83,
   author    = {W. Narkiewiecz},
   title     = {Number Theory},
   year      = {1983},
   publisher = {World Scientific Publishing}
}


@inproceedings{NaTi92,
   author    = {Narendran and P. Tiwari},
   title     = {Polynomial Root-Finding: Analysis and Computational
       Investigation of a Parallel Algorithm},
   booktitle = {SPAA: Annual ACM Symposium on Parallel Algorithms and
       Architectures},
   year      = {1992},
   owner     = {K}
}


@inproceedings{Naun95,
   author    = {H. Naundorf},
   title     = {Parallelism in Mu{PAD}},
   booktitle = {Electronic Proceedings of the 1st International IMACS
       Conference on Applications of Computer Algebra},
   year      = {1995},
   month     = may,
   editor    = {Michael Wester and Stanley Steinberg and Michael
       Jahn},
   owner     = {K},
   series    = {{\tt
       http://math.unm.edu/ACA//1995Proceedings/MainPage.html}}
}


@article{Naur83,
  author =       "Thorkil Naur",
  title =        "New Integer Factorizations",
  journal =      "Mathematics of Computation",
  volume =       "41",
  number = "164",
  year =         "1983",
  pages =        "687-695",
  owner = "K",
}


@article{NeShWi80,
  author = "M. Newman and D. Shanks and H. C. Williams",
  title = "Simple groups of square order and and interesting sequence of primes",
  journal = "Acta Arithmetica",
  owner = "K",
  year = "1980",
  volume = "XXXVIII",
  pages = "129-140",
}


@article{Nesterenko85,
   author    = {{Yu. V.} Nesterenko},
   title     = {On algebraic independence of algebraic powers of
       algebraic numbers},
   journal   = {Math. USSR. Sbornik},
   year      = {1985},
   volume    = {51},
   number    = {2},
   pages     = {429--455}
}


@article{Nesterenko87,
   author    = {{Yu. V.} Nesterenko},
   title     = {On a measure of the algebraic independence of the
       values of certain functions},
   journal   = {Math. USSR. Sbornik},
   year      = {1987},
   volume    = {56},
   number    = {2},
   pages     = {545--567}
}


@book{Newton1,
   author    = {I. Newton},
   title     = {De Analysi per Aequationes Infinitas},
   year      = {1667},
   owner     = {LM}
}


@article{Nussbaumer80,
   author    = {H. J. {Nussbaumer}},
   title     = {Fast polynomial Transform algorithms for digital
       convolutions},
   journal   = {IEEE Transactions on Acoustic, Speech and Signal
       Processing},
   year      = {1980},
   volume    = {28},
   pages     = {205--215},
   owner     = {??}
}


@inproceedings{Odlyzko85,
   author    = {Andrew Odlyzko},
   title     = {The Discrete Logarithm Problem and its Cryptographic
       Significance},
   booktitle = {Advances in Cryptology: Proceedings of Eurocrypt '84},
   year      = {1985},
   publisher = {Springer-Verlag},
   pages     = {224--314},
   series    = {Lecture Notes in Computer Science},
   volume    = {209}
}


@article{Odlyzko93,
   author    = {Andrew M. Odlyzko},
   title     = {Iterated absolute values of differences of consecutive
       primes},
   journal   = {Mathematics of Computation},
   year      = {1993},
   month     = jul,
   volume    = {61},
   number    = {203},
   pages     = {373--380}
}


@inproceedings{Odlyzko94a,
   author    = {Odlyzko},
   title     = {Discrete Logarithms and Smooth Polynomials},
   booktitle = {FFTAA: Finite Fields: Theory, Applications, and
       Algorithms, Second International Conference on Finite
       Fields: Theory, Applications, and Algorithms, Gary L.
       Mullen and Peter Jau-Shyong Shiue (Eds.)},
   year      = {1994},
   publisher = {Contemporary Mathematics Volume 168, AMS}
}


@misc{Odlyzko95,
   author    = {A. Odlyzko},
   title     = {Computer Algebra and its applications: where are we
       going?},
   year      = {1995},
   howpublished = {Manuscript},
   owner     = {K}
}


@article{OdSl79,
   author    = {A. M. Odlyzko and N. J. A. Sloane},
   title     = {{New} bounds on the number of unit spheres that can
       touch a unit sphere in {$n$} dimensions},
   journal   = {J. Comb.~Theory Series A},
   year      = {1979},
   volume    = {26},
   pages     = {210--214},
   publisher = {Academic Press},
   address   = {New York-San Francisco-London-San Diego}
}


@article{Osborne52,
   author    = {E. E. Osborne},
   title     = {On Matrices having the same characteristic equation},
   journal   = {Pacific J. Math.},
   year      = {1952},
   volume    = {2},
   pages     = {227--230},
   owner     = {K}
}


@incollection{Ostrowski54,
   key       = {Ostrowski54},
   author    = {A. M. Ostrowski},
   title     = {On two problems in abstract algebra connected with
       Horner's rule},
   booktitle = {Studies in Math. and Mech. presented to Richard von
       Mises},
   year      = {1954},
   publisher = {Academic Press},
   pages     = {40--48},
   owner     = {LM},
   journal   = {Studies}
}


@misc{PaCa1,
   author    = {D. Parsons and J. Canny},
   title     = {Geometric Problems in Molecular Biology and Robotics},
   howpublished = {preprint 10 pages},
   owner     = {K}
}


@article{Pan66,
author="V. Ya. Pan",
title="Methods for Computing values of Polynomials",
journal="Russ. Math. Surv.",
volume="21",
year=1966,
pages="105--136",
}

 
@article{Pan92,
   author    = {V. Y. Pan},
   title     = {Parametrization of Newton's iteration for computations
       with structured matrices and applications},
   journal   = {Computers \& Mathematics (with Applications)},
   year      = {1992},
   volume    = {25},
   number    = {3},
   pages     = {69--71},
   owner     = {??}
}


@book{Papadimitriou94,
   author    = {Christos M. Papadimitriou},
   title     = {Computational Complexity},
   year      = {1994},
   publisher = {Addison--Wesley},
   address   = {New York},
   isbn      = {0-201-53082-1}
}


@article{Pardo87,
   author    = {L. M. Pardo},
   title     = {The Polynomial Separation Problem in Spec r ({A})},
   journal   = {C.R. Math. Rep. Acad. Sci. Canada},
   year      = {1987},
   month     = feb,
   volume    = {IX},
   number    = {1},
   pages     = {17--20},
   owner     = {J,K}
}


@incollection{Pardo95,
   author    = {L. M. Pardo},
   title     = {How lower and upper complexity bounds meet in
       elimination theory},
   booktitle = {Applied algebra, algebraic algorithms and
       error-correcting codes (Paris, 1995)},
   year      = {1995},
   editor    = {G. Cohen and H. Giusti and T. Mora},
   publisher = {Springer},
   address   = {Berlin},
   pages     = {33--69},
   series    = {Lecture Notes in Computer Science},
   volume    = {948},
   owner     = {J,K}
}


@misc{Pardo97,
   author    = {L. M. Pardo},
   title     = {Some notes about straight--line programs},
   year      = {1997},
   howpublished = {Manuscript, 65 pages, Summerschool Unversit\'e P. Sabatier, Toulouse, France}}
}

@misc{PaRe,
   author    = {L. M. Pardo and T. Recio},
   title     = {Arboles algebraicos - un modelo de computaci{\'o}n en
       geometria},
   howpublished = {preprint Universidad de Cantabria},
   owner     = {K},
   pages     = {241--248}
}


@article{PaSt73,
   author    = {M. S. Paterson and L. J. Stockmeyer},
   title     = {On the number of nonscalar multiplications necessary
       to evalutate polynomials},
   journal   = {SIAM J. Comput.},
   year      = {1973},
   volume    = {2},
   pages     = {60--66},
   owner     = {LM}
}


@article{PerSho93,
   owner = "K",   
  author = "R.Peralta and V. Shoup",
   journal = "Computational Complexity",
   pages = "355-367",
   title = "Primality Testing with Fewer Random Bits",
   volume = "3",
   year = "1993"
}

@article{Philippon86,
   author    = {P. Philippon},
   title     = {Crit\`eres pour l'ind\'ependance alg\'ebrique},
   journal   = {Pub. Math. de l'IHES},
   year      = {1986},
   volume    = {64},
   pages     = {5--52},
   owner     = {LM, K}
}


@article{Philippon91,
   author    = {P. Philippon},
   title     = {Sur des hauteurs alternatives, {I}},
   journal   = {Math. Ann.},
   year      = {1991},
   volume    = {289},
   pages     = {255--283},
   owner     = {LM}
}


@article{Philippon91a,
   author    = {P. Philippon},
   title     = {Denominators in Hilbert's Nullstellensatz},
   journal   = {Acta Arith.},
   year      = {1991},
   volume    = {58},
   pages     = {1--25},
   owner     = {LM}
}


@article{Philippon94,
   author    = {P. Philippon},
   title     = {Sur des hauteurs alternatives, {II}},
   journal   = {Ann. Inst. Fourier, Grenoble},
   year      = {1994},
   volume    = {44},
   number    = {2},
   pages     = {1043--1065},
   owner     = {LM,K}
}


@article{Philippon95,
   author    = {P. Philippon},
   title     = {Sur des hauteurs alternatives, {III}},
   journal   = {J. Math. Pures Appl.},
   year      = {1995},
   volume    = {74},
   pages     = {345--365},
   owner     = {LM,K}
}


@article{Pinch93,
   owner = "K",   
  author = "Pinch",
   journal = "NOTICES: Notices of the American Mathematical
                 Society",
   title = "Some Primality Testing Algorithms",
   volume = "40",
   year = "1993"
}

@incollection{Pingala,
   author    = {Pingala},
   title     = {Chandrah-S\^utra, Manuscript, 200.B.C.},
   booktitle= {History of Hindu Mathematics},
   year=1935,
   editor ="B. Datta and A. N. Singh",
   publisher = "Bombay",
}

@techreport{Pinner95,
   author    = {C. G. Pinner},
   title     = {Bounding the elliptic Mahler measure},
   institution = {University of Britisch Columbia},
   year      = {1995},
   owner     = {K}
}


@techreport{PiVa96,
   author    = {C. G. Pinner and J. D. Vaaler},
   title     = {The Number of Irreducible Factors of a Polynomial,
       {II}},
   institution = {University of Britisch Columbia},
   year      = {1996},
   owner     = {K}
}


@article{Plaisted77,
   author    = {D. A. Plaisted},
   title     = {Sparse Complex Polynomials and Polynomial
       Reducability},
   journal   = {J. of Comp. Sys. Sci.},
   year      = {1977},
   volume    = {14},
   pages     = {210--221},
   owner     = {LM}
}


@article{Pocklington14,
  author = "H. C. Pocklington",
  title = "The Determination of the Prime or Composite Nature of Large Numbers by Fermat's Theorem",
  journal = "Proc. of the Cambridge Philo. Society",
  owner = "K",
  year = "1914",
  volume = "1914-1916",
  number = "18",
  pages = "29-30",
}


@inproceedings{Pohst96,
   author    = {M. E. Pohst},
   title     = {Computational Aspects of Kummer Theory},
   booktitle = {ANTS II: Proceedings of the 1996 Algorithmic Number
       Theory Symposium II},
   year      = {1996},
   editor    = {H. Cohen},
   pages     = {14}
}


@article{Pollard71a,
   owner = "K",   
  author = "J. M. Pollard",
   journal = "Mathematics of Computation",
   number = "114",
   pages = "365-374",
   title = "The Fast Fourier Transform In A Finite Field",
   volume = "25",
   year = "1971",
   mon = "#apr"
}

@article{Pollard71b,
  author = "J. M. Pollard",
  title = "An Algorithm for Testing the Primality of any Integer",
  journal = "Bull. London Math. Soc.",
  owner = "K",
  year = "1971",
  volume = "3",
  pages = "337-340",
}


@article{Pollard75,
   owner = "K",   
  author = "J. Pollard",
   journal = "BIT",
   pages = "331--334",
   title = "A Monte Carlo method for factorization.",
   volume = "15",
   year = "1975",
   keywords = "prime, factor, factors, factorisation, Monte-Carlo",
}

@article{Pollard76,
   owner = "K",   
  author = "J. Pollard",
   journal = "Proc. Cambridge Philos. Soc.",
   pages = "521--528",
   title = "Theorems of factorization and primality testing",
   volume = "76",
   year = "1974"
}

@misc{Pollard88a,
   owner = "K",   
  author = "J. M. Pollard",
   howpublished = "manuscript",
   pages = "4-10",
   title = "Factoring with cubic integers",
   year = "1988",
}

@misc{Pollard88b,
   owner = "K",   
  author = "J. M. Pollard",
   howpublished = "manuscript",
   pages = "41-47",
   title = "The Lattice Sieve",
   year = "1988",
}

@article{Pom1,
   owner = "K",   
  author = "Carl Pomerance",
   journal = "Mathematical Intelligencer",
   pages = "97--105",
   title = "Recent Developments in Primality Testing",
   volume = "3",
   year = "1980/81"
}

@article{Pomerance81,
   owner = "K",   
  author = "Carl Pomerance",
   journal = "Mathematics of Computation",
   number = "156",
   pages = "587--593",
   title = "On the Distribution of Pseudoprimes",
   volume = "37",
   year = "1981"
}

@incollection{Pomerance82,
   owner = "K",   
  author = "C. Pomerance",
   address = "Amsterdam",
   booktitle = "Computational Methods in Number Theory",
   editor = "H. W. {Lenstra, Jr.} and R. Tijdeman",
   pages = "89--139",
   publisher = "Math.\ Centrum Tract 154",
   title = "Analysis and comparison of some integer factoring
                 algorithms",
   year = "1982"
}

@article{Pomerance82b,
   owner = "K",   
  author = "Carl Pomerance",
   journal = "Illinois Journal of Mathematics",
   month = "Spring",
   number = "1",
   pages = "4--9",
   title = "A New Lower Bound for the Pseudoprime Counting
                 Function",
   volume = "26",
   year = "1982"
}

@book{Pomerance84,
   owner = "K",   
  author = "C. Pomerance",
   publisher = "The Mathematical Association of America",
   title = "Lecture Notes on Primality Testing and Factoring",
   year = "1984"
}

@article{Pomerance86a,
   owner = "K",   
  author = "Carl Pomerance and Paul Erd{\"o}s",
   journal = "Mathematics of Computation",
   month = jan,
   number = "173",
   pages = "259--279",
   title = "On the Number of False Witnesses for a Composite
                 Number",
   volume = "46",
   year = "1986",
   oldtag = "Pomerance86"
}

@incollection{Pomerance90b,
   owner = "K",   
  author = "Carl Pomerance",
   booktitle = "Proc.\ of the AMS Symposia in Applied Mathematics:
                 Computational Number Theory and Cryptography",
   pages = "27--47",
   publisher = "American Mathematical Society",
   title = "Factoring",
   year = "1990"
}

@article{PomeranceSmTu88,
   owner = "K",   
  author = "C. Pomerance and J. W. Smith and R. Tuler",
   journal = "SIAM J. Computing",
   month = apr,
   number = "2",
   pages = "387--403",
   title = "A Pipeline Architecture for Factoring Large Integers
                 with the Quadratic Sieve Algorithm",
   volume = "17",
   year = "1988"
}

@incollection{pomjapan,
   owner = "K",   
  author = "Carl Pomerance",
   booktitle = "Discrete Algorithms and Complexity (Proceedings of the
                 Japan-US Joint Seminar on Discrete Algorithms and
                 Complexity Theory)",
   pages = "119--143",
   publisher = "Academic Press",
   title = "Fast, Rigorous Factorization and Discrete Logarithm
                 Algorithms",
   year = "1986"
}

@article{PoRo91,
   author    = {R. Pollack and M.-F. Roy},
   title     = {On the number of cells defined by a set of
       polynomials},
   journal   = {C. R. Acad. Sci. Paris},
   year      = {1991},
   volume    = {316},
   pages     = {573--577},
   owner     = {LM}
}


@book{PoZa89,
   author    = {M. Pohst and H. Zassenhaus},
   title     = {Algorithmic algebraic number theory},
   year      = {1989},
   publisher = {Cambridge University Press},
   address   = {Cambridge},
   isbn      = {0-521-33060-2}
}


@article{Pratt75,
   owner = "K",   
  author = "V. R. Pratt",
   journal = "SIAM Journal on Computing",
   number = "3",
   pages = "214--220",
   title = "Every Prime has a Succinct Certificate",
   volume = "4",
   year = "1975"
}

@book{Press86,
   author    = {W. H. Press},
   title     = {Numerical Recipes in {PASCAL}},
   year      = {1986},
   publisher = {Cambridge University Press}
}


@article{PriMorThy95,
   author = "Pritchard and Moran and Thyssen",
   journal = "MATHCOMP: Mathematics of Computation",
   owner = "K",
   title = "Twenty-two Primes in Arithmetic Progression",
   volume = "64",
   year = "1995"
}
@book{PrSh85,
   author    = {F. P. Preparata and M. I. Shamos},
   title     = {Computational Geometry, An Introduction},
   year      = {1988},
   publisher = {Springer--Verlag},
   series    = {Text and Monographs in Computer Science}
}


@misc{PuSa95,
   author    = {S. Puddu and J. Sabia},
   title     = {An effective algorithm for quantifier elimination over
       algebraically closed fields using straight--line
       programs},
   howpublished = {to appear in Journal of Pure and Applied Algebra},
   owner     = {J}
}


@article{Rabin80,
   author    = {M. O. Rabin},
   title     = {A Probabilistic Algorithm for Testing Primality},
   journal   = {Journal of Number Theory},
   year      = {1980},
   volume    = {12},
   owner     = {K},
   page      = {128--138}
}


@article{Rabin80b,
   owner = "K",   
  author = "M. O. Rabin",
   journal = "Journal of Number Theory",
   title = "A Probabilistic Algorithm for Testing Primality",
   volume = "12",
   year = "1980",
   page = "128--138"
}

@book{RaSr75,
   author    = {S. Raghavan Balwant Singh and R. Sridharam},
   title     = {Homological Methods in Commutative Algebra},
   year      = {1975},
   publisher = {Oxford University Press},
   series    = {Tata Institute of Fundamental Research},
   owner     = {J}
}
 
@misc{RaWiYa96,
   author    = {A. Razborov and A. Wigderson and A. Yao},
   title     = {Read-Once Branching Programs, rectangular Proofs of
       the Pigeonhole Principle and the Transversal Calculus},
   year      = {1996},
   howpublished = {preprint},
   owner     = {K},
   pages     = {20}
}


@article{ReAn94,
   author    = {T. Recio and C. Andradas},
   title     = {{D}. {W}. Dubois and the Pioneer Days of Real
       Algebraic Geometry},
   journal   = {Contemporary Mathematics},
   year      = {1994},
   volume    = {155},
   pages     = {1--10},
   owner     = {J,K}
}


@misc{ReCa95,
   author    = {A. Rege and J. Canny},
   title     = {A Toolkit for Algebra and Geometry},
   year      = {1995},
   howpublished = {preprint 12 pages, submitted to ISAAC 95},
   owner     = {K}
}


@misc{Recio93,
   author    = {T. Recio},
   title     = {Un m\'etodo de demostraci\'on autom\'atica de teoremas
       geom\'etricos},
   year      = {1993},
   howpublished = {preprint Universidad de Cantabria},
   owner     = {K}
}


@book{reduce,
   author    = {A. C. Hearn},
   title     = {Reduce user's manual, Version 3.3},
   year      = {1987},
   publisher = {The RAND Corporation}
}


@article{Renegar87,
   author    = {James Renegar},
   title     = {On the Worst-Case Arithmetic Complexity of
       Approximating Zeros of Polynomials},
   journal   = {Journal of Complexity},
   year      = {1987},
   month     = jun,
   volume    = {3},
   number    = {2},
   pages     = {90--113},
   source    = {http://theory.lcs.mit.edu/~dmjones/hbp/jcomp/jcomp.bib}
}


@article{Renegar87,
   author    = {J. Renegar},
   title     = {On the Worst-Case Arithmetic Complexity of
       Approximating Zeros of Polynomials},
   journal   = {J. of Complexity},
   year      = {1987},
   volume    = {3},
   pages     = {90--113},
   owner     = {K, LM}
}


@article{Renegar92,
   author    = {J. Renegar},
   title     = {On the computational complexity and geometry of the
       first order theory of the reals},
   journal   = {Journal of Symbolic Computation},
   year      = {1992},
   volume    = {13},
   pages     = {255--300},
   owner     = {??}
}


@article{Renegar92,
   author    = {James Renegar},
   title     = {On the Computational Complexity and Geometry of the
       First-order Theory of the Reals. Part {I}:
       Introduction. Preliminaries. The Geometry of
       Semi-algebraic Sets. The Decision Problem for the
       Existential Theory of the Reals},
   journal   = {Journal of Symbolic Computation},
   year      = {1992},
   month     = mar,
   volume    = {13},
   number    = {3},
   pages     = {255--299}
}


@inproceedings{RePa87,
   author    = {T. Recio and L. M. Pardo},
   title     = {Rabin's width of a complete proof and the width of a
       semialgebraic set},
   booktitle = {EUROCAL' 87},
   year      = {1987},
   publisher = {Springer},
   pages     = {456--462},
   owner     = {J,K},
   series    = {LNCS},
   volume    = {378}
}


@article{Ribenboim85,
   author    = {P. Ribenboim},
   title     = {Equivalent forms of Hensel's Lemma},
   journal   = {Expositiones Mathematicae},
   year      = {1985},
   volume    = {3},
   pages     = {3--24},
   owner     = {K}
}


@book{Riesel85,
   author    = {H. Riesel},
   title     = {Prime Numbers and Computer Methods for Factorization},
   year      = {1985},
   publisher = {Birkh{\"a}user},
   volume    = {57},
   series    = {Progress in Mathematics},
   owner     = {LM}
}


@phdthesis{Ritzmann84,
   author    = {Peter Markus Ritzmann},
   title     = {Ein numerischer Algorithmus zur Komposition von
       Potenzreihen und Komplexit{\"a}tsschranken f{\"u}r die
       Nullstellenberechnung von Polynomen},
   year      = {1984},
   school    = {Universit{\"a}t Z{\"u}rich, Philosophische
       Fakult{\"a}t II},
   owner     = {J,K}
}


@article{Ritzmann86,
   author    = {Peter Markus Ritzmann},
   title     = {A Fast Numerical Algorithm for the Composition of
       Power Series with Complex Coefficients},
   journal   = {Theo. Comp. Sci.},
   year      = {1986},
   volume    = {44},
   pages     = {1--16},
   owner     = {J,K},
   school    = {Universit{\"a}t Z{\"u}rich, Philosophische
       Fakult{\"a}t II}
}


@misc{Rodriguez96,
   author    = {F. Rodriguez Villegas},
   title     = {Modular Mahler Measures},
   year      = {1996},
   howpublished = {preprint University of Princeton},
   owner     = {K}
}


@article{Rojas94,
   author    = {J. Maurice Rojas},
   title     = {A convex geometric approach to counting the roots of a
       polynomial system},
   journal   = {Theo. Comp. Sci.},
   year      = {1994},
   volume    = {133},
   pages     = {105--140},
   owner     = {J,K}
}


@inproceedings{RoSp91,
   author    = {F. Rossi and W. Spangher},
   title     = {Some effective methods in the openness of loci for
       Cohen-Macaulay and Gorenstein properties},
   booktitle = {Proceedings of MEGA'90},
   year      = {1991},
   editor    = {T. Mora and C. Traverso},
   publisher = {Birkh{\"a}user},
   pages     = {441--455},
   owner     = {J},
   series    = {Progress in Mathematics},
   volume    = {94}
}


@article{Roth55,
   author    = {K. F. Roth},
   title     = {Rational Approximations to algebraic numbers},
   journal   = {Mathematika},
   year      = {1955},
   number    = {2},
   pages     = {1--20}
}


@book{Rudin80,
   author    = {W. Rudin},
   title     = {Function Theory in the Unit Ball of ${C}^n$},
   year      = {1980},
   publisher = {Springer},
   volume    = {241},
   series    = {Grundlehren der mathematischen Wissenschaften},
   owner     = {LM}
}


@article{RuTu84,
   author    = {I. Rusza and Zs. Tuza},
   title     = {Computing ${N}$ with a few number of additions},
   journal   = {Colloquia Mathematica Societatis Janos Bolyai -
       Ungary},
   year      = {1984},
   volume    = {44},
   pages     = {371--373},
   owner     = {K}
}


@phdthesis{Santos95,
   author    = {F. Santos},
   title     = {Geometr\'\i a Combinatoria de Curvas Algebraicas y
       Diagramas de Delaunay en el plano},
   year      = {1995},
   school    = {Universidad de Cantabria, Dep. Mat\'ematicas},
   owner     = {LM}
}


@misc{SaSo93,
   author    = {J. Sabia and P. Solern{\'o}},
   title     = {Bounds for Traces in Complete Intersections and
       Degrees in the Nullstellensatz},
   howpublished = {preprint 27 pages, to appear in AAECC Journal 1993},
   owner     = {J,K}
}


@article{SaSo96,
   author    = {J. Sabia and P. Solern{\'o}},
   title     = {Bounds for Traces in Complete Intersections and
       Degrees in the Nullstellensatz},
   journal   = {Applicable Algebra in Engineering Communications and
       Computing (AAECC Journal)},
   year      = {1996},
   volume    = {6},
   pages     = {353--376},
   owner     = {J,K}
}


@article{SattlerSc83,
   author = "J. Sattler and C. P. Schnorr",
   journal = "Computing",
   pages = "91-110",
   publisher = "Springer-Verlag",
   title = "Ein Effizienzvergleich der Faktorisierungsverfahren
                 von Morrison-Brillhart und Schroeppel",
   volume = "30",
   year = "1983"
}

@book{ScGrVe94,
   author    = {A. Sch{\"o}nhage and F. W. Grotefeld and E. Vetter},
   title     = {Fast Algorithms: {A} Multitape Turing Machine
       Implementation},
   year      = {1994},
   publisher = {B.I. Wissenschaftsverlag},
   owner     = {K}
}


@inproceedings{Schirokauer96,
   author    = {O. Schirokauer},
   title     = {Discrete logarithms and local units},
   booktitle = {ANTS II: Proceedings of the 1996 Algorithmic Number
       Theory Symposium II},
   year      = {1996},
   editor    = {H. Cohen},
   pages     = {20}
}


@article{Schlickewei92,
   author    = {Hans Peter Schlickewei},
   title     = {The quantitative Subspace Theorem for number fields},
   journal   = {Compositio Mathematica},
   year      = {1992},
   volume    = {82},
   pages     = {245--273},
   owner     = {J,K}
}


@article{Schmid95,
   author    = {J. Schmid},
   title     = {On the affine {B}\'ezout inequality},
   journal   = {Manuscripta Math.},
   year      = {1995},
   volume    = {88},
   pages     = {225--232},
   owner     = {J}
}


@article{Schmidt66,
   author    = {Wolfgang M. Schmidt},
   title     = {On heights of algebraic subspaces and diophantine
       approximations},
   year      = {1966},
   pages     = {430--472},
   owner     = {J,K}
}


@book{Schmidt80,
   author    = {W. M. Schmidt},
   title     = {Diophantine Approximation},
   year      = {1980},
   publisher = {Springer Verlag},
   address   = {New York},
   isbn      = {3-540-09762-7}
}


@book{Schmidt84,
   author    = {W. Schmidt},
   title     = {Analytische Methoden f{\"u}r diophantische
       Gleichungen},
   year      = {1984},
   publisher = {Birkh{\"a}user},
   owner     = {J}
}


@book{Schmidt84a,
   author    = {W. Schmidt},
   title     = {Analytische Methoden f{\"u}r diophantische
       Gleichungen},
   year      = {1984},
   publisher = {Birkh{\"a}user},
   series    = {Progress in Mathematics}
}


@article{Schmidt91,
   author    = {Wolfgang M. Schmidt},
   title     = {Diophantine approximation ...},
   year      = {1991},
   pages     = {34--41},
   owner     = {LM}
}


@book{Schneider57,
   author    = {T. Schneider},
   title     = {Einf{\"u}hrung in die transzendenten Zahlen},
   year      = {1957},
   publisher = {Springer},
   owner     = {LM}
}


@article{SchnLe84,
   author    = {C. P. Schnorr and H. W. {Lenstra, Jr.}},
   title     = {A {M}onte {C}arlo factoring algorithm with linear
       storage},
   journal   = {Mathematics of Computation},
   year      = {1984},
   volume    = {43},
   pages     = {289--312},
   owner     = {K}
}


@article{Schnorr78,
   author    = {C. P. Schnorr},
   title     = {Improved lower bounds on the number of
       multiplications/divisions which are necessary to
       evaluate polynomials},
   journal   = {Theo. Comp. Sci.},
   year      = {1978},
   volume    = {7},
   pages     = {251--261},
   owner     = {LM}
}


@article{Schnorr81,
   author    = {C. P. Schnorr},
   title     = {An extension of Strassen's degree bound},
   journal   = {SIAM J. Computing},
   year      = {1981},
   volume    = {10},
   page      = {371--382}
}


@article{Scholz37,
   author    = {A. Scholz},
   title     = {Aufgabe 253},
   journal   = {Jahresbericht Deutsch. Math. Verein},
   year      = {1937},
   volume    = {47},
   pages     = {41--42},
}

@article{Schonhage1971,
   owner = "K",   
  author = "A. A. Sch{\"o}nhage",
   journal = "Acta Informatica",
   pages = "139--144",
   title = "Schnelle Berechnung von Kettenbruchentwicklungen",
   volume = "1",
   year = "1971"
}

@article{Schonhage3,
   author    = {Arnold Sch{\"o}nhage},
   title     = {Asymptotically fast algorithms for the numerical
       multiplication and division of polynomials with complex
       coefficients},
   owner     = {J,K}
}


@article{Schonhage76,
   author    = {Arnold Sch{\"o}nhage},
   title     = {An elementary proof for Strassen' s Degree Bound},
   journal   = {Theo. Comp. Sci.},
   year      = {1976},
   volume    = {3},
   pages     = {267--272},
   owner     = {J,K}
}


@article{Schonhage77,
   author    = {Arnold Sch{\"o}nhage},
   title     = {Schnelle Multiplikation von Polynomen {\"u}ber
       {K}{\"o}rpern der Charakteristik 2},
   journal   = {Acta Inf.},
   year      = {1977},
   volume    = {7},
   pages     = {395--398},
   owner     = {K}
}


@inproceedings{Schonhage79,
   author    = {A. Sch{\"o}nhage},
   title     = {On the power of random access machines},
   booktitle = {Proceedings of the 6th Colloquium on Automata,
       Languages and Programming},
   year      = {1979},
   month     = jul,
   editor    = {Hermann A. Maurer},
   publisher = {Springer},
   pages     = {520--529},
   owner     = {K},
   series    = {LNCS},
   volume    = {71}
}


@inproceedings{Schonhage84,
   author    = {Arnold Sch{\"o}nhage},
   title     = {Facorization of univariate Integer Polynomials by
       diophantine Approximation and an improved Basis
       reduction algorithm},
   booktitle = {Proceedings of the ICALP 1984},
   year      = {1984},
   owner     = {K}
}


@inproceedings{Schonhage86,
   author    = {Arnold Sch{\"o}nhage},
   title     = {Equation Solving in Terms of Computational
       Complexity},
   booktitle = {Proceedings of the International Congress of
       Mathematicians},
   year      = {1986},
   pages     = {40},
   owner     = {K},
   volume    = {3}
}


@article{Schoof1985,
   owner = "K",   
  author = "R. Schoof",
   journal = "Mathematics of Computation",
   pages = "483--494",
   title = "Elliptic curves over finite fields and the computation
                 of square roots mod $p$",
   volume = "44",
   year = "1985"
}

@article{Schoof85,
   author    = {R. J. Schoof},
   title     = {Elliptic curves over finite fields and the computation
       of square roots mod p},
   journal   = {Math. Comp.},
   year      = {1985},
   volume    = {44},
   pages     = {483--494},
   owner     = {K}
}


@inproceedings{Schwartz79,
   author    = {J. T. Schwartz},
   title     = {Probabilistic algorithms for verification of
       polynomial identities},
   booktitle = {ISSAC~'79: Proceedings of Int'l. Symp. on Symbolic and
       Algebraic Computation},
   year      = {1979},
   publisher = {Springer-Verlag},
   owner     = {This paper, which also appeared in {\em Journal of the
       ACM\/}, 1980, pp.~701--717, presents probabilistic
       methods for testing polynomial identities and
       properties of systems of polynomials.},
   series    = {Lecture Notes in Computer Science},
   volume    = {72}
}


@article{Schwartz80,
   author    = {J. T. Schwartz},
   title     = {Fast Probabilistic Algorithms for Verification of
       Polynomial Identities},
   journal   = {Journal of the ACM},
   year      = {1980},
   month     = oct,
   volume    = {27},
   number    = {4},
   pages     = {701--717},
   owner     = {wanted}
}



@Unpublished{Sedoglavic2000,
  author =	 {Alexandre Sedoglavic},
  title =	 {A Mixed Symbolic-Numeric Method to Study Prime
                  Ordinary Differential Ideal},
  note =	 {manuscript GAGE laboratory, submitted to ISSAC'2000},
  month =	 jan,
  year =	 2000
}

@article{SeLl92,
   author    = {R. Sendra and J. Llovet},
   title     = {An extended polynomial {GCD} algorithm using Hankel
       matrices},
   journal   = {Journal of Symbolic Computation},
   year      = {1992},
   volume    = {13},
   pages     = {25--39},
   owner     = {J}
}


@inbook{Serre,
  author =       "J. P. Serre",
  title =        "Complex Multiplication",
  booktitle =    "(?)",
  year =         "(?)",
  editor =       "(?)",
  pages =        "292-295",
  owner = "K",
}

@article{Serre55,
   author    = {J. P. Serre},
   title     = {Faisceaux alg{\'e}briques coh{\'e}rents},
   journal   = {Amer. Math},
   year      = {1955},
   volume    = {61},
   page      = {191--274}
}


@book{Shafarevich77,
   author    = {I. R. Shafarevich},
   title     = {Basic Algebraic Geometry},
   year      = {1977},
   publisher = {Springer},
   address   = {Berlin},
   edition   = {2},
   series    = {Graduate Texts in Mathematics}
}


@book{Shafarevich84,
   author    = {I. R. Shafarevich},
   title     = {Basic algebraic geometry},
   year      = {1984},
   publisher = {Springer-Verlag},
   series    = {Graduate Texts in Mathematics},
   owner     = {??}
}


@book{Shafarevich84,
   author    = {I. R. Shafarevich},
   title     = {Basic algebraic geometry},
   year      = {1984},
   publisher = {Springer-Verlag},
   series    = {Graduate Texts in Mathematics},
   owner     = {??}
}


@book{Shafarevich94,
   author    = {I. R. Shavarevich},
   title     = {Basic Algebraic Geometry : Varieties in Projective
       Space},
   year      = {1994},
   publisher = {Springer}
}


@article{Shoup90,
   author    = {Victor Shoup},
   title     = {New Algorithms for Finding Irreducible Polynomials
       over Finite Fields},
   journal   = {Mathematics of Computation},
   year      = {1990},
   volume    = {54},
   pages     = {435--447},
   owner     = {K}
}


@article{Shoup92,
   author    = {Shoup},
   title     = {Searching for Primitive Roots in Finite Fields},
   journal   = {Mathematics of Computation},
   year      = {1992},
   volume    = {58},
   owner     = {K}
}


@article{Shoup94,
   author    = {V. Shoup},
   title     = {Fast Construction of Irreducible Polynomials over
       Finite Fields},
   journal   = {Journal of Symbolic Computation},
   year      = {1994},
   month     = may,
   volume    = {17},
   number    = {5},
   pages     = {371--??},
   owner     = {K}
}


@article{Shoup95,
   author    = {V. Shoup},
   title     = {A New Polynomial Factorization Algorithm and its
       Implementation},
   journal   = {Journal of Symbolic Computation},
   year      = {1995},
   volume    = {20},
   number    = {4},
   pages     = {363--??},
   owner     = {K}
}


@article{ShSm91,
   author    = {Victor Shoup and Roman Smolensky},
   title     = {Lower Bounds for Polynomial Evaluation and
       Interpolation Problems},
   journal   = {IEEE},
   year      = {1991},
   pages     = {378--383},
   owner     = {J,K}
}


@article{ShSm93,
   author    = {M. Shub and S. Smale},
   title     = {Complexity of {B}\'ezout's Theorem {I}: Geometric
       Aspects},
   journal   = {J. of the AMS},
   year      = {1993},
   volume    = {6},
   number    = {2},
   pages     = {459--501},
   owner     = {LM}
}


@inproceedings{ShSm93A,
   author    = {M. Shub and S. Smale},
   title     = {Complexity of {B}\'ezout's Theorem {II}: Volumes and
       Probabilities},
   booktitle = {{Proceeding} effective methods in Algebraic Geometry},
   organization = {MEGA '92, Niece},
   year      = {1993},
   publisher = {Birkh{\"a}user},
   pages     = {267--285},
   owner     = {??},
   editors   = {F. Eyssette and A. Galigo},
   series    = {Progress in Mathematics},
   volume    = {109}
}


@article{ShSm93B,
   author    = {M. Shub and S. Smale},
   title     = {Complexity of {B}\'ezout's Theorem {III}: Condition
       number and packing},
   journal   = {J. of Complexity},
   year      = {1993},
   volume    = {9},
   pages     = {4--14}
}


@article{ShSm94,
   author    = {M. Shub and S. Smale},
   title     = {Complexity of {B}\'ezout's Theorem {V}: Polynomial
       Time},
   journal   = {Theor. Comp. Sci.},
   year      = {1994},
   volume    = {133},
   pages     = {141--164},
   owner     = {LM}
}


@misc{ShSm94A,
   author    = {M. Shub and S. Smale},
   title     = {On the Intractability of Hilbert's Nullstellensatz and
       an algebraic version of {$P\neq NP$}},
   howpublished = {preprint IBM RC 19624 6/23/94},
   owner     = {LM}
}


@article{ShSm94B,
   author    = {M. Shub and S. Smale},
   title     = {Complexity of {B}\'ezout's Theorem {IV}: Probability
       of Success, Extensions},
   journal   = {SIAM J. of Numer. Anal.},
   year      = {1994},
   volume    = {to appear}
}


@article{ShSm96,
   author    = {Michael Shub and Steve Smale},
   title     = {Complexity of {Bezout}'s theorem. {IV}. Probability of
       success and extensions},
   journal   = {SIAM Journal on Numerical Analysis},
   year      = {1996},
   month     = feb,
   volume    = {33},
   number    = {1},
   pages     = {128--148}
}


@misc{ShSm98,
   author    = {Mike Shub and Steve Smale},
   title     = {On the intractability of Hilbert's Nullstellensatz and an
   algebraic version of {$P = NP$}},
   year      = {1998},
   howpublished = {to appear in {\em Duke J. of Math.}}
}

@article{Shub89,
   author    = {M. Shub},
   title     = {On the Distance to the Zero Set of a Homogeneous
       Polynomial},
   journal   = {J. Complexity},
   year      = {1989},
   volume    = {5},
   pages     = {303--305},
   owner     = {K}
}


@techreport{Shub90,
   author    = {M. Shub},
   title     = {Some Remarks on Bezout's Theorem and Complexity
       Theory},
   institution = {IBM T.J. Watson Research Center},
   year      = {1990},
   number    = {RC 15993 (71044)},
   owner     = {K},
   pages     = {23}
}


@article{Siegel21,
   author    = {C. L. Siegel},
   title     = {Approximation algebraischer Zahlen},
   journal   = {Math. Zeitschr.},
   year      = {1921},
   volume    = {10},
   number    = {2},
   pages     = {173--213}
}


@article{Silva93,
   author    = {F. C. Silva},
   title     = {The Eigenvalues of the Product of Matrices with
       Prescribed Similarity Class},
   journal   = {Linear and Multilinear Algebra},
   year      = {1993},
   volume    = {34},
   pages     = {269--277},
   owner     = {K}
}


@article{Silverman87,
   owner = "K",   
  author = "R. D. Silverman",
   journal = "Mathematics of Computation",
   month = jan,
   number = "177",
   pages = "329--339",
   title = "The Multiple Polynomial Quadratic Sieve",
   volume = "48",
   year = "1987",
   keywords = "MPQS, prime, factor, factorisation, Eratosthenese,
                    algorithm"
}

@article{Silverman87a,
   owner = "K",   
   author = "J. H. Silverman",
   journal = "Math. Ann.",
   volume = "279",
   pages = "193--216",
   title = "Arithmetic Distance Functions and Height Functions in
Diophantine Geometry",
   year = "1987",
}

@manual{Singular,
   author    = {G.-M. Greuel and G. Pfister and H. Sch{\"o}nemann},
   title     = {Singular},
   organization = {Universit{\"a}t Kaiserslautern},
   year      = {1997},
   address   = {Germany},
   note      = {{\tt http://www.mathematik.uni-kl.de/$\tilde{
       }$wwwagag/}}
}


@article{Smale81,
   author    = {S. Smale},
   title     = {The fundamental theorem of algebra and complexity
       theory},
   journal   = {Bulletin of the Amer. Math. Soc.},
   year      = {1981},
   number    = {4},
   pages     = {1--36}
}


@article{Smale85,
   author    = {S. Smale},
   title     = {On the Efficiency of Algorithms of Analysis},
   journal   = {Bull. of the AMS},
   year      = {1985},
   volume    = {13},
   number    = {2},
   pages     = {87--121},
   owner     = {LM}
}


@inproceedings{Smale86,
   author    = {S. Smale},
   title     = {Algorithms for Solving Equations},
   booktitle = {Proceedings of the International Congress of
       Mathematicians},
   year      = {1986},
   address   = {Berkeley, California, USA},
   pages     = {172--195},
   owner     = {K}
}


@article{Smale87,
   author    = {Steve Smale},
   title     = {On the Topology of Algorithms, {I}},
   journal   = {Journal of Complexity},
   year      = {1987},
   month     = jun,
   volume    = {3},
   number    = {2},
   pages     = {81--89},
   source    = {http://theory.lcs.mit.edu/~dmjones/hbp/jcomp/jcomp.bib}
}


@article{Smale87,
   author    = {S. Smale},
   title     = {On the Topology of Algorithms, {I}},
   journal   = {J. of Complexity},
   year      = {1987},
   volume    = {3},
   pages     = {81--89},
   owner     = {LM}
}


@book{Smith92,
   author    = {Justin R. Smith},
   title     = {The Design and Analysis of Parallel Algorithms},
   year      = {1992},
   month     = dec,
   publisher = {Oxford University Press}
}

@article{Solovay77,
   owner = "K",   
  author = "R. Solovay and V. Strassen",
   journal = "SIAM Journal on Computing",
   month = mar,
   number = "1",
   pages = "84--85",
   title = "A Fast {Monte-Carlo} Test for Primality",
   volume = "6",
   year = "1977"
}

@inproceedings{Sombra96,
   author    = {M. Sombra},
   title     = {Bounds for the Hilbert function of polynomial ideal
       and for the degrees in the Nullstellensatz},
   booktitle = {Proceedings of MEGA'96},
   year      = {1997},
   publisher = {North-Holland},
   owner     = {J},
   journal   = {Journal of Pure and Applied Algebra},
   volume = "117 \& 118",
   pages = "565--599",
}

@article{Sombra97,
   author    = {M. Sombra},
   title     = {A sparse effective Nullstellensatz},
   year      = {1998},
   journal = {Adv. Appl. Math. {\em to appear}},
   owner     = {J}
}

@phdthesis{Sombra98,
   author    = {M. Sombra},
   title     = {Estimaciones para el teorema de ceros de Hilbert},
   year      = {1998},
   school    = {Universidad de Buenos Aires, Argentina},
   owner     = {J}
}
 @inproceedings{Pomerance84b,
  oldtag =       "Pomerance84",
  author =       "Carl Pomerance",
  title =        "The Quadratic Sieve Factoring Algorithm",
  booktitle =    "Advances in Cryptology",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  volume =       "209",
  year =         "1984",
  editor =       "T. Beth and N. Cot and I. Ingemarrson",
  pages =        "169--182",
  owner = "K",
}

@book{Sommerville89,
   author    = {I. Sommerville},
   title     = {Software engineering},
   year      = {1989},
   publisher = {Addison Wesley},
   series    = {3rd Edition}
}


@inproceedings{STOC::Huang1985,
  title =        "Riemann Hypothesis and Finding Roots over Finite
                 Fields",
  author =       "{Ming-Deh} A. Huang",
  owner = "K",
  pages =        "121--130",
  booktitle =    "Proceedings of the Seventeenth Annual {ACM} Symposium on Theory of Computing",
  month =        may,
  year =         "1985",
  address =      "Providence, Rhode Island",
}


@misc{Stoss82,
   author    = {Hans-J{\"o}rg Sto\ss},
   title     = {Die Komplexit{\"a}t der Auswertung von
       Interpolationspolynomen},
   year      = {1982},
   howpublished = {preprint in german of Stoss85},
   owner     = {K}
}


@article{Stoss85,
   author    = {Hans-J{\"o}rg Sto\ss},
   title     = {The Complexity of evaluating Interpolation
       Polynomials},
   journal   = {Theo. Comp. Sci..},
   year      = {1985},
   volume    = {41},
   pages     = {319--323},
   owner     = {J,K}
}


@article{Stoss89,
   author    = {Hans-J{\"o}rg Sto\ss},
   title     = {On the Representation of Rational Functions of bounded
       Complexity},
   journal   = {Theo. Comp. Sci..},
   year      = {1989},
   volume    = {64},
   pages     = {1--13},
   owner     = {J,K}
}


@article{Stoss89A,
   author    = {Hans-J{\"o}rg Sto\ss},
   title     = {Lower Bounds for the Complexity of Polynomials},
   journal   = {Theo. Comp. Sci..},
   year      = {1989},
   volume    = {64},
   pages     = {15--23},
   owner     = {J,K}
}


@article{Strassen69,
   author    = {Volker Strassen},
   title     = {{Gaussian} elimination is not optimal},
   journal   = {Numer.~Math.},
   year      = {1969},
   volume    = {13},
   pages     = {354--356},
   owner     = {K}
}


@article{Strassen72,
   author    = {V. Strassen},
   title     = {Berechnung und {P}rogramm. {I}, {I}{I}},
   journal   = {Acta Informatica},
   year      = {1972},
   volume    = {1},
   number    = {4},
   pages     = {320--355; {\em ibid.} 2(1), 64--79 (1973)},
   owner     = {LM}
}


@article{Strassen73,
   author    = {V. Strassen},
   title     = {Vermeidung von Divisionen},
   journal   = {Crelle J. Reine Angew. Math,},
   year      = {1973},
   volume    = {264},
   pages     = {182--202},
   owner     = {K, LM},
   howpublished = {preprint 28 pages}
}


@article{Strassen73A,
   author    = {V. Strassen},
   title     = {Die Berechnungskomplexit{\"a}t von
       elementarsymmetrischen Funktionen und von
       Interpolationspolynomen},
   journal   = {Numer. Math.},
   year      = {1973},
   volume    = {2},
   pages     = {238--251},
   owner     = {K},
   howpublished = {preprint 28 pages}
}


@article{Strassen74,
   author    = {V. Strassen},
   title     = {Polynomials with rational coefficients which are hard
       to compute},
   journal   = {SIAM J. of Computing},
   year      = {1974},
   volume    = {3},
   pages     = {128--149},
   owner     = {LM},
   howpublished = {preprint 28 pages}
}


@misc{Strassen74A,
   author    = {V. Strassen},
   title     = {Some Results in Algebraic Complexity Theory},
   year      = {1974},
   howpublished = {preprint 8 pages},
   owner     = {K}
}


@incollection{Strassen84,
   author    = {V. Strassen},
   title     = {Algebraische Berechnungskomplexit{\"a}t},
   booktitle = {Perspectives in Mathematics},
   year      = {1984},
   publisher = {Birkh{\"a}user},
   pages     = {509--550},
   owner     = {K},
   howpublished = {preprint 28 pages}
}


@incollection{Strassen90,
   author    = {V. Strassen},
   title     = {Algebraic Complexity Theory},
   booktitle = {Handbook of Theoretical Computer Science},
   chapter   = {11},
   year      = {1990},
   publisher = {Elsevier},
   pages     = {634--671},
   owner     = {LM}
}


@book{Stroustrup93,
   author    = {B. Stroustrup},
   title     = {The {C}++ Programming Language, 2.ed.},
   year      = {1993},
   publisher = {Addison-Wesley}
}


@book{Stroustrup94,
   author    = {B. Stroustrup},
   title     = {The Design and Evolution of {C}++},
   year      = {1994},
   publisher = {Addison-Wesley}
}


@article{Sturmfels88,
   author    = {Bernd Sturmfels},
   title     = {Some Applications of Affine Gale Diagrams to Polytopes
       with Few Vertices},
   journal   = {SIAM J. Discr. Math.},
   year      = {1988},
   volume    = {1},
   number    = {1},
   pages     = {121--133},
   owner     = {LM}
}


@article{Sturmfels91,
   author    = {Bernd Sturmfels},
   title     = {Gr{\"o}bner Bases of Toric Varieties},
   journal   = {Tohoku Math. J.},
   year      = {1991},
   volume    = {43},
   pages     = {249--261},
   owner     = {LM}
}


@incollection{Sturmfels93,
   author    = {B. Sturmfels},
   title     = {Sparse Elemination Theory},
   booktitle = {Computational Algebraic Geometry and Commutative
       Algebra},
   year      = {1993},
   editor    = {D. Eisenbud and L. Robbiano},
   publisher = {Cambridge University Press},
   pages     = {264--298},
   owner     = {LM},
   series    = {Symposia Matematica},
   volume    = {XXXIV}
}


@article{Sturmfels94,
   author    = {Bernd Sturmfels},
   title     = {On the Newton Polytope of the Resultant},
   journal   = {Journal of Algebraic Combinatorics},
   year      = {1994},
   volume    = {3},
   pages     = {207--236},
   owner     = {J,K}
}


@book{Sturmfels96,
   author    = {B. Sturmfels},
   title     = {Gr{\"o}bner bases and Convex Polytopes},
   year      = {1996},
   publisher = {American Mathematical Society},
   volume    = {8},
   series    = {University Lecture Series},
   owner     = {K}
}


@techreport{StWi96,
   author    = {Bernd Sturmfels and Markus Wiegelmann},
   title     = {Structural Grobner Basis Detection},
   institution = {International Computer Science Institute},
   year      = {1996},
   month     = may,
   address   = {Berkeley, CA},
   number    = {ICSI-TR-96-017},
   owner     = {K}
}


@article{StYa82,
   author    = {A. Yao M. Steele},
   title     = {Lower Bounds for Decision Trees},
   journal   = {J. Algoritms},
   year      = {1982},
   volume    = {3},
   pages     = {1--8}
}


@inproceedings{Subbarao89,
   author    = {M. V. Subbarao},
   title     = {Addition chains - Some results and problems},
   booktitle = {Proceedings of the NATO Advanced Study Institute on
       Number Theory and Applications},
   year      = {1989},
   editor    = {Richard A. Mollin},
   publisher = {Kluwer},
   address   = {The Netherlands},
   pages     = {555--574},
   owner     = {K},
   volume    = {265}
}


@misc{Teissier89,
   author    = {B. Teissier},
   title     = {{R}{\'e}sultats r{\'e}ecents d'alg{`e}bre commutative
       effective},
   year      = {1989},
   howpublished = {S{\'e}minaire Bourbaki, n. 718},
   owner     = {K}
}


@misc{Teradev97,
   author    = {{TERA Development Group}},
   title     = {Some remarks on the time--space tradeoff of geometric
       elimination procedures},
   howpublished = {Manuscript 15 pages, \texttt{gmatera@mate.dm.uba.ar}},
   month = sep,
   year = 1997,
   owner     = {G}
}

@misc{Teradev98,
   author    = {{TERA Development Group}},
   title     = {A (hopefully) efficient polynomial equation system solver},
   howpublished = {Manuscript 57 pages, \texttt{gmatera@mate.dm.uba.ar}},
   year = 1998,
   owner     = {G}
}



@book{Thue77,
   editor    = {T. Nagell and A. Selberg and S. Selberg and K. Thalberg},
   title     = {Selected Mathematical Papers},
   year      = {1977},
   publisher = {Universitetsforlarger Oslo-Bergen-Troms\o}
}


@article{Toom63,
   author    = {A. L. {Toom}},
   title     = {The complexity of a scheme of functional elements
       realizing the multiplication of integers},
   journal   = {Soviet Math. Doklady},
   year      = {1963},
   volume    = {3},
   pages     = {714--716},
   owner     = {??}
}


@inproceedings{Trager76,
   author    = {B. M. Trager},
   title     = {Algebraic factoring and rational function
       integration},
   booktitle = {Proceedings 1976 ACM Symp. Symbolic Algebraic Comp.
       (ISSAC)},
   year      = {1976},
   pages     = {219--228}
}


@inproceedings{UrSt94,
   author    = {T. E. Uribe and M. E. Stickel},
   title     = {Ordered Binary Decision Diagrams and the Davis-Putnam
       Procedure},
   booktitle = {International Conference on Constraints in
       Computational Logics},
   year      = {1994},
   month     = sep,
   publisher = {Springer},
   owner     = {K},
   series    = {LNCS},
   volume    = {845}
}


@article{Valiant79,
   author    = {L. Valiant},
   title     = {The complexity of computing the permanent},
   journal   = {Theor. Comp. Sci.},
   year      = {1979},
   volume    = {8},
   pages     = {189--201},
   owner     = {LM}
}


@article{Valiant82,
   author    = {L. Valiant},
   title     = {Reducibility by algebraic projections},
   journal   = {L'Enseignement math.},
   year      = {1982},
   volume    = {28},
   pages     = {253--268},
   owner     = {LM}
}


@book{vanderWaerden30,
   author    = {B. L. {Van der Waerden}},
   title     = {Moderne Algebra {I}},
   year      = {1930},
   publisher = {Berlin},
   owner     = {biblioteca}
}
@article{Velu78,
   owner = "K",   
  author = "Velu",
   journal = "SIGACTN: SIGACT News (ACM Special Interest Group on
                 Automata and Computability Theory)",
   title = "Tests for Primality under the Riemann Hypothesis",
   volume = "10",
   year = "1978"
}

@article{Verschelde94,
   author    = {J. Verschelde and A. Haegemans},
   title     = {Homotopies for solving polynomial systems within a
       bounded domain},
   journal   = {Theoretical Computer Science},
   year      = {1994},
   month     = oct,
   volume    = {133},
   number    = {1},
   pages     = {165--185},
   day       = {10}
}


@book{Vogel84,
   author    = {W. Vogel},
   title     = {Results on B{\'e}zout's Theorem},
   year      = {1984},
   publisher = {Springer},
   series    = {Tata Institute of Fundamental Research},
   owner     = {J}
}


@article{vonzurGathen:1992:PFC,
   owner = "K",   
  author = "J. von zur Gathen",
   journal = "SIGSAM Bulletin (ACM Special Interest Group on
                 Symbolic and Algebraic Manipulation)",
   month = apr,
   number = "2",
   pages = "22--24",
   title = "A polynomial factorization challenge",
   volume = "26",
   year = "1992",
   coden = "SIGSBZ",
   ISSN = "0163-5824",
   bibdate = "Fri Sep 06 07:11:06 1996",
   acknowledgement = "#ack-nhfb"
}

@article{Wang78,
   author    = {P. S. Wang},
   title     = {An improved multivariate polynomial factorization
       algorithm},
   journal   = {Math. Comp.},
   year      = {1978},
   volume    = {32},
   pages     = {1215--1231},
   owner     = {K}
}


@inproceedings{Wang81,
   author    = {P. Wang},
   title     = {A p-adic algorithm for univariate partial fractions},
   booktitle = {{SYMSAC} '81: Proceedings of the 1981 {ACM} Symposium
       on Symbolic and Algebraic Computation},
   organization = {Association for Computing Machinery},
   year      = {1981},
   editor    = {P. Wang},
   pages     = {212--217},
   owner     = {wanted}
}


@inproceedings{Wang83,
   author    = {P. Wang},
   title     = {Early detection of true factors in univariate
       polynomial factorization},
   booktitle = {Proceedings of the 1983 European Conference on
       Computer Algebra},
   year      = {1983},
   publisher = {Springer},
   pages     = {225--235},
   owner     = {wanted},
   journal   = {Lecture Notes in Computer Science},
   volume    = {722}
}


@article{Weber95,
   author    = {K. Weber},
   title     = {The Accelerated Integer {GCD} Algorithm},
   journal   = {ACM Transactions on Mathematical Software},
   year      = {1995},
   month     = mar,
   volume    = {21},
   number    = {1},
   pages     = {111--122},
   owner     = {K}
}


@book{Weil84,
   author    = {A. Weil},
   title     = {Number theory : an approach through history from
       Hammurapi to Legendre},
   year      = {1984},
   publisher = {Birkhause}
}


@article{Weinberger84,
   author    = {P. J. Weinberger},
   title     = {Finding the number of factors of a polynomial},
   journal   = {J. Algorithms},
   year      = {1984},
   volume    = {5},
   pages     = {180--186},
   owner     = {K}
}


@misc{Weispfenning96,
   author    = {V. Weispfenning},
   title     = {Simulation and Optimization by Quantifier
       Elimination},
   year      = {1996},
   howpublished = {preprint},
   owner     = {K},
   pages     = {20}
}


@article{Weyl16,
   author    = {H. Weyl},
   title     = {{\"U}ber die Gleichverteilung von Zahlen mod Eins},
   journal   = {Math. Ann.},
   year      = {1916},
   volume    = {77},
   pages     = {313--352},
   owner     = {J}
}


@article{Weyl16a,
   author    = {H. Weyl},
   title     = {{\"U}ber die Gleichverteilung von Zahlen mod Eins},
   journal   = {Math. Ann.},
   year      = {1916},
   volume    = {77},
   pages     = {313--352},
   owner     = {J}
}


@article{WiDu86,
  author = "H. C. Williams and H. Dubner",
  title = "The Primality of R1031",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1986",
  month = oct,
  volume = "47",
  number = "176",
  pages = "703-711",
}

@article{Wiedemann86,
   owner = "K",   
  author = "D. H. Wiedemann",
   journal = "IEEE Transactions on Information Theory",
   pages = "54-62",
   title = "Solving Sparse Linear Equations Over Finite Fields",
   volume = "IT-32",
   number = "1",
   month = jan,
   year = "1986"
}

@article{WiHo78,
  author = "H. C. Williams and R. Holte",
  title = "Some Observations on Primality Testing",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1978",
  month = jul,
  volume = "32",
  number = "143",
  pages = "905-917",
}


@article{Wil1,
   owner = "K",   
  author = "Hugh C. Williams",
   journal = "Ars Combinatorica",
   pages = "127--185",
   title = "Primality Testing on a Computer",
   volume = "5",
   year = "1978"
}

@article{Williams78,
  author = "H. C. Williams",
  title = "Some Primes with Interesting Digit Pattern",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1978",
  month = oct,
  volume = "32",
  number = "144",
  pages = "1306-1310",
}

@article{Williams82,
   owner = "K",   
  author = "H. C. Williams",
   journal = "Mathematics of Computation",
   month = jul,
   number = "159",
   pages = "225--234",
   title = "A $p+1$ method of factoring",
   volume = "39",
   year = "1982"
}

@article{Williams82A,
  author = "H. C. Williams",
  title = "The influence of computers in the development of number theory",
  journal = "Comp. Maths. with Appls.",
  owner = "K",
  year = "1982",
  volume = "8",
  number = "2",
  pages = "75-93",
}

@article{Williams87,
  author = "H. C. Williams",
  title = "Effective Primality Tests for Some Integers of the Forms $A5^n - 1$ and $A7^n -1$",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1987",
  month = jan,
  volume = "48",
  number = "177",
  pages = "385-403",
}

@article{WilliamsJu76,
   owner = "K",   
  author = "H. C. Williams and J. S. Judd",
   journal = "Mathematics of Computation",
   month = jan,
   number = "133",
   pages = "157--172",
   title = "Determination of the Primality of ${N}$ by using Factors of ${N}^2\pm 1$",
   volume = "30",
   year = "1976"
}

@article{WilliamsJu76A,
  author =       "H. C. Williams and J. S. Judd",
  title =        "Some Algorithms for Prime Testing using Generalized Lehmer Functions",
  journal =      "Mathematics of Computation",
  owner = "K",
  year =         "1976",
  month =        jan,
  volume =       "30",
  number =       "136",
  pages =        "867-886",
}
 
@article{WiSe79,
  author = "H.C. Williams and E. Seah",
  title = "Some Primes of the Form $(a^n -1)/(a-1)$",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1979",
  month = oct,
  volume = "33",
  number = "148",
  pages = "1337-1342",
}

@article{WiZa74,
  author = "H. C. Williams and C. R. Zarnke",
  title = "Some algoritms for solving a cubic congruence modulo $p$",
  journal = "Utilitas Mathematica",
  owner = "K",
  year = "1974",
  volume = "6",
  pages = "285-306",
}


@misc{Woermann97,
   author    = {T. W{\"o}rmann},
   title     = {Short algebraic proofs of theorems of Schm{\"ud}dgen
       and {P}{\'o}lya},
   howpublished = {preprint},
   owner     = {K},
   pages     = {1--4}
}


@misc{Wolf96,
   author    = {M. Wolf},
   title     = {Unexpected regularities in the Distribution of Prime
       Numbers},
   year      = {1996},
   month     = may,
   howpublished = {preprint IFTUWr 908/96, University of Wroczlaw,
       Poland},
   owner     = {K}
}


@misc{Wolf97,
   author    = {M. Wolf},
   title     = {First occurrence of a given gap between consecutive
       primes},
   year      = {1997},
   month     = apr,
   howpublished = {preprint IFTUWr 911/97, University of Wroczlaw,
       Poland},
   owner     = {K}
}


@article{Wolfart81,
  author = "J. Wolfart",
  title = "Primzahltests und Primfaktorzerlegung",
  journal = "Jahrbuch {\"U}berblicke Mathematik",
  owner = "K",
  year = "1981",
  pages = "161-188",
}




@article{Wunderlich83,
  author = "M. C. Wunderlich",
  title = "A Performance Analysis of a Simple Prime-Testing Algorithm",
  journal = "Mathematics of Computation",
  owner = "K",
  year = "1983",
  month = apr,
  volume = "40",
  number = "162",
  pages = "709-714",
}

@article{Yao76,
   owner = "K",   
  author = "Andrew Chi-Chih Yao",
   journal = sicomp,
   month = mar,
   number = "1",
   pages = "100--103",
   title = "On the Evaluation of Powers",
   volume = "5",
   year = "1976"
}


@article{Yao82,
   author    = {A. C. C. Yao},
   title     = {On Parallel computation for the Knapsack problem},
   journal   = {J. of the ACM},
   year      = {1982},
   volume    = {29},
   number    = {3},
   pages     = {898--903},
   owner     = {LM}
}


@article{Yao92,
   author    = {A. C. C. Yao},
   title     = {Algebraic decision Trees and Euler Characteristics},
   journal   = {Proceedings of the $33^{th}$ Annual IEEE on
       Foundations of Computer Science},
   year      = {1992},
   volume    = {29},
   pages     = {268--277}
}


@article{Yao94,
   author    = {A. C. C. Yao},
   title     = {Decision Trees and Betti Numbers},
   journal   = {STOCS 94},
   year      = {1994}
}

@inproceedings{YoNoTa90,
   author    = {K. Yokoyama and M. Noro and T. Takeshima},
   title     = {On factoring multi-variate polynomials over
       algebraically closed fields},
   booktitle = {Proceedings of ISSAC'90},
   year      = {1990},
   pages     = {297},
   owner     = {K}
}


@phdthesis{Yun74,
   author    = {D. Y. Y. Yun},
   title     = {The Hensel Lemma in algebraic manipulation},
   year      = {1974},
   school    = {M.I.T. , Reprint Garland Publ. NY, 1980},
   owner     = {wanted}
}


@book{Zariski95,
   author    = {O. Zariski},
   title     = {Algebraic Surfaces},
   year      = {1995},
   publisher = {Springer},
   series    = {Classics in Mathematics}
}


@book{ZaSa58,
   author    = {Oscar Zariski and Pierre Samuel},
   title     = {Commutative Algebra},
   year      = {1958},
   publisher = {D. Van Nostrand Co., Inc.},
   address   = {Princeton},
   volume    = {1},
   note      = {with the co-operation of I. S. Cohen}
}


@book{ZaSa60,
   author    = {Oscar Zariski and Pierre Samuel},
   title     = {Commutative Algebra},
   year      = {1960},
   publisher = {Springer-Verlag},
   address   = {New York},
   volume    = {2},
   series    = {Graduate Texts in Mathematics}
}


@article{Zassenhaus69,
   author    = {H. Zassenhaus},
   title     = {On Hensel factorization {I}},
   journal   = {J. Number Theory},
   year      = {1969},
   volume    = {1},
   pages     = {291--311},
   owner     = {K}
}


@inproceedings{Zippel79,
   author    = {R. Zippel},
   title     = {Probabilistic algorithms for sparse polynomials},
   booktitle = {Proceedings EUROSAM' 79},
   year      = {1979},
   pages     = {216--226},
   owner     = {LM},
   series    = {LNCS},
   publisher = {Springer},
   number    = {72}
}


@inproceedings{Zippel81,
   author    = {R. Zippel},
   title     = {Newton's iteration and the sparse Hensel algorithm},
   booktitle = {SYMSAC '81: Proceedings of the 1981 ACM Symposium on
       Symbolic and Algebraic Computation},
   organization = {Association for Computing Machinery},
   year      = {1981},
   editor    = {P. Wang},
   pages     = {68}
}


@article{Zippel90,
   author    = {R. Zippel},
   title     = {Interpolating Polynomials from their Values},
   journal   = {J. Symbol. Comput.},
   year      = {1990},
   volume    = {9},
   pages     = {147--175},
   owner     = {J,K, LM}
}


@book{Zippel93,
   author    = {R. Zippel},
   title     = {Effective Polynomial Computation},
   year      = {1993},
   publisher = {Kluwer Academic Publishers},
   series    = {ECS 241},
   owner     = {BUC}
}