@Article{ACM:84,
  author =       {Arnon, Dennis S. and Collins, George E. and
                  McCallum, Scott},
  title =        {Cylindrical Algebraic Decomposition {I}: The Basic
                  Algorithm},
  journal =      {SIAM Journal on Computing},
  year =         1984,
  volume =       13,
  number =       4,
  month =        nov,
  pages =        {865-877}
}

@Article{ACM:84a,
  author =       {Arnon, Dennis S. and Collins, George E. and
                  McCallum, Scott},
  title =        {Cylindrical Algebraic Decomposition {II}: An
                  Adjacency Algorithm for the Plane.},
  journal =      {SIAM Journal on Computing},
  year =         1984,
  volume =       13,
  number =       4,
  month =        nov,
  pages =        {878-889}
}

@InProceedings{ADLSY:96,
  author =       {Abdallah, Chaouki T. and Dorato, Peter and Yang,
                  Wei and Liska, Richard and Steinberg, Stanly},
  title =        {Applications of Quantifier Elimination Theory to
                  Control System Design},
  booktitle =    {Proceedings of the 4th IEEE Mediterranean Symposium on
                  Control and Automation},
  year =         1996,
  pages =        {340-345},
  organization = {IEEE}
}

@Book{AdamsLoustaunau:94,
  author =       {Adams, William W. and Loustaunau, Philippe},
  title =        {An Introduction to Gr\"obner Bases},
  publisher =    {American Mathematical Society},
  year =         1994,
  volume =       3,
  series =       {Graduate Studies in Mathematics},
  address =      {Providence},
  isbn =         {0-8218-3804-0},
  signature =    {SK 230 A 219}
}

@InProceedings{AmrheinGloorKuechlin:96,
  author =       {Beatrice Amrhein and Oliver Gloor and Wolfgang
                  K{\"u}chlin},
  title =        {A Case Study of Multi-Threaded {G}r{\"o}bner Basis
                  Completion},
  booktitle =    {Proceedings of the 1996 International Symposium on
                  Symbolic and Algebraic Computation (ISSAC~96)},
  year =         1996,
  editor =       {Lakshmann, Y. N.},
  organization = {ACM},
  publisher =    {ACM Press},
  address =      {Zurich, Switzerland},
  month =        jul,
  pages =        {95-102},
  isbn =         {0-89791-796-0},
  signature =    {806 SS 1996 Z 94}
}

@Article{AmrheinGloorKuechlin:97,
  author =       {Beatrice Amrhein and Oliver Gloor and Wolfgang K{\"u}chlin},
  title =        {On the Walk},
  journal =      {Theoretical Computer Science},
  year =         1997,
  volume =       187,
  pages =        {179-202}
}

@PhdThesis{Arnon:81,
  author =       {Arnon, Dennis S.},
  title =        {Algorithms for the geometry of semi-algebraic sets},
  school =       {Computer Sciences Department, University of
                  Wisconsin, Madison},
  year =         1981,
  type =         {{Ph.D}. Dissertation},
  note =         {Technical Report No. 436}
}

@Article{Arnon:88,
  author =       {Arnon, Dennis S.},
  title =        {A Bibliography of Quantifier Elimination for Real
                  Closed Fields},
  journal =      {Journal of Symbolic Computation},
  year =         1988,
  volume =       5,
  number =       {1\&2},
  month =        feb,
  pages =        {267-274},
  issn =         {0741-7171}
}

@Article{Artin:27,
  author =       {Artin, Emil},
  title =        {{\"U}ber die {Z}erlegung definiter {F}unktionen in
                  {Q}uadrate},
  journal =      {Hamburger Abhandlungen},
  year =         1927,
  volume =       5,
  pages =        {100-115}
}

@Article{ArtinSchreier:27,
  author =       {Artin, Emil and Schreier, Otto},
  title =        {{A}lgebraische {K}onstruktion reeller {K}\"orper},
  journal =      {Abh. Math. Sem. Univ. Hamburg},
  year =         1927,
  volume =       5,
  pages =        {83-115}
}

@Article{AxKochen:65,
  author =       {Ax, James and Kochen, Simon},
  title =        {Diophantine Problems over Local Fields},
  journal =      {American Journal of Mathematics},
  year =         1965,
  volume =       87,
  pages =        {605-648},
  note =         {Parts I and II}
}

@Article{AxKochen:66,
  author =       {Ax, James and Kochen, Simon},
  title =        {Diophantine Problems over Local Fields},
  journal =      {Annals of Mathematics},
  year =         1966,
  volume =       83,
  pages =        {437-456},
  note =         {Part III}
}

@Book{BEN:82,
  author =       {Bellman, R and Esogbue, A. O. and Nabeshima, I.},
  title =        {Mathematical Aspects of Scheduling and Applications},
  publisher =    {Pergamon Press},
  year =         1982,
  isbn =         {0-08-026477-8},
  signature =    {40 QP 542 B 445}
}

@Article{BFHT:85,
  author =       {Borodin, Allan and Fagin, Ronald and Hopcroft, John
                  E. and Tompa, Martin},
  title =        {Decreasing the Nesting Depth of Expressions
                  Involving Square Roots},
  journal =      {Journal of Symbolic Computation},
  year =         1985,
  volume =       1,
  number =       2,
  month =        Jun,
  pages =        {169-188},
  issn =         {0747-7171}
}

@Book{BHMS:84,
  author =       {Brayton, Robert King and Hachtel, Gary D. and
                  McMullen, Curtis T. and Sangiovanni-Vincentelli,
                  Alberto L.},
  title =        {Logic Minimization Algorithms for VLSI Synthesis},
  publisher =    {Kluwer Academic Publishers},
  year =         1984,
  editor =       {Allen, Jonathan},
  series =       {The Kluwer International Series in Engineering and
                  Computer Science},
  address =      {Boston, The Hague, Dordrecht, Lancaster}
}

@Book{BKOS:97,
  author =       {Berg, Mark de and Kreveld, Marc van and Overmars,
                  Mark and Schwarzkopf, Otfried},
  title =        {Computational Geometry, Algorithms and
                  Applications},
  publisher =    {Springer},
  year =         1997,
  address =      {Berlin, Heidelberg, New York}
}

@InProceedings{BPR:94,
  author =       {Basu, Saugata and Pollack, Richard and Roy,
                  Marie-Fran\c{c}oise},
  title =        {On the Combinatorial and Algebraic Complexity of
                 Quantifier Elimination},
  pages =        {632--641},
  editor =       {Goldwasser, Shafi},
  booktitle =    {Proceedings of the 35th Annual Symposium on
                 Foundations of Computer Science},
  month =        nov,
  publisher =    {IEEE Computer Society Press, Los Alamitos, CA},
  address =      {Santa Fe, NM},
  year =         1994
}

@Book{BWK:93,
  author =       {Becker, Thomas and Weispfenning, Volker and Kredel, Heinz},
  title =        {Gr\"obner Bases, a Computational Approach to
                  Commutative Algebra},
  publisher =    {Springer},
  year =         1993,
  volume =       141,
  series =       {Graduate Texts in Mathematics},
  address =      {New York}
}

@Book{Baker:74,
  author =       {Baker, Kenneth R.},
  title =        {Introduction to Sequencing and Scheduling},
  publisher =    {John Willey \& Sons, Inc},
  year =         1974,
  address =      {New York},
  isbn =         {0-471-04555-1},
  signature =    {40 QP 542 B 167+2}
}

@TechReport{Bartusch:86,
  author =       {Bartusch, Martin},
  title =        {{O}ptimierung von {N}etzpl\"anen mit
                  {A}nordnungsbeziehungen bei knappen {B}etriebsmitteln},
  institution =  {FMI, Universit\"at Passau},
  year =         1986,
  type =         {Technical Report},
  number =       {MIP-8618},
  address =      {D-94030 Passau, Germany},
  note =         {Nachdruck der Dissertation, {RWTH} Aachen, 1983}
}

@InCollection{Becker:91,
  author =       {Becker, Eberhard},
  title =        {Sums of Squares and Quadratic Forms in Real
                  Algebraic Geometry},
  booktitle =    {Cahiers du S\'eminaire d'Historie de Math\'ematiques},
  publisher =    {Universit\'e Pierre et Marie Curie, Laboratoire de
                  Math\'ematiques Fondamentales},
  volume =       1,
  year =         1991,
  address =      "Paris",
  pages =        {41-57}
}

@InCollection{BeckerWoermann:91,
  author =       {Becker, Eberhard and W\"ormann, Thorsten},
  title =        {On the Trace Formula for Quadratic Forms and Some
                 Applications},
  editor =       {T. Y. Lam and B. Jacob},
  booktitle =    {Proceedings of the Special Year on Real Algebraic
                 Geometry and Quadratic Forms, Berkeley 1990/91},
  publisher =    {AMS},
  address =      {Providence},
  note =         {To appear},
  series =       {Contemporary Mathematics}
}

@InProceedings{BeckerWoermann:94,
  author =       {Becker, Eberhard and W\"ormann, Thorsten},
  title =        {On the Trace Formula for Quadratic Forms},
  booktitle =    {Recent Advances in Real Algebraic Geometry and
                  Quadratic Forms},
  year =         1994,
  editor =       {Jacob, William B. and Lam, Tsit-Yuen and Robson, Robert
                  O.},
  volume =       155,
  series =       {Contemporary Mathematics},
  organization = {American Mathematical Society},
  publisher =    {American Mathematical Society, Providence, Rhode Island},
  pages =        {271-291},
  note =         {Proceedings of the {RAGSQUAD} Year, Berkeley, 1990--1991},
  isbn =         {0-8218-5154-3},
  signature =    {80 SI 805-155}
}

@Article{BenOrKozenReif:86,
  author =       {B{en-Or}, Michael and Kozen, Dexter and Reif, John},
  title =        {The Complexity of Elementary Algebra and Geometry},
  journal =      {Journal of Computer and System Sciences},
  year =         1986,
  volume =       32,
  pages =        {251-264}
}

@Article{Berman:80,
  author =       {Berman, Leonard},
  title =        {The Complexity of Logical Theories},
  journal =      {Theoretical Computer Science},
  year =         1980,
  volume =       11,
  pages =        {71-77}
}

@Book{BrackxConstales:91,
  author =       {Brackx, F. and Constales, D.},
  title =        {Computer Algebra with Lisp and REDUCE: An
                  Introduction to Computer Aided Pure Mathematics},
  publisher =    {Kluwer Academic Publishers},
  year =         1991,
  editor =       {Hazewinkel, Michiel},
  volume =       72,
  series =       {Mathematics and its Applications},
  address =      {Dordrecht, Boston, London}
}

@InProceedings{Bradford:92,
  author =       {Bradford, Russel},
  title =        {Algebraic Simplification of Multiple Valued Functions},
  editor =       {Fitch, John},
  volume =       721,
  series =       {Lecture Notes in Computer Science},
  pages =        {13-21},
  booktitle =    {Design and Implementation of Symbolic Computation
                  Systems},
  year =         1992,
  publisher =    {Springer-Verlag},
  note =         {Proceedings of the DISCO 92}
}

@Article{Braid:97,
  author =       {Braid, Ian C.},
  title =        {Non-local Blending of Boundary Models},
  journal =      {Computer-Aided Design},
  year =         1997,
  volume =       29,
  number =       2,
  month =        feb,
  pages =        {89-100}
}

@Article{BrazileSwigger:88,
  key =          {Brazile \&{} Swigger},
  author =       {Robert P. Brazile and Kathleen M. Swigger},
  title =        {{GATES}: An Airline Gate Assignment and Tracking
                 Expert System},
  journal =      {IEEE Expert},
  pages =        {33--39},
  volume =       3,
  number =       2,
  month =        {Summer},
  year =         {1988},
  location =     {CMU E \&{} S Library}
}

@InCollection{BreitingerLock:95,
  author =       {Breitinger, Silvia and Lock, Hendrik C.R.},
  title =        {Using Constraint Logic Programming for Industrial
                  Scheduling Problems},
  booktitle =    {Logic Programming: Formal Methods and Practical
                  Applications},
  publisher =    {Elsevier},
  year =         1995,
  editor =       {Beierle, Christoph and Pl\"umer, Lutz},
  volume =       11,
  series =       {Studies in Computer Science and Artifical Intelligence},
  chapter =      9,
  address =      {Amsterdam},
  pages =        {273-299},
  isbn =         {0 444 82092 2},
  signature =    {80 ST 245 B 422}
}

@InProceedings{BroadberyGomezDiazWatt:95,
  author =       {Broadbery, P.A. and G\'omez-D\'{\i}az, Teresa and Watt,
                  S.M.},
  title =        {On the Implementation of Dynamic Evaluation},
  editor =       {Levelt, A.H.M.},
  pages =        {77-89},
  booktitle =    {Proceedings of the International Symposium on
                  Symbolic and Algebraic Manipulation (ISSAC~95)},
  year =         1995,
  publisher =    {ACM Press},
  address =      {New York, N.Y.}
}

@InProceedings{Brown:98,
  author =       {Brown, Christopher W.},
  title =        {Simplification of Truth-Invariant Cylindrical
                  Algebraic Decompositions},
  booktitle =    {Proceedings of the 1998 International Symposium on
                  Symbolic and Algebraic Computation (ISSAC~98)},
  year =         1998,
  editor =       {Gloor, Oliver},
  organization = {ACM},
  publisher =    {ACM Press, New York},
  address =      {Rostock, Germany},
  month =        {Aug},
  pages =        {295-301}
}

@Book{Brucker:95,
  author =       {Brucker, Peter},
  title =        {Scheduling Algorithms},
  publisher =    {Springer},
  year =         1995,
  address =      {Berlin, Heidelberg},
  isbn =         {3-540-60087-6},
  signature =    {806 SK 970 B888 S3}
}

@InProceedings{BubeckHillerKuechlinRosenstiel:95,
  author =       {Tilmann Bubeck and Martin Hiller and Wolfgang
                  K{\"u}chlin and Wolfgang Rosenstiel},
  title =        {Distributed Symbolic Computation with {DTS}},
  booktitle =    {Parallel Algorithms for Irregularly Structured
                  Problems, 2nd International Workshop, IRREGULAR'95},
  year =         1995,
  editor =       {Afonso Ferreira and Jos{\'e} Rolim},
  volume =       980,
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag, Berlin, Heidelberg, New York},
  address =      {Lyon, France, September 1995},
  pages =        {231--248},
  isbn =         {3-540-60321-2},
  signature =    {80/SS 4800-980}
}

@PhdThesis{Buchberger:65,
  author =       {Buchberger, Bruno},
  title =        {{E}in {A}lgorithmus zum {A}u{f}{f}inden der {B}asiselemente
                  des {R}est\-klassen\-ringes nach einem nulldimensionalen
                  {P}olynomideal},
  school =       {Mathematical Institute, University of Innsbruck},
  year =         1965,
  address =      {Innsbruck, Austria},
  type =         {Doctoral Dissertation}
}

@PhdThesis{Buchberger:65a,
  author =       {Buchberger, Bruno},
  title =        {{E}in {A}lgorithmus zum {A}u{f}{f}inden der {B}asiselemente
                  des {R}estklassenringes nach einem nulldimensionalen
                  {P}olynomideal},
  school =       {Mathematisches Institut, Universit\"at Innsbruck},
  year =         1965,
  address =      {Innsbruck, Austria},
  type =         {Doctoral Dissertation}
}

@InProceedings{Buchberger:87,
  author =       {Buchberger, Bruno},
  title =        {Applications of {G}r\"obner bases in non-linear
                  computational geometry},
  editor =       {Jan\ss{}en, Rainer},
  volume =       296,
  series =       {Lecture Notes in Computer Science},
  pages =        {52-80},
  booktitle =    {Trends in computer algebra, Proceedings},
  year =         1988,
  publisher =    {Springer},
  address =      {Berlin u.a.},
  signature =    {806/SS 4800-296},
  isbn =         {0-387-18928-9, 3-540-18928-9}
}


@InCollection{BuchbergerLoos:82,
  author =       {Buchberger, Bruno and Loos, R\"udiger},
  title =        {Algebraic Simplification},
  booktitle =    {Computer Algebra: Symbolic and Algebraic Manipulation},
  publisher =    {Springer-Verlag},
  year =         1982,
  editor =       {Buchberger, Bruno and Collins, George E. and Loos,
                  R\"udiger and Albrecht, Rudolf},
  pages =        {11-44},
  address =      {Wien, New York},
  edition =      {second}
}

@Misc{Budan:1807,
  author =       {Budan de Boislaurent, Ferdinand Fran\c{c}ois D\'esir\'e},
  title =        {Nouvelle m\'ethode pour la r\'esolution des
                  \'equations num\'eriques d'un degr\'e quelconque},
  year =         1807,
  note =         {2nd edition, Paris 1822.}
}

@MastersThesis{Burhenne:90,
  author =       {Burhenne, Klaus-Dieter},
  title =        {{I}mplementierung eines {A}lgorithmus zur
                  {Q}uan\-to\-ren\-e\-li\-mi\-na\-tion f\"ur lineare reelle
                  {P}robleme},
  school =       {Universit\"at Passau},
  address =      {D-94030 Passau, Germany},
  month =        dec,
  year =         1990,
  type =         {Diploma thesis}
}

@Book{CLO:92,
  author =       {Cox, David and Little, John and O'Shea, Donald},
  title =        {Ideals, Varieties and Algorithms},
  publisher =    {Springer-Verlag},
  year =         {1992},
  series =       {Undergraduate Texts in Mathematics},
  address =      {New York, Berlin, Heidelberg},
  isbn =         {0-387-97847-X, 3-540-97847-X}
}

@Book{CMM:67,
  author =       {Conway, Richard W. and Maxwell, William L. and
                  Miller, Louis W.},
  title =        {Theory of Scheduling},
  publisher =    {Addison-Wesley},
  year =         1967,
  address =      {Reading, Massacusetts},
  isbn =         {0-201-01189-1},
  signature =    {00 SK 970 C 767+2}
}

@Proceedings{CP97,
  title =        {Principles and Practice of Constraint Programming --
                  CP97},
  booktitle =    {Principles and Practice of Constraint Programming --
                  CP97},
  year =         1997,
  editor =       {Smolka, Gert},
  volume =       1330,
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer Verlag, Berlin, Heidelberg, New York},
  address =      {Linz, Austria},
  note =         {Proceedings of the third international conference CP97},
  isbn =         {3-540-63753-2},
  issn =         {0302-9743},
  signature =    {80 SS 4800-1330}
}

@Article{CPC:79,
  author =       {Coste, J. and Peyraud, J. and Coullet, P.},
  title =        {Asymptotic Behabviors in the Dynamics of Competing
                  Species},
  journal =      {SIAM Journal on Applied Mathematics},
  year =         1979,
  volume =       36,
  number =       3,
  month =        jun,
  pages =        {516-543}
}

@TechReport{CarraFerroGallo:87,
  author =       {Carr\'a-Ferro, Giuseppa and Gallo, Giovanni},
  title =        {A Procedure to Prove Geometrical Statements},
  institution =  {Dip.~Mathematica Univ.~Catania, Italy},
  year =         1987,
  type =         {Technical Report}
}

@InProceedings{Caseau:97,
  author =       {Caseau, Yves},
  title =        {Using Constraint Propagation for Complex Scheduling
                  Problems: Managing Size, Complex Resources and
                  Travel},
  booktitle =    {Principles and Practice of Constraint Programming --
                  CP97},
  year =         1997,
  editor =       {Smolka, Gert},
  volume =       1330,
  series =       {Lecture Notes in Computer Science},
  pages =        {163-166},
  publisher =    {Springer Verlag, Berlin, Heidelberg, New York},
  address =      {Linz, Austria},
  note =         {Proceedings of the third international conference CP97},
  isbn =         {3-540-63753-2},
  issn =         {0302-9743},
  signature =    {80 SS 4800-1330}
}

@InProceedings{CavinessFateman:76,
  author =       {Bob F. Caviness and Richard J. Fateman},
  title =        {Simplification of radical expressions},
  booktitle =    {Proceedings of the 1976 ACM Symposium on Symbolic and
                  Algebraic Computation},
  editor =       {Jenks, R. D.},
  year =         {1976},
  address =      {New York},
  pages =        {329-338}
}

@Proceedings{CavinessJohnson:98,
  title =        {Quantifier Elimination and Cylindrical Algebraic
                  Decomposition},
  year =         1993,
  editor =       {Caviness, Bob F. and Johnson, Jeremy R.},
  series =       {Texts and Monographs in Symbolic Computation},
  publisher =    {Springer, Wien, New York, 1998},
  address =      {Linz},
  isbn =         {3-211-82794-3},
  signature =    {806 SD 1993 L 762}
}

@PhdThesis{Chou:85,
  author =       {Chou, Shang-Ching},
  title =        {Proving and Discovering Geometric Theorems Using
                  Wu's Algorithm},
  school =       {University of Texas at Austin},
  year =         1985,
  address =      {Austin, TX},
  type =         {Ph.~D.~Thesis}
}

@Book{Chou:88,
  author =       {Chou, Shang-Ching},
  title =        {Mechanical Geometry Theorem Proving},
  publisher =    {D.~Reidel Publishing Company},
  year =         1988,
  series =       {Mathematics and its applications},
  address =      {Dordrecht, Boston, Lancaster, Tokyo},
  isbn =         {90-277-2650-7},
  signature =    {806 SK 380 C522}
}

@InProceedings{ChuaquiSuppes:90,
  author =       {R. Chuaqui and P. Suppes},
  title =        {An equational deductive system for the differential
                 and integral calculus},
  pages =        {25--49},
  editor =       {P. Marti-L{\"o}f and G. Mints},
  booktitle =    {Proceedings of the International Conference on
                 Computer Logic},
  month =        dec,
  series =       {Lecture Notes in Computer Science},
  volume =       417,
  publisher =    {Springer},
  address =      {Berlin},
  year =         {1990}
}

@Article{Cohen:69,
  author =       {Cohen, Paul J.},
  title =        {Decision Procedures for Real and $p$-adic fields},
  journal =      {Communications in Pure and Applied Logic},
  year =         1969,
  volume =       25,
  pages =        {213-231}
}

@TechReport{Collins:68,
  author =       {Collins, George E.},
  title =        {The {SAC-1} Polynomial System},
  institution =  {Computer Science Department, University of Wisconsin},
  year =         1968,
  type =         {Technical Report},
  number =       115,
  address =      {Madison, Wisconsin}
}

@Article{Collins:74,
  author =       {Collins, George E.},
  title =        {Quantifier Elimination for Real Closed Fields by
                  Cylindrical Algebraic Decomposition---Preliminary
                  Report},
  journal =      {ACM SIGSAM Bullitin},
  year =         1974,
  volume =       8,
  number =       3,
  month =        aug,
  pages =        {80-90},
  note =         {Proceedings of the EUROSAM '74}
}

@InProceedings{Collins:75,
  author =       {Collins, George E.},
  title =        {Quantifier Elimination for the Elementary Theory of
                  Real Closed Fields by Cylindrical Algebraic
                  Decomposition},
  editor =       {Brakhage, H.},
  volume =       33,
  series =       {Lecture Notes in Computer Science},
  pages =        {134-183},
  booktitle =    {Automata Theory and Formal Languages. 2nd GI Conference},
  year =         1975,
  organization = {Gesellschaft f\"ur Informatik},
  publisher =    {Springer-Verlag, Berlin, Heidelberg, New York}
}

@InCollection{Collins:85,
  author =       {Collins, George E.},
  title =        {The {SAC-2} Computer Algebra System},
  booktitle =    {{EUROCAL} '85; Proceedings of the European
                  Conference on Computer Algebra},
  year =         1985,
  editor =       {Caviness, Bob F.},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer},
  address =      {Berlin, Heidelberg, New York, Tokyo},
  volume =       104,
  month =        apr,
  pages =        {34-35},
  isbn =         {3-540-15984-3},
  signature =    {806 SS 48000-204}
}

@Article{CollinsHong:91,
  author =       {Collins, George E. and Hong, Hoon},
  title =        {Partial Cylindrical Algebraic Decomposition
                  for Quantifier Elimination},
  journal =      {Journal of Symbolic Computation},
  year =         {1991},
  volume =       {12},
  number =       {3},
  pages =        {299-328},
  month =        sep
}

@Article{CollinsLoos:82,
  author =       {Collins, George E. and Loos, R\"udiger},
  title =        {{ALDES/SAC-2} now Available},
  journal =      {ACM SIGSAM Bulletin},
  year =         1982,
  issn =         {0163-5824}
}

@Article{Colmerauer:90,
  author =       {Colmerauer, Alain},
  title =        {Prolog {III}},
  journal =      {Communications of the ACM},
  year =         1990,
  volume =       33,
  number =       7,
  pages =        {70-90},
  month =        jul
}

@InCollection{ContiTraverso:95,
  author =       {Conti, Pasqualina and Traverso, Carlo},
  title =        {A Case of Automatic Theorem Proving in {E}uclidean
                  Geometry: the {M}ac{L}ane $8_3$ Theorem},
  booktitle =    {AAECC-11},
  editor =       {Cohen, G\'erard and Giusti, Marc and Mora, Teo},
  volume =       948,
  series =       {Lecture Notes in Computer Science},
  year =         1995,
  publisher =    {Springer},
  address =      {Berlin, Heidelberg},
  pages =        {183-193}
}

@InProceedings{Cooper:72,
  author =       "D. C. Cooper",
  title =        "Theorem Proving in Arithmetic without Multiplication",
  editors =      "B. Meltzer and D. Michie",
  booktitle =    "Machine Intelligence",
  address =      "New York",
  volume =       "7",
  pages =        "91--99",
  publisher =    "American Elsevier",
  year =         "1972",
}


@Article{CorlessJeffrey:92,
  author =       {Corless, Robert M. and Jeffrey, David J.},
  title =        {Well \dots{} It Isn't Quite That Simple},
  journal =      {ACM SIGSAM Bulletin},
  year =         1992,
  volume =       26,
  number =       3,
  pages =        {2-6},
  month =        Aug,
  issn =         {0163-5824}
}

@Manual{Cray:94,
  title =        {{C}ray {R}esearch {K}onzepte f\"ur massiv-parallele
                  {P}rozessorsysteme},
  organization = {{Cray Research GmbH}},
  address =      {Riesstra\"se 25, 80992 M\"unchen},
  year =         1994,
  month =        Aug
}

@TechReport{DGS:98,
  author =       {Dolzmann, Andreas and Gloor, Oliver and Sturm, Thomas},
  title =        {Approaches to Parallel Quantifier Elimination},
  institution =  {FMI, Universit\"at Passau},
  year =         1998,
  type =         {Technical Report},
  number =       {MIP-9803},
  address =      {D-94030 Passau, Germany},
  month =        feb,
  note =         {To appear in the proceedings of the ISSAC 98}
}

@InProceedings{DGS:98a,
  author =       {Dolzmann, Andreas and Gloor, Oliver and Sturm, Thomas},
  title =        {Approaches to Parallel Quantifier Elimination},
  booktitle =    {Proceedings of the 1998 International Symposium on
                  Symbolic and Algebraic Computation (ISSAC~98)},
  year =         1998,
  editor =       {Gloor, Oliver},
  organization = {ACM},
  publisher =    {ACM Press, New York, 1998},
  address =      {Rostock, Germany},
  month =        aug,
  pages =        {88-95}
}

@TechReport{DSW:96,
  author =       {Dolzmann, Andreas and Sturm, Thomas and
                  Weispfenning, Volker},
  title =        {A New Approach for Automatic Theorem Proving in Real
                  Geometry},
  institution =  {FMI, Universit\"at Passau},
  year =         1996,
  type =         {Technical Report},
  number =       {MIP-9611},
  address =      {D-94030 Passau, Germany},
  month =        May,
  note =         {To appear in the Journal of Automated Reasoning}
}

@TechReport{DSW:97,
  author =       {Dolzmann, Andreas and Sturm, Thomas and
                  Weispfenning, Volker},
  title =        {Real Quantifier Elimination in Practice},
  institution =  {FMI, Universit\"at Passau},
  year =         1997,
  type =         {Technical Report},
  number =       {MIP-9720},
  address =      {D-94030 Passau, Germany},
  month =        dec
}

@Article{DSW:98,
  author =       {Dolzmann, Andreas and Sturm, Thomas and
                  Weispfenning, Volker},
  title =        {A New Approach for Automatic Theorem Proving in Real
                  Geometry},
  journal =      {Journal of Automated Reasoning},
  year =         1998,
  volume =       21,
  number =       3,
  pages =        {357-380},
  issn  =        {0168-7433}
}


@InCollection{DSW:98a,
  author =       {Dolzmann, Andreas and Sturm, Thomas and Weispfenning,
Volker},
  title =        {Real Quantifier Elimination in Practice},
  booktitle =    {Algorithmic Algebra and Number Theory},
  publisher =    {Springer},
  year =         1998,
  editor =       {Matzat, B. H. and Greuel, G.-M. and Hiss, G.},
  address =      {Berlin},
  pages =        {221-247},
  isbn =         {3-540-64670-1}
}

@Article{DYA:96,
  author =       {Dorato, P. and Yang, Wei and Abdallah, C.},
  title =        {Application of Quantifier Elimination to Robust
                  Multi-objective Feedback Design},
  journal =      {Journal of Symbolic Computation},
  year =         1996,
  note =         {To appear}
}

@Article{DYA:97,
  author =       {Dorato, Peter and Yang, Wei and Abdallah, Chaouki},
  title =        {Robust Multi-objective Feedback Design by Quantifier
                  Elimination},
  journal =      {Journal of Symbolic Computation},
  year =         1997,
  volume =       24,
  number =       2,
  month =        aug,
  pages =        {153-159},
  note =         {Special issue on applications of quantifier elimination}
}

@Article{Dahn:83,
  author =       {Dahn, Bernd Ingo},
  title =        {On the theory of exponential fields},
  journal =      {Zeitschrift f\"ur mathematische Logik und Grundlagen
                  der Mathematik},
  year =         1983,
  volume =       {29},
  number =       {5},
  signature =    {80 SA 6795-30},
  pages =        {465-480}
}

@Article{Dahn:84a,
  author =       {Dahn, Bernd Ingo},
  title =        {The limit behavior of exponential terms},
  signature =    {80 SA 4980-124},
  journal =      {Fundamenta Mathematicae},
  year =         1984,
  volume =       {124},
  pages =        {196-186}
}

@Article{Dahn:84b,
  author =       {Dahn, Bernd Ingo and Wolter, Helmut},
  title =        {Ordered fields with several exponential functions},
  signature =    {80 SA 6795-30},
  journal =      {Zeitschrift f\"ur mathematische Logik und Grundlagen
                  der Mathematik},
  year =         1984,
  volume =       {30},
  pages =        {341-348},
}

@InCollection{Dantzig:51,
  author =       {Dantzig, George B.},
  title =        {Maximization of a Linear Function of Variables Subject
                 to Linear Inequalities},
  editor =       {Koopmans, T. C.},
  booktitle =    {Activity Analysis of Production and Allocation},
  pages =        {339--347},
  publisher =    {John Wiley \& Sons},
  address =      {New York},
  year =         1951
}

@Article{Davenport:88,
  author =       {Davenport, James H. and Heintz, Joos},
  title =        {Real Quantifier Elimination is Doubly Exponential},
  journal =      {Journal of Symbolic Computation},
  year =         1988,
  month =        feb # "--" # apr,
  volume =       5,
  number =       1 # "--" # 2,
  pages =        {29-35}
}

@Article{DavenportFaure:94,
  author  = {Davenport, James H. and Faure, Christ\`ele},
  title   = {The ``Unknown'' in Computer Algebra},
  journal = {Programmirovanie},
  number  = {1},
  volume  = {1},
  year    = {1994}
}

@InCollection{Descartes:1637,
  author =       {Descartes, Ren\'e},
  title =        {La G\'eometrie---Livre {III}},
  booktitle =    {Discours de la M\'ethode \& Essais},
  publisher =    {Librairie Philosophique J.~Vrin},
  year =         1973,
  editor =       {Adam, Charles and Tannery, Paul},
  volume =       6,
  series =       {\OE{}uvres des Descartes},
  pages =        {442-485},
  address =      {Paris},
  edition =      {new},
  signature =    {70/CF 3000.974-6},
  ISBN =         {2-7116-0190-0}
}

@InCollection{Descartes:1637a,
  author =       {Descartes, Ren\'e},
  title =        {La G\'eometrie},
  booktitle =    {Discours de la M\'ethode \& Essais},
  publisher =    {Librairie Philosophique J.~Vrin},
  year =         1973,
  editor =       {Adam, Charles and Tannery, Paul},
  volume =       6,
  series =       {\OE{}uvres des Descartes},
  pages =        {367-485},
  address =      {Paris},
  edition =      {new},
  signature =    {70/CF 3000.974-6},
  ISBN =         {2-7116-0190-0}
}

@Unpublished{Dolzmann:94a,
  author =       {Dolzmann, Andreas},
  title =        {Simplification of {B}oolean Combinations of Polynomial
                  Equations},
  note =         {Talk during the workshop ``{G}r\"obner bases and related
                  topics in {D}agstuhl, {G}ermany''},
  year =         {1994},
  month =        jan
}

@Unpublished{Dolzmann:94b,
  author =       {Dolzmann, Andreas},
  title =        {{V}ereinfachung boolescher {K}ombinationen
                  polynomialer {G}leichungen},
  note =         {Enclosure of a {DFG} application},
  year =         {1994},
  month =        apr
}

@MastersThesis{Dolzmann:94c,
  author =       {Dolzmann, Andreas},
  title =        {{R}eelle {Q}uantorenelimination durch parametrisches
                  {Z}\"ahlen von {N}ullstellen},
  school =       {Universit\"at Passau},
  year =         1994,
  address =      {D-94030 Passau, Germany},
  month =        nov,
  type =         {Diploma thesis}
}

@Unpublished{Dolzmann:98,
  author =       {Dolzmann, Andreas},
  title =        {Solving Scheduling Problems with {REDLOG}},
  note =         {Extended abstract at the Rhine Workshop on Computer
                  Algebra},
  year =         1998,
  month =        apr
}

@TechReport{Dolzmann:99,
  author =       {Dolzmann, Andreas},
  title =        {Solving Geometric Problems with Real Quantifier Elimination},
  institution =  {FMI, Universit\"at Passau},
  year =         1999,
  type =         {Technical Report},
  number =       {MIP-9903},
  address =      {D-94030 Passau, Germany},
  month =        Jan
}

@TechReport{DolzmannSturm:95,
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  title =        {Simplification of Quan\-ti\-fier-free Formulas over
                  Ordered Fields},
  institution =  {FMI, Universit\"at Passau},
  year =         1995,
  type =         {Technical Report},
  number =       {MIP-9517},
  address =      {D-94030 Passau, Germany},
  month =        oct,
  note =         {To appear in the Journal of Symbolic Computation}
}

@Manual{DolzmannSturm:95a,
  title =        {Redlog User Manual},
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  organization = {FMI, Universit\"at Passau},
  address =      {D-94030 Passau, Germany},
  year =         1996,
  month =        Oct,
  note =         {Edition 1.0 for Version 1.0}
}

@TechReport{DolzmannSturm:96,
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  title =        {Redlog---Computer Algebra Meets Computer Logic},
  institution =  {FMI, Universit\"at Passau},
  year =         1996,
  type =         {Technical Report},
  number =       {MIP-9603},
  address =      {D-94030 Passau, Germany},
  month =        Feb
}

@TechReport{DolzmannSturm:96a,
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  title =        {Redlog User Manual},
  institution =  {FMI, Universit\"at Passau},
  year =         1996,
  type =         {Technical Report},
  number =       {MIP-9616},
  address =      {D-94030 Passau, Germany},
  month =        Oct,
  note =         {Edition 1.0 for Version 1.0}
}

@TechReport{DolzmannSturm:97,
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  title =        {Guarded Expressions in Practice},
  institution =  {FMI, Universit\"at Passau},
  year =         1997,
  type =         {Technical Report},
  number =       {MIP-9702},
  address =      {D-94030 Passau, Germany},
  month =        Jan,
  note =         {To appear in the proceedings of the ISSAC '97}
}

@Article{DolzmannSturm:97a,
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  title =        {Redlog: Computer Algebra Meets Computer Logic},
  journal =      {ACM SIGSAM Bulletin},
  year =         1997,
  volume =       31,
  number =       2,
  month =        Jun,
  pages =        {2-9},
  issn =         {0163-5824}
}

@InProceedings{DolzmannSturm:97b,
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  title =        {Guarded Expressions in Practice},
  booktitle =    {Proceedings of the 1997 International Symposium on
                  Symbolic and Algebraic Computation (ISSAC~97)},
  editor =       {Wolfgang W.~K\"uchlin},
  year =         1997,
  organization = {ACM},
  publisher =    {ACM Press, New York, 1997},
  address =      {Maui, HI},
  month =        Jul,
  pages =        {376-383}
}

@Article{DolzmannSturm:97c,
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  title =        {Simplification of Quantifier-free Formulae over
                  Ordered Fields},
  journal =      {Journal of Symbolic Computation},
  year =         1997,
  volume =       24,
  number =       2,
  month =        aug,
  pages =        {209-231}
}

@TechReport{DolzmannSturm:99,
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  title =        {P-adic Constraint solving},
  institution =  {FMI, Universit\"at Passau},
  year =         1999,
  type =         {Technical Report},
  number =       {MIP-9901},
  address =      {D-94030 Passau, Germany},
  month =        Jan,
  note =         {To appear in the proceedings of the {ISSAC 99}}
}

@TechReport{DolzmannSturm:99a,
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  title =        {Redlog User Manual},
  institution =  {FMI, Universit\"at Passau},
  year =         1999,
  type =         {Technical Report},
  number =       {MIP-9905},
  address =      {D-94030 Passau, Germany},
  month =        apr,
  note =         {Edition 2.0 for Version 2.0}
}

@InCollection{DolzmannSturm:99b,
  author =       {Dolzmann, Andreas and Sturm, Thomas},
  title =        {P-adic Constraint Solving},
  booktitle =    {Proceedings of the 1999 International Symposium on
                  Symbolic and Algebraic Computation (ISSAC 99),
                  Vancouver, BC},
  publisher =    {ACM Press},
  year =         1999,
  editor =       {Dooley, Sam},
  address =      {New York, NY},
  month =        jul,
  pages =        {151-158}
}

@TechReport{Dubhashi:92,
  author =       {Dubhashi, Devdatt P.},
  title =        {Algorithmic Investigations in $p$-adic Fields},
  institution =  {Department of Computer Science, Cornell University},
  year =         1992,
  type =         {Technical Report},
  number =       {92-1301},
  address =      {Ithaca, New York},
  month =        sep,
  note =         {Ph.D Thesis}
}

@InProceedings{DuvalGonzalesVega:93,
  author =       {Duval, Dominique and Gonz\'ales-Vega, L.},
  title =        {Dynamic Evaluation and Real Closure},
  booktitle =    {Proceedings of the IMACS Symposium on Symbolic Computation},
  year =         1993
}

@Article{DuvalReynaud:94,
  author =       {Duval, Dominique and Reynaud, Jean-Claude},
  title =        {Sketches and Computation {I}: Basic Definitions and
                  Static Evaluation},
  journal =      {Mathematical Structures in Computer Science},
  year =         1994,
  volume =       4,
  number =       2,
  pages =        {185-238}
}
@Article{DuvalReynaud:94a,
  author =       {Duval, Dominique and Reynaud, Jean-Claude},
  title =        {Sketches and Computation {II}: Dynamic Evaluation and
                  Applications},
  journal =      {Mathematical Structures in Computer Science},
  year =         1994,
  volume =       4,
  number =       2,
  pages =        {239-271}
}

@Book{EPS:87,
  author =       {Eiselt, Horst A. and Pederzoli, Giorgio and
                  Sandblom, Carl-Louis},
  title =        {Continuous Optimization Models},
  publisher =    {De Gruyter},
  year =         1987,
  address =      {Berlin},
  isbn =         {3-11-008312-4},
  signature =    {80/SK 870 E36}
}

@Article{Ehrenfeucht:73,
  author =       {Ehrenfeucht, A.},
  title =        {Polynomial functions with exponentation are well
                  ordered},
  journal =      {Algebra universalis},
  signature =    {80 SA 2080-3/4},
  volume =       {3},
  pages =        {261-261},
  year =         1973
}

@Book{Eisenbud:95,
  author =       {Eisenbud, David},
  title =        {Commutative Algebra with a View Toward Algebraic Geometry},
  publisher =    {Springer},
  year =         1995,
  series =       {Graduate Texts in Mathematics},
  address =      {New York},
  isbn =         {3-540-94269},
  signature =    {SK 230 E36 C7}
}

@Book{Endler:72,
  author =       {Endler, Otto},
  title =        {Valuation Theory},
  publisher =    {Springer},
  year =         1972,
  series =       {Universitext},
  address =      {Berlin, Heidelberg}}

@Article{Ershov:65,
  author =       {Ershov, Juri L.},
  title =        {On Elementary Theories of Local Fields},
  journal =      {Algebra i Logika Sem.},
  year =         1965,
  volume =       4,
  number =       2,
  pages =        {5-30}}

@Book{FerranteRackoff:79,
  author =       {Ferrante, Jeanne and Rackoff, Charles W.},
  title =        {The Computational Complexity of Logical Theories},
  publisher =    {Springer-Verlag},
  year =         1979,
  number =       718,
  series =       {Lecture Notes in Mathematics},
  address =      {Berlin}
}

@Book{Fourier:1831,
  author =       {Fourier, Jean Baptiste Joseph},
  title =        {Analyse des \'equations d\'etermin\'ees},
  publisher =    {F.~Didot},
  year =         1831,
  address =      {Paris}
}

@Article{GLMM:87,
  author =       {Gardini, L. and Lupini, R. and Mammana, C. and
                  Messia, M. G.},
  title =        {Bifurcations and Transitions to Chaos in the
                  Three-Dimensional {L}otka--{V}olterra Map},
  journal =      {SIAM Journal on Applied Mathematics},
  year =         1987,
  volume =       47,
  number =       3,
  month =        jun,
  pages =        {455-482}
}

@Article{Gabrielov:68,
  author =       {Gabri\'elov, A.},
  title =        {Projections of semi-analytic sets},
  signature =    {80 SA 4940-2},
  journal =      {Functional analysis and its applications},
  year =         1968,
  volume =       {2},
  pages =        {282-291}
}

@Unpublished{Gabrielov:95a,
  author =       {Gabrielov, Andrei},
  title =        {On Complements of Subanalytic Sets and Existential
                  Formulas for Analytic Functions},
  note =         {Preprint},
  month =        jun,
  year =         1995
}

@Unpublished{Gabrielov:95b,
  author =       {Gabrielov, Andrei},
  title =        {Counter-examples to quantifier Elimination from
                  fewnomial and exponential expressions},
  note =         {Preprint},
  month =        jul,
  year =         1995
}

@Article{GaoChou:98,
  author =       {Gao, Xiao-Shan and Chou, Shang-Ching},
  title =        {Solving Geometric Constraint Systems. {I}. A Global
                  Propagation Approach},
  journal =      {Computer-Aided Design},
  year =         1998,
  volume =       30,
  number =       1,
  month =        jan,
  pages =        {47-54}
}

@Article{GaoChou:98a,
  author =       {Gao, Xiao-Shan and Chou, Shang-Ching},
  title =        {Solving Geometric Constraint Systems. {II}. A
                  symbolic approach and decision of
                  Rc-constructibility},
  journal =      {Computer-Aided Design},
  year =         1998,
  volume =       30,
  number =       2,
  month =        feb,
  pages =        {115-122}
}

@InProceedings{GomezDiaz:93,
  author =       {G\'omez-D\'{\i}az, Teresa},
  title =        {Examples of using Dynamic Constructible Closure},
  booktitle =    {Proceedings of the IMACS Symposium on Symbolic Computation},
  year =         1993
}

@InProceedings{Gonzales:93,
  author =       {Gonz\'alez-Vega, Laureano},
  title =        {A combinatorical algorithm solving some quantifier
                  elimination problems},
  booktitle =    {Proc. of the Collins Symposium},
  year =         {1993},
  address =      {Linz, Austria},
  month =        oct,
  note =         {To appear}
}

@Article{Gonzales:96,
  author =       {Gonz\'alez-Vega, Laureano},
  title =        {Applying Quantifier Elimination to the {B}irkhoff
                  Interpolation Problem},
  journal =      {Journal of Symbolic Computation},
  year =         1996,
  note =         {To appear}
}

@TechReport{Gonzalez:93,
  author =       {Gonz\'alez-Vega, Laureano},
  title =        {A Combinatorial Algorithm Solving some Quantifier
                  Elimination Problems},
  institution =  {University of Cantabria},
  year =         1993,
  type =         {Technical Report},
  number =       {11-1993},
  address =      {Departemento de Mathematicas, Estadistica y
                  Computaci\'on, Facultad de Ciencias, Avenida de Los
                  Castros, 39071 Santander, Spain},
  month =        nov
}

@Article{GregoryKaltofen:88,
  author =       {Gregory, Brent and Kaltofen, Erich},
  title =        {Analysis of the Binary Complexity of Asymptotically
                  Fast Algorithms for Linear System Solving},
  journal =      {ACM SIGSAM Bulletin},
  year =         1998,
  volume =       22,
  number =       2,
  month =        apr,
  pages =        {41-49},
  issn =         {0163-5824}
}

@Unpublished{HLS:96,
  author =       {Hong, Hoon and Liska, Richard and Steinberg, Stanly},
  title =        {Testing Stability by Quantifier Elimination},
  note =         {To appear in the Journal of Symbolic Computation},
  year =         1996
}

@Article{HLS:97,
  author =       {Hong, Hoon and Liska, Richard and Steinberg, Stanly},
  title =        {Testing Stability by Quantifier Elimination},
  journal =      {Journal of Symbolic Computation},
  year =         1997,
  volume =       24,
  number =       2,
  month =        aug,
  pages =        {161-187},
  note =         {Special issue on applications of quantifier elimination}
}

@Article{HNS:95,
  author =       {Hoon Hong and Andreas Neubacher and Wolfgang
                 Schreiner},
  title =        {The Design of the {SACLIB\slash PACLIB} Kernels},
  journal =      {Journal of Symbolic Computation},
  volume =       19,
  number =       1 # "--" # 3,
  pages =        {111--132},
  month =        jan # "--" # mar,
  year =         1995,
  coden =        {JSYCEH},
  ISSN =         {0747-7171},
  mrclass =      {68Q40},
  mrnumber =     {1 339 113},
  bibdate =      {Sat May 10 15:54:09 MDT 1997},
  acknowledgement = ack-nhfb,
  classcodes =   {C7310 (Mathematics computing); C6110B (Software
                 engineering techniques); C6150N (Distributed systems
                 software); C6120 (File organisation)},
  corpsource =   {Res. Inst. for Symbolic Comput., Johannes Kepler
                 Univ., Linz, Austria},
  keywords =     {C; computer algebra; embeddability; garbage
                 collection; kernels; libraries; library; light-;
                 manipulation; mathematics computing; nondeterminism;
                 PACLIB; parallel; parallel programming; runtime
                 systems; SAC-2; SACLIB; software; software packages;
                 storage management; symbol; virtual tasks; weight
                 concurrency},
  treatment =    {P Practical}
}

@Book{Halmos:63,
  author =       {Halmos, Paul R.},
  title =        {Lectures on Boolean Algebras},
  publisher =    {D. van Nostrand Company, Inc.},
  year =         1963,
  editor =       {Halmos, Paul R. and Gehring, Frederick W.},
  volume =       1,
  series =       {Van Nostrand Mathematical Studies},
  address =      {Princeton, New Jersey}
}


@Article{Hearn:66,
  author =       {Hearn, Anthony C.},
  title =        {Computation of Algebraic Properties od Elementary
                  Particle Reactions Using a Digital Computer},
  journal =      {Communications of the ACM},
  year =         1966,
  volume =       9,
  pages =        {573-577}
}

@Article{Hearn:67,
  author =       {Hearn, Anthony C.},
  title =        {Reduce---A User-Oriented System for Algebraic
Simplification},
  journal =      {ACM SIGSAM Bulletin},
  year =         1967,
  volume =       1,
  number =       6,
  month =        may,
  pages =        {50-51}
}

@Manual{Hearn:93,
  author =       {Hearn, Anthony C.},
  title =        {Reduce User's Manual for Version 3.5},
  organization = {RAND},
  year =         1993,
  month =        oct,
  address =      {Santa Monica, CA 90407-2138}
}

@Manual{HearnFitch:95,
  author =       {Hearn, Anthony C. and Fitch, John P.},
  title =        {Reduce User's Manual for Version~3.6},
  organization =         {RAND},
  year =         1995,
  month =        jul,
  address =      {Santa Monica, CA 90407-2138},
  note =         {RAND Publication CP78}
}

@TechReport{Hennig:91,
  author =       {Hennig, Eckhard},
  title =        {{R}echnergest\"utzte {D}imensionierung analoger
                  {S}chaltungen auf der {B}asis symbolischer
                  {A}nalyseverfahren},
  institution =  {Zentrum f\"ur Mikroelektronik},
  year =         1995,
  address =      {Universit\"at Kaiserslautern},
  month =        dec,
  note =         {Annual report on a research project}
}

@Misc{HennigHalfmann:98,
  author =       {Hennig, Eckhard and Halfmann, Thomas},
  title =        {Analog Insydes Tutorial},
  howpublished = {ITWM, Kaiserslautern, Germany},
  year =         1998
}

@InProceedings{HennigSommer:95,
  author =       {Hennig, Eckhard and Sommer, Ralf},
  title =        {Application of Computer Algebra Methods to Analog
                  Circuit Sizing},
  booktitle =    {Proceedings of the 12th European Conference on
                  Circuit Theory and Design (ECCTD),
                  Istanbul, Turkey},
  year =         1995,
  organization = {EURASIP}
}

@Unpublished{Henson:81,
  author =       {Henson, Ward C. and Rubel, Lee A.},
  title =        {Solution of {T}arski's  ``{H}igh {S}chool {A}lgebra
                  {P}roblem'' for a restricted class of exponential
                  polynomials, I(one variable)},
  year =         1981
}

@InCollection{Hermite:1853,
  author =       {Hermite, Charles},
  title =        {Remarques sur le th\'eor\`eme de {M}.~{S}turm},
  booktitle =    {\OE{}uvres des Charles Hermite},
  publisher =    {Gauthier-Villars},
  year =         1905,
  editor =       {Picard, Emile},
  volume =       1,
  address =      {Paris},
  pages =        {284-287}
}

@Book{Hilbert:87,
  author =       {Hilbert, David},
  title =        {{G}rundlagen der {G}eometrie},
  publisher =    {Teubner},
  year =         1987,
  series =       {Teubner Studienb\"ucher Mathematik},
  address =      {Stuttgart, Germany},
  edition =      {13th},
  annote =       {1st edition published 1899}
}

@Book{Hirschfeld:75,
  author =       {Hirschfeld, Joram and Wheeler, William H.},
  title =        {Forcing, arithmetic, division rings},
  publisher =    {Springer},
  year =         1975,
  address =      {Berlin u.\,a.},
  signature =    {80 SI 850-454},
  isbn =         {3-540-07157-1, 0-387-07157-1},
  key =          {Modelltheorie / Forcing, Schiefkörper},
  volume =       {454},
  series =       {Lecture Notes in Mathematics}
}

@Book{Hoffmann:89,
  author =       {Hoffmann, Christoph M.},
  title =        {Geometric and Solid Modeling},
  publisher =    {Morgan Kaufmann},
  year =         1989,
  editor =       {Bruce Spatz},
  series =       {Computer Graphics and Geometric Modeling},
  address =      {San Mateo, California},
  isbn =         {1-55860-067-1},
  signature =    {80 ST 300 H 711}
}

@InProceedings{Hoffmann:90,
  author =       {Hoffmann, Christoph M.},
  title =        {Algebraic and Numerical Techniques for Offsets and Blends},
  booktitle =    {Computation of Curves and Surfaces},
  editor =       {Dahmen, Wolfgang and Gasca, Mariano and Micchelli,
                  Charles A.},
  year =         1990,
  publisher =    {Kluwer Academic Publishers, Dordrecht, Boston, London},
  pages =        {499-528}
}

@InCollection{Hoffmann:95,
  author =       {Hoffmann, Christoph},
  title =        {Geometric Constraint Solving in $R^2$ and $R^3$},
  booktitle =    {Computing in Euclidean Geometry},
  publisher =    {World Scientfic},
  year =         1995,
  editor =       {Du, D.Z. and Huang, F.},
  pages =        {266-298}
}

@InCollection{Hoffmann:96,
  author =       {Hoffmann, Christoph M.},
  title =        {How Solid is Solid Modeling},
  booktitle =    {Applied Computational Geometry},
  year =         1996,
  editor =       {Lin, Ming C. and Manocha, Dinesh},
  volume =       1148,
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer},
  address =      {Berlin, Heidelberg},
  pages =        {1-8},
  isbn =         {3-540-61785-X},
  signature =    {80 SS 4800-1148}
}

@Article{HoffmannHopcroft:86,
  author =       {Hoffmann, Chistoph and Hopcroft, John},
  title =        {Quadratic Blending Surfaces},
  journal =      {Computer-Aided design},
  year =         1986,
  volume =       18,
  number =       6,
  month =        {July and August},
  pages =        {301-306}
}

@Book{HollemanWiberg:85,
  author =       {Holleman, Arnold F. and Wiberg, Nils},
  title =        {{L}ehrbuch der anorganischen {C}hemie},
  publisher =    {De Gruyter},
  year =         1985,
  address =      {Berlin, New York},
  edition =      {91st--100th}
}

@InProceedings{Hong:90,
  author =       {Hong, Hoon},
  title =        {An Improvement of the Projection Operator in
                  Cylindrical Algebraic Decomposition},
  booktitle =    {Proceedings of the International Symposium on
                  Symbolic and Algebraic Computation (ISSAC~90)},
  editor =       {Watanabe, Shunro and Nagata, Morio},
  year =         1990,
  organization = {ACM},
  publisher =    {ACM Press, New York, 1990},
  address =      {Tokyo, Japan},
  month =        aug,
  pages =        {261-264}
}

@PhdThesis{Hong:90a,
  author =       {Hong, Hoon},
  title =        {Improvements in CAD-based Quantifier Elimination},
  school =       {The Ohio State University},
  year =         1990,
  type =         {{Ph.D.} Thesis}
}

@InProceedings{Hong:92,
  author =       {Hong, Hoon},
  title =        {Simple Solution Formula Construction in Cylindrical
                  Algebraic Decomposition based Quantifier Elimination},
  editor =       {Wang, Paul S.},
  pages =        {177-188},
  booktitle =    {Proceedings of the International Symposium on
                  Symbolic and Algebraic Computation (ISSAC~92)},
  year =         1992,
  organization = {ACM},
  publisher =    {ACM Press, New York, 1992},
  address =      {Berkeley, CA},
  month =        jul
}

@Misc{Hong:93,
  author =       {Hong, Hoon and Collins, George E. and Johnson,
                  Jeremy R. and Encarnacion, Mark J.},
  title =        {{QEPCAD} Interactive Version 12},
  howpublished = {Kindly provided to us by Hoon Hong},
  year =         1993,
  month =        Sep
}

@InProceedings{Hong:93a,
  author =       {Hong, Hoon},
  title =        {Quantifier Elimination for Formulas Constrained by
                  Quadratic Equations},
  booktitle =    {Proceedings of the International Symposium on
                  Symbolic and Algebraic Computation (ISSAC~93)},
  editor =       {Manuel Bronstein},
  year =         1993,
  organization = {ACM},
  publisher =    {ACM Press, New York, 1993},
  address =      {Kiev, Ukraine},
  month =        jul,
  pages =        {264-274}
}

@Article{Hong:93b,
  author =       {Hong, Hoon},
  title =        {Quantifier Elimination for Formulas Constrained by
                  Quadratic Equations via slope resultants},
  journal =      {THE Computer Journal},
  year =         1993,
  volume =       36,
  number =       5,
  pages =        {440-449},
  note =         {Special issue on computational quantifier elimination}
}

@InProceedings{Hong:93c,
  author =       {Hong, Hoon},
  title =        {Parallelization of Quantifier Elimination on a
                  Workstation Network},
  booktitle =    {Applied Algebra, Algebraic Algorithms and
                  Error-Correcting Codes. Proceedings of the 10th
                  International Symposium, AAECC-10},
  editor =       {Cohen, G\'erard and Mora, Teo and Moreno, Oscar},
  volume =       673,
  series =       {Lecture Notes in Computer Science},
  year =         1993,
  publisher =    {Springer-Verlag, Berlin, Heidelberg, New York},
  address =      {San Juan de Puerto Rico, Puerto Rico},
  month =        may,
  pages =        {170-179}
}

@Unpublished{Hong:95,
  author =       {Hong, Hoon},
  title =        {Algorithmic Quantifier Elimination for
                  Elementary Real Algebra},
  note =         {Tutorial for {ISSAC-95}, Draft Version},
  year =         1995
}

@Article{Hovanskii:80,
  author =       {Hovanski\u{\i},A. G.},
  title =        {On a class of systems of transcendental equations},
  signature =    {80 SA 8060-22},
  OTjournal =    {Soviet Math. Dokl.},
  journal =      {Soviet mathematics},
  year =         1980,
  volume =       {22},
  pages =        {762-765}
}

@Unpublished{Ioakimidis:99,
  author =       {Ioakimidis, Nikolaos I.},
  title =        {Redlog-aided Derivation of Feasibility Conditions in
                  Applied Mechanics and Engineering Problems under
                  Simple Inequality Constraints},
  note =         {To appear in the Journal of Mechanical Engineering
                  (Strojn\'{\i}cky \v{C}asopis), 50},
  year =         1999
}

@Article{Ioakimidis:99a,
  author =       {Ioakimidis, Nikolaos I.},
  title =        {{REDLOG}-aided Derivation of Feasibility Conditions in
                  Applied Mechanics and Engineering Problems under
                  Simple Inequality Constraints},
  journal =      {Journal of Mechanical Engineering
                  (Strojn\'{\i}cky \v{C}asopis)},
  year =         1999,
  volume =       50,
  number =       1,
  pages =        {58-69}
}

@Article{Jirstrand:97,
  author =       {Jirstrand, Mats},
  title =        {Nonlinear Control System Design by Quantifier Elimination},
  journal =      {Journal of Symbolic Computation},
  year =         1997,
  volume =       24,
  number =       2,
  month =        aug,
  pages =        {137-152},
  note =         {Special issue on applications of quantifier elimination}
}

@Unpublished{KahouiWeber:99,
  author =       {Kahoui, M'hammed el and Weber, Andreas},
  title =        {Deciding Hopf Bifurcations by Quantifier Elimination
                  in a Software Component Architecture},
  note =         {To appear in the Journal of Symbolic Computation}
}

@MastersThesis{Kappert:95,
  author =       {Kappert, Michael},
  title =        {{E}liminationsverfahren zur linearen und
                  quadratischen {O}ptimierung},
  school =       {Universit\"at Passau},
  address =      {D-94030 Passau, Germany},
  year =         1995,
  month =        dec,
  type =         {Diploma thesis}
}

@Article{Kapur:86,
  author =       {Kapur, Deepak},
  title =        {Using {G}r\"obner Bases to Reason About
                  Geometry Problems},
  journal =      {Journal of Symbolic Computation},
  year =         1986,
  volume =       2,
  number =       4,
  pages =        {399-408},
  month =        dec,
  issn =         {0747-7171}
}

@Misc{Kapur:86a,
  author =       {Kapur, Deepak},
  title =        {A Refutational Approach to Geometry Theorem Proving},
  howpublished = {Presented at Workshop Geometric Reasoning,
                  Oxford, England, June 30--July 3 },
  year =         1986
}

@Article{KapurMundy:88,
  author =       {Kapur, Deepak and Mundy, Joseph L.},
  title =        {Geometric Reasoning and Artificial Intelligence:
                  Introduction to the Special Volume},
  journal =      {Artificial Intelligence},
  year =         1988,
  volume =       37,
  number =       {1-3},
  pages =        {1-11},
  month =        dec,
  note =         {Special volume on geometric reasoning}
}

@Article{KapurMundy:88a,
  author =       {Kapur, Deepak and Mundy, Joseph L.},
  title =        {Wu's Method and its Application to Perspective
                  Viewing},
  journal =      {Artificial Intelligence},
  year =         1988,
  volume =       37,
  number =       {1-3},
  month =        dec,
  pages =        {15-36},
  note =         {Special volume on geometric reasoning}
}

@Unpublished{Khovansky:??,
  author =       {Khovansky,A. G.},
  title =        {Polynomials and polyhedra},
  note =         {Weitere Angaben unbekannt. (siehe auch Hovanski\u{\i},A. G.)}
}

@Book{Knuth:68a,
  author =       {Knuth, Donald E.},
  title =        {Fundamental Algorithms},
  publisher =    {Addison-Wesley},
  year =         1968,
  volume =       1,
  series =       {The Art of Computer Programming},
  address =      {Reading, Massachusetts},
  edition =      {second}}

@Article{KovalyovShafransky:97,
  author =       {Kovalyov, Mikhail Y. and Shafransky, Yakov M.},
  title =        {Batch scheduling with deadlines on parallel
                  machines: An {NP}-hard case},
  journal =      {Information Processing Letters},
  year =         1997,
  volume =       64,
  number =       2,
  month =        oct,
  pages =        {69-74},
  issn =         {0020-0190},
  signature =    {80 SA 5400-64,2}
}

@Article{Kraemer:97,
  author =       {Kr\"amer, Andreas},
  title =        {Branch and bound methods for scheduling problems
                  with multiprocessor tasks on dedicated processors},
  journal =      {OR Spektrum},
  year =         1997,
  volume =       19,
  pages =        {219-227}
}

@TechReport{Kredel:93a,
  author =       {Kredel, Heinz},
  title =        {{MAS} Modula-2 Algebra System, Specifications,
                  Definition Modules, Indexes},
  institution =  {Universit\"at Passau},
  address =      {Passau},
  year =         1993,
  month =        feb,
  note =         {Available for anonymous ftp from alice.fmi.uni-passau.de}
}

@TechReport{Kredel:93b,
  author =       {Kredel, Heinz},
  title =        {{MAS} Modula-2 Algebra System, Interactive Usage},
  institution =  {Universit\"at Passau},
  address =      {Passau},
  year =         1993,
  month =        feb,
  note =         {Available for anonymous ftp from alice.fmi.uni-passau.de}
}

@InProceedings{Kuechlin:91,
  author =       {K{\"u}chlin, Wolfgang W.},
  title =        {{PARSAC-2}: A Parallel {SAC-2} Based on Threads},
  booktitle =    {Applied Algebra, Algebraic Algorithms, and
                  Error-Correcting Codes: 8th International
                  Conference, AAECC-8},
  year =         1991,
  editor =       {Sakata, Shojiro},
  volume =       508,
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag, Berlin, Heidelberg, New York},
  address =      {Tokyo, Japan, August 1990},
  pages =        {341-353},
  isbn =         {3-540-54195-0},
  signature =    {80 SS 4800-508}
}

@InProceedings{Kuechlin:92,
  author =       {K{\"u}chlin, Wolfgang W.},
  title =        {The {S}-threads Environment for Parallel Symbolic
                  Computation},
  booktitle =    {Computer Algebra and Parallelism, Second
                  International Workshop},
  editor =       {Zippel, Richard E.},
  year =         1992,
  volume =       584,
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag, Berlin, Heidelberg, New York},
  address =      {Ithaca, USA, May 1990},
  pages =        {1-18},
  isbn =         {3-540-55328-2},
  signature =    {80 SS 4800-584}
}

@InProceedings{Kuechlin:95,
  author =       {K{\"u}chlin, Wolfgang W.},
  title =        {{PARSAC-2}: Parallel Computer Algebra on the Desk-Top},
  booktitle =    {Computer Algebra in Science and Engineering},
  year =         1995,
  editor =       {Fleischer, J. and Grabmeier, J. and Hehl, F. and
                   K\"uchlin, W.},
  publisher =    {World Scientific, Singapore},
  address =      {Bielefeld, Germany, August 1994},
  pages =        {24-43},
  isbn =         {981-02-2319-6}
}

@PhdThesis{Kutzler:88,
  author =       {Kutzler, Bernhard A.},
  title =        {Algebraic Approaches to Automated Theorem Proving},
  school =       {Johannes Kepler Universit\"at Linz},
  year =         1988,
  note =         {RISC-Linz series no. 88-74.0}
}

@Article{KutzlerStifter:86,
  author =       {Kutzler, Bernhard A. and Stifter, Sabine},
  title =        {On the Application of {B}uchberger's Algorithm
                  to Automated Geometry Theorem Proving},
  journal =      {Journal of Symbolic Computation},
  year =         1986,
  volume =       2,
  number =       4,
  pages =        {389-397},
  month =        dec,
  issn =         {0747-7171}
}

@TechReport{LPY:98,
  author =       {Lafferriere, Gerardo and Pappas, George J. and
                  Yovine, Sergio},
  title =        {Decidable Hybrid Systems},
  type =         {Technical Report},
  institution =  {VERIMAG, University of Grenoble},
  address =      {Grenoble, France},
  year =         1998
}

@InCollection{LPY:99,
  author =       {Lafferriere, Gerardo and Pappas, George J. and
                  Yovine, Sergio},
  title =        {A New Class of Decidable Hybrid Systems},
  booktitle =    {Hybrid Systems and Control. Proceedings of the
                  Second International Workshop, HSCC'99, Berg en Dal,
                  The Netherlands, March 1999},
  publisher =    {Springer},
  year =         1999,
  editor =       {Vaandrager, Frits W. and van Schuppen, Jan H.},
  volume =       1569,
  series =       {Lecture Notes in Computer Science},
  address =      {Berlin, Germany},
  pages =        {137-151}
}

@Article{Lazard:88,
  author =       {Lazard, Daniel},
  title =        {Quantifier Elimination: Optimal Solution for Two
                  Classical Examples},
  journal =      {Journal of Symbolic Computation},
  year =         1988,
  month =        feb,
  volume =       5,
  number =       {1\&2},
  pages =        {261-266}
}

@MastersThesis{Lippold:93,
  author =       {Lippold, Frank},
  title =        {{I}mplementierung eines {V}erfahrens zum {Z}\"ahlen
                  reeller {N}ullstellen multivariater {P}olynome},
  school =       {Universit\"at Passau},
  address =      {D-94030 Passau, Germany},
  type =         {Diploma thesis},
  year =         1993,
  month =        sep
}

@Unpublished{LiskaSteinberg:95,
  author =       {Liska, Richard and Steinberg, Stanly},
  title =        {Using Quantifier Elimination to Test Stability},
  note =         {Preliminary draft},
  year =         1995
}

@Article{LoosWeispfenning:93,
  author =       {Loos, R\"udiger and Weispfenning, Volker},
  title =        {Applying Linear Quantifier Elimination},
  journal =      {The Computer Journal},
  year =         1993,
  volume =       36,
  number =       5,
  pages =        {450-462},
  note =         {Special issue on computational quantifier elimination}
}

@MastersThesis{Lutzeier:88,
  author =       {G\"unther Lutzeier},
  title =        {{N}euer {A}lgorithmus zum m-{M}aschinen {S}cheduling
                  {P}roblem},
  school =       {Universit\"at Passau},
  year =         1988,
  address =      {D-94030 Passau, Germany},
  type =         {Diploma thesis},
  month =        apr,
  signature =    {80 SI 1000 L 975}
}

@InCollection{MCG:94,
  author =       {McPhee, Nicholas Freitag and Chou, Shang-Ching and
                  Gao, Xiao-Shan},
  title =        {Mechanically proving geometry theorems using a
                  combination of {W}u's method and {C}ollins' method},
  booktitle =    {Automated Deduction---CADE-12},
  year =         1994,
  editor =       {Bundy, Alan},
  volume =       814,
  series =       {Lecture Notes in Artificial Intelligence},
  publisher =    {Springer},
  address =      {Berlin, Heidelberg, New York},
  pages =        {401-415},
  isbn =         {3-540-58156-1},
  signature =    {80 SS 4800-814}
}

@Article{MHGG:80,
  author =       {J. Marti and A. C. Hearn and M. L. Griss and C. Griss},
  title =        {Standard {Lisp} Report},
  journal =      {{SIGSAM} Bulletin},
  year =         1980,
  volume =       14,
  number =       1,
  month =        {Feb},
  pages =        {23-41},
  issn =         {0163-5824}
}

@Book{MacCallumWright:91,
  author =       {MacCallum, Malcom and Wright, Francis},
  title =        {Algebraic Computing with {REDUCE}},
  publisher =    {Clarendon Press},
  year =         1991,
  editor =       {Rebou\c{c}as, Marcelo J. and Roque, Wladir L.},
  volume =       1,
  series =       {Lecture Notes from the first Brazilian School on
                  Computer Algebra},
  address =      {Oxford}
}

@Article{MacLane:36,
  author =       {MacLane, Saunders},
  title =        {Some interpretations of abstract linear dependence
                  in terms of projective geometry},
  journal =      {American Journal of Mathematics},
  year =         1936,
  volume =       {58},
  pages =        {236-240}
}


@Article{Macintyre:76,
  author =       {Macintyre, Angus},
  title =        {On Definable Subsets of $p$-adic Fields},
  journal =      {Journal of Symbolic Logic},
  year =         1976,
  volume =       41,
  number =       3,
  month =        sep,
  pages =        {605-610}
}

@InCollection{Macintyre:77,
  author =       {Macintyre, Angus},
  title =        {Model Completeness},
  booktitle =    {Handbook of Mathematical Logic},
  publisher =    {North Holland Publishing Company},
  year =         1977,
  editor =       {Barweise, Jon},
  series =       {Studies in Logic and the Foundations of
                  Mathematics},
  volume =       {90},
  signature =    {80 SK 130 B296},
  pages =        {139-180}
}

@InCollection{Macintyre:81,
  author =       {Macintyre, Angus},
  title =        {The Laws of Exponentiation},
  booktitle =    {Model theory and arithmetic},
  signature =    {80 SI 850-890},
  publisher =    {Springer},
  series =       {Lecture Notes in Mathematics},
  year =         1981,
  volume =       {980},
  pages =        {185-197}
}

@Unpublished{Macintyre:95,
  author =       {Macintyre, Angus and Wilkie, A. J.},
  title =        {On the decidability of the real exponential field},
  note =         {Preprint},
  month =        jul,
  year =         1995
}

@Book{Mahler:81,
  author =       {Mahler, Kurt},
  title =        {P-adic Numbers and their Properties},
  publisher =    {Cambridge University Press},
  address =      {Melbourne},
  year =         1981,
  edition =      {second}}

@Book{Marti:93,
  author =       {Marti, Jed},
  title =        {RLISP '88: An Evolutionary Approach to Program Design
                  and Reuse},
  publisher =    {World Scientific},
  year =         1993,
  volume =       42,
  series =       {World Scientific Series in Computer Science},
  address =      {Singapore, New Jersey, London, Hong Kong}
}

@Article{MayLeonard:75,
  author =       {May, Robert M. and Leonard, Warren J.},
  title =        {Nonliner Aspects of Competition Between Three Species},
  journal =      {SIAM Journal on Applied Mathematics},
  year =         1975,
  volume =       29,
  number =       2,
  month =        sep,
  pages =        {243-253}
}

@Article{McAllesterRosenblitt:91,
  author =       {McAllester, David and Rosenblitt, David},
  title =        {Systematic Nonlinear Planning},
  booktitle =    {Proceedings of the Ninth National Conference on
                 Artificial Intelligence (AAAI-91)},
  year =         1991,
  volume =       2,
  address =      {Anaheim, California, USA},
  month =        jul,
  publisher =    {AAAI Press/MIT Press},
  ISBN =         {0-262-51059-6},
  keywords =     {Mathematical Foundations of Planning},
  pages =        {634--639},
}

@PhdThesis{McCallum:84,
  author =       {McCallum, Scott},
  title =        {An Improved Projection Operation for Cylindrical
                  Algebraic Decomposition},
  school =       {Computer Sciences Department, University of
                  Wisconsin, Madison},
  year =         1984,
  type =         {{Ph.D}. Dissertation}
}

@Article{McCallum:88,
  author =       {McCallum, Scott},
  title =        {An improved Projection Operation for Cylindrical
                  Algebraic Decomposition of Three-dimensional Space},
  journal =      {Journal of Symbolic Computation},
  year =         1988,
  volume =       5,
  number =       1 # "--" # 2,
  month =        feb # "--" # apr,
  pages =        {141-161}
}

@Misc{McCallum:95,
  author =       {McCallum, Scott},
  title =        {Partial Solution to Path Finding Problems Using the
                  {CAD} Method},
  howpublished = {Electronic Proceedings of the IMACS ACA 1995 on
                  {\tt http://math.unm.edu/ACA/1995.html}},
  year =         1995
}

@Article{McClellan:73,
  author =       {McClellan, Michael T.},
  title =        {The Exact Solution of Systems of Linear Equations
                  with Polynomial Coefficients},
  journal =      {Journal of the Association for Computing Machinery},
  year =         1973,
  volume =       20,
  number =       4,
  month =        oct,
  pages =        {563-588}
}

@Article{McCluskey:56,
  author =       {McCluskey, E. J.},
  title =        {Minimization of {B}oolean Functions},
  journal =      {Bell Systems Technical Journal},
  year =         1956,
  volume =       35,
  pages =        {1417-1444},
  month =        Apr
}

@Manual{Melenk:94,
  author =       {Melenk, Herbert},
  title =        {Reduce Symbolic Mode Primer},
  organization = {Konrad-Zuse-Zen\-trum f\"ur In\-for\-ma\-tionstechnik},
  year =         1994,
  address =      {Berlin},
  note =         {Available via anonymous ftp at {\tt
                  serv03.zib-berlin.de}, path {\tt
                  /pub/redlib/documents/symbolic.tex}}
}

@InCollection{Melenk:95,
  author =       {Melenk, Herbert},
  title =        {Reduce Symbolic Mode Primer},
  booktitle =    {REDUCE 3.6 User's Guide for UNIX},
  publisher =    {Konrad-Zuse-Zen\-trum f\"ur In\-for\-ma\-tionstechnik},
  year =         1995,
  type =         {REDUCE Documentation},
  address =      {Berlin}
}

@Unpublished{MelenkNeun:95,
  author =       {Melenk, Herbert and Neun, Winfried},
  title =        {{RR}: Parallel Symbolic Algorithm Support for {PSL}
                  Based {REDUCE}},
  note =         {Preliminary Draft},
  year =         1995
}

@Book{MerzigerWirth:95,
  author =       {Merziger, Gerhard and Wirth, Thomas},
  title =        {{R}epetitorium der h\"oheren {M}athematik},
  publisher =    {Binimo Verlag},
  year =         1995,
  isbn =         {3-923 923-33-3},
}

@Book{Mishra:93,
  author =       {Mishra, Bhubaneswar},
  title =        {Algorithmic Algebra},
  publisher =    {Springer},
  year =         1993,
  series =       {Texts and Monographs in Computer Science},
  address =      {New York},
  isbn =         {0-540-94090-1},
  signature =    {806 SK 200 M 678}
}

@PhdThesis{Motzkin:36,
  author =       {Motzkin, Theodore S.},
  title =        {{B}eitr\"age zur {T}heorie der linearen {U}ngleichungen},
  school =       {{U}niversit\"at {Z}\"urich},
  year =         1936,
  type =         {Doctoral Dissertation}
}

@MastersThesis{Nolden:94,
  author =       {Nolden, Eva},
  title =        {{I}mplementierung eines
                  {Q}uantoreneliminationsverfahrens f\"ur quadratische
                  {U}ngleichungen},
  school =       {{U}niversit\"at {P}assau},
  year =         1994,
  address =      {D-94030 Passau, Germany},
  month =        sep,
  type =         {Diploma thesis}
}

@InProceedings{NoroTakeshima:92,
  author =       {Noro, Masayuki and Takeshima, Taku},
  title =        {{R}isa/{A}sir---A Computer Algebra System},
  pages =        {387-396},
  booktitle =    {Proceedings of the ISSAC '92},
  editor =       {Wang, Paul S.},
  organization = {ACM},
  publisher =    {ACM Press, New York, 1992},
  address =      {Berkeley, CA},
  month =        jul,
  year =         1992
}

@Article{Osgood:16,
  author =       {Osgood, William F.},
  title =        {On functions of several complex variables},
  journal =      {Transactions of the American Mathematical Society},
  year =         1916,
  volume =       {17},
  number =       {1},
  pages =        {1-8},
  SIGNATURE =    {Fernleihe}
}

@Article{Ostrowski:18,
  author =       {Ostrowski, Alexander},
  title =        {{\"U}ber einige {L}{\"o}sungen der
                  {F}unktio\-nal\-glei\-chung
                  $\varphi(x)\cdot\varphi(y)=\varphi(xy)$ },
  journal =      {Acta Mathematica},
  year =         1918,
  volume =       41,
  pages =        {271-284}
}

@Manual{PVM,
  title =        {PVM 3 User's Guide and Reference Manual},
  author =       {Geist, Al and Beguelin, Adam and Dongarra, Jack and
                  Jiang, Weicheng and Manchek, Robert and Sunderam, Vaidy},
  organization = {Oak Ridge National Laboratory},
  address =      {Oak Ridge, Tennessee 37831},
  year =         1994,
  month =        Sep
}

@PhdThesis{Pedersen:91,
  author =       {Pedersen, Paul},
  title =        {Counting Real Zeros},
  school =       {Courant Institute of Mathematical Sciences},
  year =         1991,
  address =      {New York},
  type =         {{Ph.D.}~Dissertation}
}


@InCollection{PedersenRoy:93,
  author =       {Pedersen, Paul and Roy, Marie-Fran\c{c}oise and
                  Szpirglas, Aviva},
  title =        {Counting Real Zeroes in the multivariate case},
  booktitle =    {Computational Algebraic Geometry},
  publisher =    {Birkh\"auser},
  year =         1993,
  editor =       {Eysette, F. and Galigo, A.},
  volume =       109,
  series =       {Progress in Mathematics},
  address =      {Boston, Basel; Berlin},
  pages =        {203-224},
  isbn =         {3-7643-3678-1},
  signature =    {806 SD 1992 N 588},
  note =         {Proceedings of the MEGA~92}
}

@Unpublished{Pesch:94,
  author =       {Pesch, Michael},
  title =        {Die {MAS-I}mplementation des {A}lgorithmus zur
                  {B}erechnung um\-fassender {G}r\"obner\-basen},
  note =         {Enclosure of a {DFG} application},
  year =         {1994},
  month =        apr
}

@Unpublished{Pesch:94a,
  author =       {Pesch, Michael},
  title =        {{C}omputing {C}omprehensive {G}r\"obner {B}ases using {MAS}},
  note =         {User Manual},
  year =         {1994},
  month =        sep
}

@Unpublished{PeschWeispfenning:98,
  author =       {Pesch, Michael and Weispfenning, Volker},
  title =        {Stable Gr\"obner Bases},
  note =         {Extended abstract at the Rhine Workshop on Computer
                  Algebra},
  year =         1998,
  month =        apr
}

@Unpublished{PeternellPottmann:96,
  author =       {Peternell, Martin and Pottmann, Helmut},
  title =        {Computing Rational Parametrizations of Canal Surfaces},
  note =         {Preprint},
  year =         1996
}

@Article{PeternellPottmann:97,
  author =       {Peternell, Martin and Pottmann, Helmut},
  title =        {Computing Rational Parametrizations of Canal
                 Surfaces},
  journal =      {Journal of Symbolic Computation},
  volume =       23,
  number =       2 # "--" # 3,
  pages =        {255-266},
  month =        feb # "--" # mar,
  year =         1997,
  ISSN =         {0747-7171},
  bibdate =      {Sat May 10 13:01:32 MDT 1997},
  classification = {C1160 (Combinatorial mathematics); C4130
                 (Interpolation and function approximation); C4260
                 (Computational geometry)},
  corpsource =   {Inst. fur Geometrie, Tech. Univ. Wien, Austria},
  keywords =     {canal surfaces; low degree representations; one
                 parameter set; rational parametrizations; rational
                 radius function; rational spine curve; set theory;
                 splines (mathematics); surface fitting},
  treatment =    {T Theoretical or Mathematical},
}

@Book{Pinedo:95,
  author =       {Pinedo, Michael},
  title =        {Scheduling: Theory, algorithms, and systems},
  publisher =    {Prentice-Hall},
  year =         1995,
  series =       {Prentice Hall international series in industrial and
                  system engineering},
  address =      {Englewood Cliffs, New Jersey},
  isbn =         {0-13-706757-7},
  signature =    {806 SK 970 P649}
}

@Book{PreparataShamos:85,
  author =       {Preparata, Franco P. and Shamos, Michael I.},
  title =        {Computational Geometry---An Introduction},
  publisher =    {Springer},
  year =         1985,
  series =       {Texts and monographs in computer science},
  address =      {New York},
  isbn =         {0-387-96131-3, 3-540-96131-3},
  signature =    {00/ST 315 P927}
}

@Article{Quine:52,
  author =       {Quine, W. V.},
  title =        {The Problem of Simplifying truth functions},
  journal =      {American Mathematical Monthly},
  year =         {1952},
  volume =       {59},
  pages =        {521-531},
  month =        Nov,
  signature =    {SA 2200 59}
}

@Article{Quine:55,
  author =       {Quine, W. V.},
  title =        {A Way to Simplify Truth Functions},
  journal =      {American Mathematical Monthly},
  year =         {1955},
  volume =       {62},
  pages =        {627-631},
  month =        Nov,
  signature =    {SA 2200 62}
}

@Article{Quine:59,
  author =       {Quine, W. V.},
  title =        {On Cores and Prime Implicants of Truth Functions},
  journal =      {American Mathematical Monthly},
  year =         {1959},
  volume =       {66},
  pages =        {755-760},
  month =        Nov,
  signature =    {SA 2200 66}
}

@InCollection{Rabin:77,
  author =       {Rabin, Michael O.},
  title =        {Decidable Theories},
  booktitle =    {Handbook of Mathematical Logic},
  publisher =    {North Holland Publishing Company},
  year =         1977,
  editor =       {Barweise, Jon},
  series =       {Studies in Logic and the Foundations of
                  Mathematics},
  volume =       {90},
  signature =    {80 SK 130 B296},
  pages =        {595-629}
}

@MastersThesis{Reiske:99,
  author =       {Reiske, J\"urgen},
  title =        {Information Management, Simulation and Symbolic
                  Diagnosis for Technical Networks in the Framework of
                  {REDLOG}},
  school =       {Universit\"at Passau},
  year =         1999,
  address =      {D-94030 Passau, Germany},
  type =         {Diploma Thesis},
  month =        aug
}

@Article{Renegar:92,
  author =       {Renegar, James},
  title =        {On The Computational Complexity and Geometry of the
                  First-order Theory of the Reals},
  journal =      {Journal of Symbolic Computation},
  year =         1992,
  volume =       13,
  number =       3,
  month =        mar,
  note =         {Part I--III},
  pages =        {255-352},
  issn =         {0747-7171}
}

@Article{Renegar:92a,
  author =       {Renegar, James},
  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,
  volume =       13,
  number =       3,
  month =        mar,
  pages =        {255-299},
  issn =         {0747-7171}
}

@Article{Renegar:92b,
  author =       {Renegar, James},
  title =        {On The Computational Complexity and Geometry of the
                  First-order Theory of the Reals. Part II:
                  The General Decision Problem. Preliminaries for
                  Quantifier Elimination},
  journal =      {Journal of Symbolic Computation},
  year =         1992,
  volume =       13,
  number =       3,
  month =        mar,
  pages =        {301-327},
  issn =         {0747-7171}
}

@Article{Renegar:92c,
  author =       {Renegar, James},
  title =        {On The Computational Complexity and Geometry of the
                  First-order Theory of the Reals. Part III:
                  Quantifier Elimination},
  journal =      {Journal of Symbolic Computation},
  year =         1992,
  volume =       13,
  number =       3,
  month =        mar,
  pages =        {329-352},
  issn =         {0747-7171}
}

@Article{Requicha:80,
  author =       {Requicha, Aristides A. G.},
  title =        {Representations for Rigid Solids: Theory, Methods,
                  and Systems},
  journal =      {Computing Surveys},
  year =         1980,
  volume =       12,
  number =       4,
  month =        dec,
  pages =        {437-464}
}

@Article{Richardson:69,
  author =       {Richardson, Daniel},
  title =        {Solution of the identity problem for integral
                  exponential functions},
  year =         1969,
  journal =      {Zeitschrift f\"ur mathematische Logik und Grundlagen
                  der Mathematik},
  pages =        {333-340},
  volume =       {15},
  signature =    {80 SA 6795-30},
}

@InProceedings{Richardson:91,
  author =       {Richardson, Daniel},
  title =        {Towards computing non algebraic cylindrical decompositions},
  booktitle =    {Proceedings of the 1991 International Symposium on
                  Symbolic and Algebraic Computation},
  year =         1991,
  editor =       {Watt, Stephen M.},
  address =      {Bonn, Germany},
  pages =        {247-255},
  signature =    {80 SS 1991 B 716},
  month =        jul
}

@InProceedings{Richardson:92,
  author =       {Richardson, Daniel},
  title =        {The Elementary Constant Problem},
  booktitle =    {Proceedings of the 1992 International Symposium on
                  Symbolic and Algebraic Computation},
  year =         1992,
  editor =       {Wang, Paul S.},
  address =      {Bercely, California},
  pages =        {108-116},
  signature =    {80 SS 1992 B512 W2},
  month =        jul
}



@InProceedings{Richardson:93,
  author =       {Richardson, Daniel},
  title =        {A Zero Structure Theorem for Exponential
                 Polynomials},
  booktitle =    {Proceedings of the 1993 International Symposium on
                  Symbolic and Algebraic Computation},
  year =         1993,
  editor =       {Bronstein, Manuel},
  pages =        {144-151},
  address =      {Kiev, Ukraine},
  signature =    {80 SS 1993 K47},
  month =        jul
}

@Unpublished{Richardson:95,
  author =       {Richardson, Daniel},
  title =        {An {ISSAC'95} Tutorial: Algorithmic methods for
                  finding real solution of systems involving
                  exponential and other elementary functions},
  note =         {Preprint},
  month =        jul,
  year =         1995
}

@Book{Rinnooy:76,
  author =       {Rinnooy Kan, Alexander. H. G.},
  title =        {Machine Scheduling  Problems},
  publisher =    {Martinus Nijhoff},
  year =         {1976},
  OPTisbn =      {90-247-1848-1},
  OPTsignature = {00 QP 542 R 582+2}
}

@Book{Ritt:32,
  author =       {Ritt, Joseph F.},
  title =        {Differential Equations from the Algebraic Standpoint},
  publisher =    {American Mathematical Society},
  series =       {AMS Colloquium Publications},
  volume =       {14},
  year =         1932,
  address =      {New York, NY}
}

@Book{Ritt:50,
  author =       {Ritt, Joseph F.},
  title =        {Differential Algebra},
  publisher =    {American Mathematical Society},
  series =       {AMS Colloquium Publications},
  volume =       {33},
  year =         1950,
  address =      {New York, NY}
}

@PhdThesis{Rossignac:85,
  author =       {Rossignac, Jaroslaw R.},
  title =        {Blending and Offsetting Solid Models},
  school =       {Department of Electrical Engineering, College of
                  Engineering and Applied Science, University of Rochester},
  year =         1985,
  address =      {Rochester, New York 14627},
  type =         {{Ph.D.}~Thesis},
  month =        jul
}

@Article{RossignacRequicha:86,
  author =       {Rossignac, Jaroslaw R. and Requicha, Aristides A. G.},
  title =        {Offsetting Operations in Solid Modelling},
  journal =      {Computer Aided Geometric Design},
  year =         1986,
  volume =       3,
  number =       2,
  month =        aug,
  pages =        {129-148}
}

@PhdThesis{Rotter:96,
  author =       {Rotter, Klaus},
  title =        {{M}ehrzieloptimierung im {S}cheduling bei
                  nichtregul\"aren {K}ostenfunktionen},
  school =       {Universit\"at Passau},
  year =         1996,
  type =         {Dissertation},
  month =        jul
}

@TechReport{SACLIB,
  author =       {Bruno Buchberger and  George E. Collins and Mark J.
                  Encarnacion and Hoon Hong and Jeremy R. Johnson and Werner
                  Krandick and R\"udiger Loos and Ana M. Mandache and Andreas
                  Neubacher and Herbert Vielhaber},
  title =        {SACLIB 1.1 User's Guide},
  institution =  {Research Institute for Symbolic Computation},
  year =         1993,
  type =         {RISC-Linz Series Technical Report},
  number =       {93-19},
  address =      {Johannes Kepler University, A-4040 Linz, Austria}
}

@InProceedings{SLA:89,
  author =       {Saunders, B.~David and Lee, Hong R. and Abdali, S.~Kamal},
  title =        {A Parallel Implementation of the Cylindrical Algebraic
                 Decomposition Algorithm},
  editor =       {Gonnet, Gaston H.},
  booktitle =    {Proceedings of the {ACM-SIGSAM} 1989 International
                 Symposium on Symbolic and Algebraic Computation
                  (ISSAC 89)},
  publisher =    {ACM Press, New York},
  address =      {Portland, Oregon},
  month =        jul,
  year =         1989,
  ISBN =         {0-89791-325-6},
  pages =        {298--307},
  bibdate =      {Thu Sep 26 06:21:35 MDT 1996},
  abstract =     {The authors describe a parallelization scheme for
                 Collins's cylindrical algebraic decomposition algorithm
                 for quantifier elimination in the theory of real closed
                 fields. They discuss a parallel implementation of the
                 computer algebra system SAC2 in which a complete
                 sequential implementation of Collins's algorithm
                 already exists. They report some initial results on the
                 speedup obtained, drawing on a suite of examples
                 previously given by Arnon.},
  acknowledgement = ack-nhfb,
  affiliation =  {Dept. of Comput. and Inf. Sci., Delaware Univ.,
                 Newark, DE, USA},
  classification = {C1110 (Algebra); C4130 (Interpolation and function
                 approximation); C4240 (Programming and algorithm
                 theory); C7310 (Mathematics)},
  keywords =     {Computer algebra system; Cylindrical algebraic
                 decomposition algorithm; Parallel implementation;
                 Parallelization; Polynomials; Quantifier elimination;
                 Real closed fields; SAC2},
  thesaurus =    {Mathematics computing; Parallel algorithms;
                 Polynomials; Programming theory; Symbol manipulation}
}

@MastersThesis{Schoenfeld:91,
  author =       {Sch\"onfeld, Elke},
  title =        {{P}arametrische {G}r\"obnerbasen im {C}omputeralgebrasystem
                  {ALDES/SAC-2}},
  school =       {Universit\"at Passau},
  type =         {Diploma thesis},
  address =      {D-94030 Passau, Germany},
  year =         1991,
  month =        may
}

@InProceedings{SchreinerHong:93,
  author =       {Schreiner, Wolfgang and Hong, Hoon},
  title =        {The Design of the {PACLIB} Kernel for Parallel
                  Algebraic Computation},
  booktitle =    {Parallel Computation. Proceedings of the Second
                  International ACPC Conference},
  editor =       {Volkert, Jens},
  volume =       734,
  series =       {Lecture Notes in Computer Science},
  year =         1993,
  organization = {Austrian Center for Parallel Computation (ACPC)},
  publisher =    {Springer-Verlag, Berlin, Heidelberg},
  address =      {Gmunden, Austria},
  month =        oct,
  pages =        {204-218}
}

@InProceedings{SchreinerHong:93a,
  author =       {Schreiner, Wolfgang and Hong, Hoon},
  title =        {A New Library for Parallel Algebraic Computation},
  booktitle =    {Sixth SIAM Conference on Parallel Processing for
                  Scientific Computing},
  year =         1993,
  editor =       {Sincovec, Richard F. and others},
  volume =       2,
  publisher =    {SIAM},
  address =      {Norfolk, Virginia},
  month =        mar,
  pages =        {776-783}
}

@MastersThesis{Schweighofer:99,
  author =       {Schweighofer, Markus},
  title =        {{A}lgorithmische {B}eweise f\"ur {N}ichtnegativ- und
                  {P}ositivestellens\"atze},
  school =       {Universit\"at Passau},
  year =         1999
}

@Article{Seidenberg:56,
  author =       {Seidenberg, Abraham},
  title =        {Some Remarks on {H}ilbert's {N}ullstellensatz},
  journal =      {Arch. Math.},
  year =         1956,
  volume =       7,
  pages =        {235-240}
}

@Article{Seidenberg:56a,
  author =       {Seidenberg, Abraham},
  title =        {An Elimination Theory for Differential Algebra},
  journal =      {Univ. California Publ. Math (N.S.)},
  year =         1956,
  volume =       3,
  pages =        {31-66}
}

@Article{Seidenberg:69,
  author =       {Seidenberg, Abraham},
  title =        {On $k$-constructable sets, $k$-elementary formulae,
                  and elimination theory},
  journal =      {Journal f\"ur die reine und angewandte Mathematik},
  year =         1969,
  volume =       {239/240},
  pages =        {256-267}
}

@Book{Serra:82,
  author =       {Serra, Jean},
  title =        {Image Analysis and Mathematical Morphology},
  publisher =    {Academic Press},
  year =         1982,
  address =      {New York}
}

@Article{Sit:92,
  author =       {Sit, William Y.},
  title =        {An Algorithm for solving Parametric Linear Systems},
  journal =      {Journal of Symbolic Computation},
  year =         1992,
  volume =       13,
  number =       4,
  month =        apr,
  pages =        {353-394}
}

@Book{Smullyan:68,
  author =       {Raymund M. Smullyan},
  title =        {First-order Logic},
  publisher =    {Springer-Verlag},
  address =      {Berlin, Heidelberg, New York},
  year =         1968
}

@Manual{SommerHennig:95,
  title =        {Analog Insydes V1.1 Benutzerhandbuch},
  author =       {Sommer, Ralf and Hennig, Eckhard},
  organization = {Institut f\"ur Techno- und Wirtschaftsmathematik e.\,V.},
  address =      {Erwin-Schr\"odinger-Stra\ss e, D-67663 Kaiserslautern,
                  Germany},
  year =         1995
}

@InProceedings{Sturm:1835,
  author =       {Sturm, Jacques Charles Fran\c{c}ois},
  title =        {M\'emoire sur la r\'esolution des \'equations num\'eriques},
  booktitle =    {M\'emoires pr\'esent\'es par divers Savants
                  \'etrangers \`a l'Acad\'emie royale des sciences,
                  section Sc.~math.~phys.},
  year =         1835,
  volume =       6,
  pages =        {273-318}
}

@Manual{Sturm:95,
  author =       {Sturm, Thomas},
  title =        {Redlog, a Reduce Library of Algorithms for the
                  Manipulation of First-Order Formulas},
  organization = {Universit\"at Passau},
  year =         1995,
  note =         {Unpublished}}

@MastersThesis{Sturm:95b,
  author =       {Sturm, Thomas},
  title =        {{L}ineare {Q}uantorenelimination in bewerteten {K}\"orpern},
  school =       {Universit\"at Passau},
  address =      {D-94030 Passau, Germany},
  year =         1995,
  month =        feb,
  type =         {Diploma thesis}
}

@Unpublished{Sturm:96,
  author =       {Sturm, Thomas},
  title =        {Using Symbolic Methods for Automatic Reasoning over
                  Networks},
  note =         {Preliminary draft},
  year =         1996,
  month =        oct
}

@TechReport{Sturm:96a,
  author =       {Sturm, Thomas},
  title =        {Real Quadratic Quantifier Elimination in {R}isa/{A}sir},
  institution =  {ISIS},
  year =         1996,
  type =         {Research Memorandum},
  number =       {ISIS-RM-5E},
  address =      {Fujitsu Laboratories Limited, 1-9-3, Nakase,
                  Mihama-ku, Chiba-shi, Chiba 261, Japan},
  month =        sep
}

@TechReport{Sturm:97,
  author =       {Sturm, Thomas},
  title =        {Reasoning over Networks by Symbolic Methods},
  institution =  {FMI, Universit\"at Passau},
  year =         1997,
  type =         {Technical Report},
  number =       {MIP-9719},
  address =      {D-94030 Passau, Germany},
  month =        dec,
  note =         {To appear in the AAECC Journal}
}

@TechReport{Sturm:98,
  author =       {Sturm, Thomas},
  title =        {Linear Problems in Valued Fields},
  institution =  {FMI, Universit\"at Passau},
  year =         1998,
  type =         {Technical Report},
  number =       {MIP-9715},
  address =      {D-94030 Passau, Germany},
  month =        nov
}

@Article{Sturm:99,
  author =       {Sturm, Thomas},
  title =        {Reasoning over Networks by Symbolic Methods},
  journal =      {Applicable Algebra in Engineering, Communication and
                  Computing},
  year =         1999,
  volume =       10,
  number =       1,
  month =        sep,
  pages =        {79-96}
}

@TechReport{SturmWeispfenning:97,
  author =       {Sturm, Thomas and Weispfenning, Volker},
  title =        {Computational Geometry Problems in {R}edlog},
  institution =  {FMI, Universit\"at Passau},
  year =         1997,
  type =         {Technical Report},
  number =       {MIP-9708},
  address =      {D-94030 Passau, Germany},
  month =        Apr
}

@InProceedings{SturmWeispfenning:97a,
  author =       {Sturm, Thomas and Weispfenning, Volker},
  title =        {Rounding and Blending of Solids by a Real
                  Elimination Method},
  booktitle =    {Proceedings of the 15th IMACS World Congress on
                  Scientific Computation, Modelling, and Applied
                  Mathematics (IMACS 97)},
  editor =       {Sydow, Achim},
  volume =       2,
  year =         1997,
  organization = {IMACS},
  publisher =    {Wissenschaft \& Technik Verlag, Berlin, 1997},
  address =      {Berlin},
  month =        aug,
  pages =        {727-732},
  isbn =         {3-89685-552-2}
}

@TechReport{SturmWeispfenning:98,
  author =       {Sturm, Thomas and Weispfenning, Volker},
  title =        {An Algebraic Approach to Offsetting and Blending of Solids},
  institution =  {FMI, Universit\"at Passau},
  year =         1998,
  type =         {Technical Report},
  number =       {MIP-9804},
  address =      {D-94030 Passau, Germany},
  month =        may
}

@InCollection{SturmWeispfenning:98a,
  author =       {Sturm, Thomas and Weispfenning, Volker},
  title =        {Computational Geometry Problems in {R}edlog},
  booktitle =    {Automated Deduction in Geometry},
  publisher =    {Springer-Verlag},
  year =         1998,
  editor =       {Wang, Dongming},
  volume =       1360,
  series =       {Lecture Notes in Artificial Intelligence (Subseries of
LNCS)},
  type =         {Selected papers from an international workshop held
                  in Toulouse, France, September 27--29, 1996},
  address =      {Berlin Heidelberg},
  pages =        {58-86},
  isbn =         {3-540-64297-8}
}

@Article{Sylvester:1853,
  author =       {Sylvester, James Joseph},
  title =        {On a theory of the syzegetic relations of two
                  rational integral functions, comprising an
                  application to the theory of {S}turm's functions, and
                  that of the greatest algebraical common measure},
  journal =      {Philosophical Transactions of the Royal Society London},
  year =         1853,
  volume =       143,
  pages =        {407-548}
}

@TechReport{TR-CS-89-01,
  author =       "Scott McCallum and Bruno Buchberger",
  number =       "TR-CS-89-01",
  title =        "Geometric Modelling Based on Logic and Algebra",
  year =         "1989",
  month =        jan,
  institution =  "{Department} of {Computer} {Science}, {The}
                 {Australian} {National} {University}",
  address =      "{Canberra} 0200 {ACT}, {Australia}",
}

@TechReport{Tarski:48,
  author =       {Tarski, Alfred},
  title =        {A Decision Method for Elementary Algebra and Geometry},
  institution =  {RAND},
  year =         {1948},
  address =      {Santa Monica, CA}
}

@TechReport{Tarski:48b,
  author =       {Tarski, Alfred},
  title =        {A decision method for elementary algebra and geometry},
  institution =  {University of California},
  year =         1948,
  note =         {Second edn., rev. 1951}
}

@Book{Tarski:51,
  author =       {Tarski, Alfred},
  title =        {A Decision Method for Elementary Algebra and Geometry},
  publisher =    {University of California Press},
  year =         {1951},
  address =      {Berkely, CA},
  note =         {(2nd edition, revised)}
}

@InCollection{Tarski:98,
  author =       {Tarski, Alfred},
  title =        {A Decision Method for Elementary Algebra and Geometry},
  booktitle =    {Quantifier Elimination and Cylindrical Algebraic
                  Decomposition},
  publisher =    {Springer-Verlag},
  year =         1998,
  editor =       {Caviness, Bob F. and Johnson, Jeremy R.},
  series =       {Texts and Monographs in Symbolic Computation},
  address =      {Wien, Austria and New York, NY},
  pages =        {24-84},
  note =         {Reprint}
}

@Article{VMV:94,
  author =       {Vida, Janos and Martin, Ralph R. and Varady, Tamas},
  title =        {A Survey of Blending Methods that Use Parametric
                  Surfaces},
  journal =      {Computer-Aided Design},
  year =         1994,
  volume =       26,
  number =       5,
  month =        May,
  pages =        {341-365},
  note =         {Survey}
}

@Book{Waerden:93a,
  author =       {van der Waerden, Bartel Leendert},
  title =        {Algebra I},
  publisher =    {Springer},
  address =      {Berlin, Heidelberg},
  year =         1993,
  edition =      {ninth}
}

@Book{Waerden:93b,
  author =       {van der Waerden, Bartel Leendert},
  title =        {Algebra II},
  publisher =    {Springer},
  address =      {Berlin, Heidelberg},
  year =         1993,
  edition =      {sixth}
}

@Article{Wang:93,
  author =       {Wang, Dongming},
  title =        {An Elimination Method for Polynomial Systems},
  journal =      {Journal of Symbolic Computation},
  year =         1993,
  volume =       16,
  number =       2,
  pages =        {83-114},
  month =        Aug
}

@InProceedings{Wang:93a,
  author =       {Wang, Dongming},
  title =        {An elimination method based on {S}eidenberg's theory
                  and its applications},
  editor =       {Eyssette, F. and Galligo, A.},
  pages =        {301-328},
  booktitle =    {Computational Algebraic Geometry (MEGA '92)},
  year =         1993,
  publisher =    {Birkh\"auser Verlag}
}

@InCollection{Wang:95,
  author =       {Wang, Dongming},
  title =        {Reasoning about Geometric Problems Using an
                  Elimination Method},
  editor =       {Pfalzgraf, J.},
  pages =        {147-185},
  booktitle =    {Automatic Practical Reasoning},
  year =         1995,
  publisher =    {Springer-Verlag},
  address =      {Wien}
}

@InCollection{Wang:95b,
  author =       {Wang, Dongming},
  title =        {Reasoning about Geometric Problems Using an
                  Elimination Method},
  booktitle =    {Automated Practical Reasoning},
  publisher =    {Springer-Verlag},
  year =         1995,
  editor =       {Pfalzgraf, J. and Wang, D.},
  series =       {Texts and Monographs in Symbolic Computation},
  address =      {Wien, New York},
  pages =        {147-185}
}

@TechReport{WangGao:87,
  author =       {Wang, Dongming and Gao, Xiao-Shan},
  title =        {Geometry Theorems Proved Mechanically Using {W}u's
                  Method---Part on {E}uclidean Geometry},
  institution =  {Institute of Systems Science, Academia
                  Sinicia, Beijing, China},
  year =         1987,
  type =         {Mathematics-Mechanization Research Preprints},
  number =       2,
  pages =        {75-106},
  month =        Nov
}

@InCollection{Weispfenning:84,
  author =       {Volker Weispfenning},
  title =        {Quantifier Elimination and Decision Procedures for
                  Valued Fields},
  booktitle =    {Models and Sets (Aachen, 1983)},
  year =         1984,
  editor =       {M\"uller, G. H. and Richter, M. M.},
  volume =       1103,
  series =       {Lecture Notes in Mathematics},
  pages =        {419-472},
  publisher =    {Springer-Verlag},
  address =      {Berlin, Heidelberg}
}

@InCollection{Weispfenning:86,
  author =       {Volker Weispfenning},
  title =        {Quantifier Eliminable Ordered {A}belian Groups},
  booktitle =    {Proceedings of the First International Symposium on
                  Ordered Algebraic Structures (Luminy-Marseilles, 1984)},
  year =         1986,
  pages =        {113-126},
  editor =       {S. Wolfenstein},
  publisher =    {Heldermann},
  address =      {Berlin}
}

@Article{Weispfenning:88,
  author =       {Volker Weispfenning},
  title =        {The Complexity of Linear Problems in Fields},
  journal =      {Journal of Symbolic Computation},
  year =         1988,
  volume =       5,
  number =       1 # "--" # 2,
  pages =        {3-27},
  month =        feb # "--" # apr
}

@Article{Weispfenning:90,
  author =       {Weispfenning, Volker},
  title =        {The Complexity of Almost Linear Diophantine Problems},
  journal =      {Journal of Symbolic Computation},
  year =         1990,
  volume =       10,
  number =       5,
  month =        nov,
  pages =        {395-403}
}

@Article{Weispfenning:92,
  author =       {Weispfenning, Volker},
  title =        {Comprehensive {G}r\"obner Bases},
  journal =      {Journal of Symbolic Computation},
  year =         1992,
  month =        jul,
  volume =       14,
  pages =        {1-29}
}

@TechReport{Weispfenning:93,
  author =       {Weispfenning, Volker},
  title =        {A New Approach to Quantifier Elimination for
                  Real Algebra},
  institution =  {FMI, Universit\"at Passau},
  year =         1993,
  number =       {MIP-9305},
  address =      {D-94030 Passau, Germany},
  month =        Jul
}

@InProceedings{Weispfenning:93a,
  author =       {Weispfenning, Volker},
  title =        {A New Approach to Quantifier Elimination for
                  Real Algebra},
  booktitle =    {Proc. of the Collins Symposium},
  year =         1993,
  address =      {Linz, Austria},
  month =        oct,
  note =         {(to appear)}
}

@InProceedings{Weispfenning:94,
  author =       {Weispfenning, Volker},
  title =        {Quantifier elimination for real algebra---the
                  cubic case},
  pages =        {258-263},
  booktitle =    {Proceedings of the International Symposium on Symbolic
                  and Algebraic Computation (ISSAC~94)},
  year =         1994,
  publisher =    {ACM Press, New York, 1994},
  address =      {Oxford, England},
  month =        jul
}

@TechReport{Weispfenning:95b,
  author =       {Weispfenning, Volker},
  title =        {Parametric Linear and Quadratic Optimization by
                  Elimination},
  institution =  {FMI, Universit\"at Passau},
  year =         1994,
  type =         {Technical Report},
  number =       {MIP-9404},
  address =      {D-94030 Passau, Germany},
  month =        apr,
  comment =      {To appear in the Journal of Symbolic Computation}
}

@Article{Weispfenning:96,
  author =       {Weispfenning, Volker},
  title =        {Quantifier elimination for real algebra---the
                  quadratic case and beyond},
  year =         1997,
  note =         {To appear in AAECC}
}

@TechReport{Weispfenning:96b,
  author =       {Weispfenning, Volker},
  title =        {Applying Quantifier Elimination to Problems in
                  Simulation and Optimization},
  institution =  {FMI, Universit\"at Passau},
  year =         1996,
  type =         {Technical Report},
  number =       {MIP-9607},
  address =      {D-94030 Passau, Germany},
  month =        apr,
  note =         {To appear in the Journal of Symbolic Computation}
}

@Article{Weispfenning:96c,
  author =       {Weispfenning, Volker},
  title =        {Simulation and Optimization by Quantifier Elimination},
  year =         1996,
  note =         {To appear in the Journal of Symbolic Computation}
}

@Article{Weispfenning:97,
  author =       {Weispfenning, Volker},
  title =        {Quantifier elimination for real algebra---the
                  quadratic case and beyond},
  journal =      {Applicable Algebra in Engineering Communication and
                  Computing},
  year =         1997,
  volume =       8,
  number =       2,
  pages =        {85-101},
  month =        feb
}


@TechReport{Weispfenning:97a,
  author =       {Weispfenning, Volker},
  title =        {Complexity and Uniformity of Elimination in
                  Presburger Arithmetic},
  institution =  {FMI, Universit\"at Passau},
  year =         1997,
  type =         {Technical Report},
  number =       {MIP-9703},
  address =      {D-94030 Passau, Germany},
  month =        jan,
  note =         {To appear in the proceedings of the ISSAC '97}
}

@Article{Weispfenning:97b,
  author =       {Weispfenning, Volker},
  title =        {Simulation and Optimization by Quantifier Elimination},
  journal =      {Journal of Symbolic Computation},
  year =         1997,
  volume =       24,
  number =       2,
  month =        aug,
  pages =        {189-208},
  note =         {Special issue on applications of quantifier elimination}
}

@InProceedings{Weispfenning:97c,
  author =       {Weispfenning, Volker},
  title =        {Complexity and Uniformity of Elimination in
                  Presburger Arithmetic},
  booktitle =    {Proceedings of the 1997 International Symposium on
                  Symbolic and Algebraic Computation (ISSAC~97)},
  editor =       {Wolfgang W.~K\"uchlin},
  year =         1997,
  organization = {ACM},
  publisher =    {ACM Press, New York, 1997},
  month =        Jul,
  address =      {Maui, HI},
  pages =        {48-53}
}

@InCollection{Weispfenning:98,
  author =       {Weispfenning, Volker},
  title =        {A New Approach to Quantifier Elimination for
                  Real Algebra},
  booktitle =    {Quantifier Elimination and Cylindrical Algebraic
                  Decomposition},
  publisher =    {Springer},
  year =         1998,
  editor =       {Caviness, B.F. and Johnson, J.R.},
  series =       {Texts and Monographs in Symbolic Computation},
  address =      {Wien, New York},
  pages =        {376-392},
  signature =    {806/SD 1993 L762}
}

@Unpublished{Weispfenning:98a,
  author =       {Weispfenning, Volker},
  title =        {Linear Optimization by Variable Elimination},
  note =         {Preliminary Report},
  year =         1998,
  month =        mar
}

@InProceedings{Wilkie:86,
  author =       {Wilkie, A. J.},
  booktitle =    {Logic Colloqium '84},
  title =        {On sentences interpretable in systems of arithmetic},
  signature =    {80 SD 1984 M 268},
  editor =       {Paris, J. B. and Wilkie, A. J. and Wilmers, G. M.},
  year =         1986,
  address =      {Manchester, U.K.},
  series =       {Studies in Logic and the Foundations of
                  Mathematics},
  volume =       {120},
  month   =      jul,
  pages =        {329-342}
}

@Article{Wilkie:89,
  author =       {Wilkie, A. J.},
  title =        {On the Theory of the real exponential field},
  signature =    {80 SA 5180-33},
  journal =      {Illinois Journal of Mathematics},
  year =         1989,
  volume =       {33},
  number =       {3},
  pages =        {384-408}
}

@Unpublished{Wilkie:92,
  author =       {Wilkie, A. J.},
  title =        {Some model completness results for expansions of the
                  ordered field of real numbers by {P}faffian functions},
  note =         {Preprint},
  year =         1992
}

@InProceedings{Winkler:88,
  author =       {Winkler, Franz},
  title =        {A Geometrical Decision Algorithm Based on
                  the {G}r\"obner Bases Algorithm},
  editor =       {Gianni, P.},
  volume =       358,
  series =       {Lecture Notes in Computer Science},
  pages =        {356-363},
  booktitle =    {Symbolic and Algebraic Computation, Proceedings of
                  ISSAC '88},
  year =         1988,
  publisher =    {Springer},
  address =      {Berlin, Heidelberg},
  isbn =         {3-540-51084-2, 0-387-51084-2},
  signature =    {806/SS 4800-358}
}

@Book{Wolfram:96,
  author =       {Wolfram, Steven},
  title =        {The Mathematica Book},
  publisher =    {Wolfram Media and Cambridge University Press},
  year =         1996,
  edition =      {3rd}
}

@InProceedings{Wolter:86,
  author =       {Wolter, Helmut},
  booktitle =    {Logic Colloqium '84},
  title =        {On the model theory of exponential fields (survey)},
  signature =    {80 SD 1984 M 268},
  editor =       {Paris, J. B. and Wilkie, A. J. and Wilmers, G. M.},
  year =         1986,
  address =      {Manchester, U.K.},
  series =       {Studies in Logic and the Foundations of
                  Mathematics},
  volume =       {120},
  month   =      jul,
  pages =        {343-353}
}

@Article{Wu:78,
  author =       {Wu, Wen-Tsun},
  title =        {On the decision problem and the mechanization of
                  theorem-proving in elementary geometry},
  journal =      {Scientia Sinica},
  year =         1978,
  volume =       {21},
  pages =        {159-172},
  note =         {also: Contemporary Mathematica, vol. 29 (1984), pp. 213-234}
}

@Article{Wu:84a,
  author =       {Wu, Wen-Tsun},
  title =        {Basic principles of mechanical theorem proving in
                  elementary geometries},
  journal =      {Journal of Systems Sciences and Mathematical Sciences},
  year =         1984,
  volume =       {4},
  pages =        {207-235}
}

@Article{Wu:84b,
  author =       {Wu, Wen-Tsun},
  title =        {Some recent advances in mechanical theorem-proving
                  of geometries},
  journal =      {Contemporary Mathematics},
  year =         1984,
  volume =       {29},
  pages =        {235-241}
}

@Article{Wu:86,
  author =       {Wu, Wen-Tsun},
  title =        {Basic principles of mechanical theorem proving in
                  elementary geometry},
  journal =      {Journal of Automated Reasoning},
  year =         1986,
  volume =       2,
  pages =        {219-252}
}

@Article{Wu:86a,
  author =       {Wu, Wen-Tsun},
  title =        {A Mechanization Method of Geometry and its
                  Applications. {P}art 1: {D}istances, Areas and
                  Volumes},
  journal =      {Journal of System Science and Mathematical Science},
  year =         1986,
  volume =       6,
  pages =        {204-216}
}

@TechReport{Wu:87,
  author =       {Wu, Wen-Tsun},
  title =        {A Mechanization Method of Geometry and its
                  Applications. {P}art 3:~{M}echanical Proving of Polynomial
                  Inequalities and Equations-Solving},
  institution =  {Institute of Systems Science, Academia
                  Sinicia, Beijing, China},
  year =         1987,
  type =         {Mathematics-Mechanization Research Preprints},
  number =       2,
  pages =        {1-17},
  month =        Nov
}

@TechReport{Wu:92,
  author =       {Wu, Wen-Tsun},
  title =        {On Problems Involving Inequalities},
  institution =  {Institute of Systems Science, Academia
                  Sinicia, Beijing, China},
  year =         1992,
  type =         {Mathematics-Mech\-a\-niza\-tion Research Preprints},
  number =       7,
  pages =        {1-13},
  month =        Mar
}

@InProceedings{Yun:76,
  author =       {Yun, David Y. Y.},
  title =        {On Square-free Decomposition Algorithms},
  editor =       {Jenks, R. D.},
  pages =        {26-35},
  booktitle =    {Proceedings of the 1976 ACM Symposium on Symbolic
                  and Algebraic Computation},
  year =         1976,
  publisher =    {The Association for Computing Machinery},
  address =      {New York, NY 10036},
  month =        aug
}

@Article{Zippel:85,
  author =       {Zippel, Richard},
  title =        {Simplification of Expressions Involving Radicals},
  journal =      {Journal of Symbolic Computation},
  year =         1985,
  volume =       1,
  number =       2,
  month =        Jun,
  pages =        {189-210},
  issn =         {0747-7171}
}

@PhdThesis{Zurmuehl:96,
  author =       {Zurm\"uhl, Martin},
  title =        {{S}chedulingprobleme mit nicht-regul\"aren {Z}ielfunktionen},
  school =       {Universit\"at Passau},
  year =         1996,
  type =         {Dissertation},
  month =        jun
}

@Misc{netlib,
  key =          {NETLIB},
  title =        {NETLIB library of linear programing benchmark problems},
  howpublished = {Available on {\tt http://elib.zib.de/netlib/lp/data}}
}

@Book{vanHentenryck:89,
  author =       {Pascal van Hentenryck},
  title =        {Constraint Satisfaction in Logic Programming},
  edition =      {1st},
  publisher =    {MIT Press},
  address =      {Cambridge, Massachusetts},
  year =         1989,
  isbn =         {0-262-08181-4},
  descriptor =   {Constraint satisfaction, Deduktion, Konsistenz, Logik,
                 Logische Programmierung}
}

@InProceedings{vandenDries:82,
  author =       {van den Dries, Lou},
  booktitle =    {Logic Colloqium '82},
  title =        {Remarks on Tarski's problem concerning
                  {$(R,+,{\cdot},exp)$}},
  series =       {Studies in Logic and the Foundations of
                  Mathematics},
  volume =       {112},
  signature =    {80 SK 130 L 837},
  year =         1984,
  editor =       {Lolli, G. and Longo, G. and Marcja, A.},
  month  =       aug,
  address =      {Florence},
  pages =        {97-121}
}

@Article{vandenDries:85,
  author =       {van den Dries, Lou},
  title =        {The fields of real with a predicate for the powers
                  of two},
  signature =    {80 SA 6730-54},
  journal =      {Manuscripta mathematica},
  year =         1986,
  volume =       54,
  pages =        {187-195},
}

@Article{vandenDries:86,
  author =       {van den Dries, Lou},
  title =        {A generalization of the Tarski-Seidenberg
                  theorem, and some nondefinability results},
  signature =    {80 SA 2281 14/15},
  journal =      {Bulletin of the American mathematical society (new series)},
  year =         1986,
  volume =       15,
  pages =        {189-193}
}

@Article{vandenDries:88,
  author =       {van den Dries, Lou},
  title =        {On the elementary theory of restricted elementary functions},
  journal =      {Journal of Symbolic Logic},
  signature =    {80 SA 6540-53},
  year =         1988,
  volume =       {53},
  number =       {3},
  pages =        {796-808},
  month =        sep
}

% -eof-