@article{Weispfenning/88,
AUTHOR = {Weispfenning, Volker},
TITLE = {The complexity of linear problems in fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {3-27},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Davenport-Heintz/88,
AUTHOR = {Davenport, James H. and Heintz, Joos},
TITLE = {Real quantifier eliminations is doubly exponential},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {29-35},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Grigorev-Vorobjov/88,
AUTHOR = {Grigor'ev, D.Yu. and Vorobjov, N.N., Jr.},
TITLE = {Solving systems of polynomial inequalities in subexponential time},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {37-64},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Grigorev/88,
AUTHOR = {Grigor'ev, D.Yu.},
TITLE = {Complexity of deciding Tarski algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {65-108},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Risler/88,
AUTHOR = {Risler, Jean-Jacques},
TITLE = {Some aspects of complexity in real algebraic geometry},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {109-119},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Coste-Roy/88,
AUTHOR = {Coste, M. and Roy, M.F.},
TITLE = {Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {121-129},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Arnborg-Feng/88,
AUTHOR = {Arnborg, Stefan and Feng, Huichun},
TITLE = {Algebraic decomposition of regular curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {131-140},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{McCallum/88,
AUTHOR = {McCallum, Scott},
TITLE = {An improved projection operation for cylindrical algebraic decomposition of three-dimensional space},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {141-161},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Arnon-Collins-McCallum/88,
AUTHOR = {Arnon, Dennis S. and Collins, George E. and McCallum, Scott},
TITLE = {An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {163-187},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Arnon/88,
AUTHOR = {Arnon, Dennis S.},
TITLE = {A cluster-based cylindrical algebraic decomposition algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {189-212},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Arnon-McCallum/88,
AUTHOR = {Arnon, Dennis S. and McCallum, Scott},
TITLE = {A polynomial-time algorithm for the topological type of a real algebraic curve},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {213-236},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Arnon-Mignotte/88,
AUTHOR = {Arnon, Dennis S. and Mignotte, Maurice},
TITLE = {On mechanical quantifier elimination for elementary algebra and geometry},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {237-259},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lazard/88,
AUTHOR = {Lazard, Daniel},
TITLE = {Quantifier elimination: Optimal solution for two classical examples},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {261-266},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Arnon/88a,
AUTHOR = {Arnon, Dennis S.},
TITLE = {A bibliography of quantifier elimination for real closed fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {1-2},
PAGES = {267-274},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Butler/88,
AUTHOR = {Butler, Gregory},
TITLE = {A proof of Holt's algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {3},
PAGES = {275-283},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Glasby/88,
AUTHOR = {Glasby, S.P.},
TITLE = {Constructing normalisers in finite soluble groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {3},
PAGES = {285-294},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Glasby/88a,
AUTHOR = {Glasby, S.P.},
TITLE = {Intersecting subgroups of finite soluble groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {3},
PAGES = {295-301},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kobayashi-Fujise-Furukawa/88,
AUTHOR = {Kobayashi, Hidetsune and Fujise, Tetsuro and Furukawa, Akio},
TITLE = {Solving systems of algebraic equations by a general elimination method},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {3},
PAGES = {303-320},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sakata/88,
AUTHOR = {Sakata, Shojiro},
TITLE = {Finding a minimal set of linear recurring relations capable of generating a given finite two-dimensional array},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {3},
PAGES = {321-337},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Madlener-Otto/88,
AUTHOR = {Madlener, Klaus and Otto, Friedrich},
TITLE = {Pseudo-natural algorithms for finitely generated presentations of monoids and groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {3},
PAGES = {339-358},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Mints-Tyugu/88,
AUTHOR = {Mints, G. and Tyugu, E.},
TITLE = {The programming system PRIZ},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {3},
PAGES = {359-375},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sage/88,
AUTHOR = {Sage, Martin L.},
TITLE = {An algebraic treatment of quantum vibrations using REDUCE},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {3},
PAGES = {377-384},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Mawata/88,
AUTHOR = {Mawata, C.P.},
TITLE = {Solving the heat equation symbolically with MuSimp},
JOURNAL = {J. Symbolic Computation},
VOLUME = {5},
NUMBER = {3},
PAGES = {385-389},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}