@article{Bachmair-Dershowitz/88,
AUTHOR = {Bachmair, Leo and Dershowitz, Nachum},
TITLE = {Critical pair criteria for completion},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {1-18},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kapur-Musser-Narendran/88,
AUTHOR = {Kapur, Deepak and Musser, David R. and Narendran, Paliath},
TITLE = {Only prime superpositions need be considered in the Knuth-Bendix completion procedure},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {19-36},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kandri-Rody-Kapur/88,
AUTHOR = {Kandri-Rody, Abdelilah and Kapur, Deepak},
TITLE = {Computing a Gr{\"o}bner basis of a polynomial ideal over a Euclidean domain},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {37-57},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Robertson/88,
AUTHOR = {Robertson, Edmund F.},
TITLE = {Tietze transformations with weighted substring search},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {59-64},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Myers-Gokhale/88,
AUTHOR = {Myers, Thomas J. and Gokhale, Maya B.},
TITLE = {Parallel scheduling of recursively defined arrays},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {65-81},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cantone-Ghelfo-Omodeo/88,
AUTHOR = {Cantone, Domenico and Ghelfo, Susanna and Omodeo, Eugenio},
TITLE = {The automation of syllogistic --- I. Syllogistic normal forms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {83-98},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wrathall/88,
AUTHOR = {Wrathall, C.},
TITLE = {The word problem for free partially commutative groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {99-104},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Michler/88,
AUTHOR = {Michler, Gerhard O.},
TITLE = {An algorithm for determining the simplicity of a modular group representation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {105-111},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Dixmier-Lazard/88,
AUTHOR = {Dixmier, J. and Lazard, D.},
TITLE = {Minimum number of fundamental invariants for the binary form of degree 7},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {113-115},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ollongren/88,
AUTHOR = {Ollongren, Alexander},
TITLE = {On a particular restricted five-body problem --- An analysis with computer algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {117-126},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Davenport/88,
AUTHOR = {Davenport, J.H.},
TITLE = {Computer algebra applied to itself},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {127-132},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bayer-Stillman/88,
AUTHOR = {Bayer, David and Stillman, Michael},
TITLE = {On the complexity of computing Syzygies},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {135-147},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Shtokhamer/88,
AUTHOR = {Shtokhamer, R.},
TITLE = {Lifting canonical algorithms for a ring $R$ to the ring $R[x]$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {169-181},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bayer-Morrison/88,
AUTHOR = {Bayer, David and Morrison, Ian},
TITLE = {Standard bases and geometric invariant theory --- I. Initial ideals and state polytopes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {209-217},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Carra_Ferro/88,
AUTHOR = {Carr{\`a} Ferro, Giuseppa},
TITLE = {Gr{\"o}bner bases and Hilbert schemes --- I.},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {219-230},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kredel-Weispfenning/88,
AUTHOR = {Kredel, Heinz and Weispfenning, Volker},
TITLE = {Computing dimension and independent sets for polynomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {231-247},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Giusti/88,
AUTHOR = {Giusti, Marc},
TITLE = {Combinatorial dimension theory of algebraic varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {249-265},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gebauer-Moller/88,
AUTHOR = {Gebauer, R{\"u}diger and M{\"o}ller, H. Michael},
TITLE = {On an installation of Buchberger's algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {275-286},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Miola-Mora/88,
AUTHOR = {Miola, A. and Mora, T.},
TITLE = {Constructive lifting in graded structures: A unified view of Buchberger and Hensel methods},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {305-322},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Brundu-Rossi/88,
AUTHOR = {Brundu, Michela and Rossi, Fabio},
TITLE = {On the computation of generalized standard bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {323-343},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Moller/88,
AUTHOR = {M{\"o}ller, H. Michael},
TITLE = {On the construction of Gr{\"o}bner bases using Syzygies},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {345-359},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Apel-Lassner/88,
AUTHOR = {Apel, J. and Lassner, W.},
TITLE = {An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {361-370},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gateva-Ivanova-Latyshev/88,
AUTHOR = {Gateva-Ivanova, Tatiana and Latyshev, Victor},
TITLE = {On recognisable properties of associative algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {371-388},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@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},
}