@article{Kovacic/86,
AUTHOR = {Kovacic, Jerald J.},
TITLE = {An algorithm for solving second order linear homogeneous differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {1},
PAGES = {3-43},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Atkinson-Hassan/86,
AUTHOR = {Atkinson, M.D. and Hassan, R.A.},
TITLE = {On the computation of group characters},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {1},
PAGES = {45-50},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Slattery/86,
AUTHOR = {Slattery, Michael C.},
TITLE = {Computing character degrees in $p$-groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {1},
PAGES = {51-58},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Pasztor/86,
AUTHOR = {Pasztor, Ana},
TITLE = {Non-standard algorithmic and dynamic logic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {1},
PAGES = {59-81},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Boege-Gebauer-Kredel/86,
AUTHOR = {Boege, W. and Gebauer, R. and Kredel, H.},
TITLE = {Some examples for solving systems of algebraic equations by calculating Groebner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {1},
PAGES = {83-98},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Bajaj/86,
AUTHOR = {Bajaj, Chanderjit},
TITLE = {Proving geometric algorithm non-solvability: An application of factoring polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {1},
PAGES = {99-102},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Watowich-Krause-Berry/86,
AUTHOR = {Watowich, Stanley J. and Krause, Jeffery L. and Berry, R. Stephen},
TITLE = {Stability analysis of an optimally controlled light-driven engine},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {1},
PAGES = {103-108},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Avenhaus/86,
AUTHOR = {Avenhaus, J.},
TITLE = {On the Descriptive Power of Term Rewriting Systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {2},
PAGES = {109-122},
YEAR = {1986},
}
@article{Robbiano/86,
AUTHOR = {Robbiano, L.},
TITLE = {On the Theory of Graded Structures},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {2},
PAGES = {139-170},
YEAR = {1986},
}
@article{Edelsbrunner-Waupotitsch/86,
AUTHOR = {Edelsbrunner, H. and Waupotitsch, R.},
TITLE = {Computing a Ham-sandwich Cut in Two Dimensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {2},
PAGES = {171-178},
YEAR = {1986},
}
@article{Char-Fee-Geddes-Gonnet-Monagan/86,
AUTHOR = {Char, B.W. and Fee, G.J. and Geddes, K.O. and Gonnet, G.H. and Monagan, M.B.},
TITLE = {A Tutorial Introduction to Maple},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {2},
PAGES = {179-200},
YEAR = {1986},
}
@article{Duncan-Roskies/86,
AUTHOR = {Duncan, Anthony and Roskies, Ralph},
TITLE = {Representations of unusual mathematical structures in scientific applications of symbolic computation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {2},
PAGES = {201-206},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Duncan-Roskies/86a,
AUTHOR = {Duncan, A. and Roskies, R.},
TITLE = {Representations of Unusual Mathematical Structures in Scientific Applications of Symbolic Computation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {2},
PAGES = {201-207},
YEAR = {1986},
}
@article{Trindle/86,
AUTHOR = {Trindle, Carl},
TITLE = {Application of the MuMATH(R) symbol manipulation system to chemically significant permutation groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {2},
PAGES = {207-212},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Steinberg-Roache/86,
AUTHOR = {Steinberg, Stanly and Roache, Patrick J.},
TITLE = {Using MACSYMA to write FORTRAN subroutines},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {2},
PAGES = {213-216},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Caviness/86,
AUTHOR = {Caviness, B.F.},
TITLE = {Computer Algebra: Past and Future},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {3},
PAGES = {217-236},
YEAR = {1986},
}
@article{Davenport-Singer/86,
AUTHOR = {Davenport, J.H. and Singer, M.F.},
TITLE = {Elementary and Liouvillian Solutions of Linear Differential Equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {3},
PAGES = {237-260},
YEAR = {1986},
}
@article{Rolletschek/86,
AUTHOR = {Rolletschek, Heinrich},
TITLE = {On the number of divisions of the Euclidean algorithm applied to Gaussian integers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {3},
PAGES = {261-291},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Rolletschek/86a,
AUTHOR = {Rolletschek, H.},
TITLE = {On the Number of Divisions of the Euclidean Algorithm Applied to Gaussian Integers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {3},
PAGES = {261-292},
YEAR = {1986},
}
@article{Plaisted-Greenbaum/86,
AUTHOR = {Plaisted, David A. and Greenbaum, Steven},
TITLE = {A structure-preserving clause form translation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {3},
PAGES = {293-304},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Wang/86,
AUTHOR = {Wang, Paul S.},
TITLE = {FINGER: A symbolic system for automatic generation of numerical programs in finite element analysis},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {3},
PAGES = {305-316},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Book-Siekmann/86,
AUTHOR = {Book, R.V. and Siekmann, J.H.},
TITLE = {On unification: Equational theories are not bouned},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {4},
PAGES = {317-324},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Paulson/86,
AUTHOR = {Paulson, Lawrence C.},
TITLE = {Constructing recursion operators in intuitionistic type theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {4},
PAGES = {325-355},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Bremner/86,
AUTHOR = {Bremner, Murray R.},
TITLE = {Fast computation of weight multiplicities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {4},
PAGES = {357-362},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{le_Chenadec/86,
AUTHOR = {le Chenadec, Philippe},
TITLE = {A catalogue of complete group presentations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {4},
PAGES = {363-381},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Armbruster-Kredel/86,
AUTHOR = {Armbruster, D. and Kredel, H.},
TITLE = {Constructing universal unfoldings using Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {4},
PAGES = {383-388},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Kutzler-Stifter/86,
AUTHOR = {Kutzler, B. and Stifter, S.},
TITLE = {On the application of Buchberger's algorithm to automated geometry theorem proving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {4},
PAGES = {389-397},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}
@article{Kapur/86a,
AUTHOR = {Kapur, Deepak},
TITLE = {Using Gr{\"o}bner bases to reason about geometry problems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {2},
NUMBER = {4},
PAGES = {399-408},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Toronto-Montreal-Sydney-Tokyo},
}