Journal of Symbolic Computation, Volume 2, 1986

Volume 2, Number 1, March 1986

Jerald J. Kovacic: An Algorithm for Solving Second Order Linear Homogeneous Differential Equations. 3-43 BibTeX
M. D. Atkinson, R. A. Hassan: On the Computation of Group Characters. 45-50 BibTeX
Michael C. Slattery: Computing Character Degrees in p-Groups. 51-58 BibTeX
Ana Pasztor: Non-Standard Algorithmic and Dynamic Logic. 59-81 BibTeX
W. Böge, Rüdiger Gebauer, Heinz Kredel: Some Examples for Solving Systems of Algebraic Equations by Calculating Groebner Bases. 83-98 BibTeX
Chandrajit L. Bajaj: Proving Geometric Algorithm Non-Solvability: An Application of Factoring Polynomials. 99-102 BibTeX
Stanley J. Watowich, Jeffery L. Krause, R. Stephen Berry: Stability Analysis of an Optimally Controlled Light-Driven Engine. 103-108 BibTeX

Jürgen Avenhaus: On the Descriptive Power of Term Rewriting Systems. 109-122 BibTeX
Ulrich Furbach, Steffen Hölldobler: Modelling the Combination of Functional and Logic Programming Languages. 123-138 BibTeX
Lorenzo Robbiano: On the Theory of Graded Structures. 139-170 BibTeX
Herbert Edelsbrunner, Roman Waupotitsch: Computing a Ham-Sandwich Cut in Two Dimensions. 171-178 BibTeX
Bruce W. Char, Gregory J. Fee, Keith O. Geddes, Gaston H. Gonnet, Michael B. Monagan: A Tutorial Introduction to Maple. 179-200 BibTeX
Anthony Duncan, Ralph Roskies: Representations of Unusual Mathematical Structures in Scientific Applications of Symbolic Computation. 201-206 BibTeX
Carl Trindle: Application of the MuMATH(R) Symbol Manipulation System to Chemically Significant Permutation Groups. 207-21 BibTeX
Stanly Steinberg, Patrick J. Roache: Using MACSYMA to Write FORTRAN Subroutines. 213-216 BibTeX

B. F. Caviness: Computer Algebra: Past and Future. 217-236 BibTeX
James H. Davenport: Elementary and Liouvillian Solutions of Linear Differential Equations. 237-260 BibTeX
Heinrich Rolletschek: On the Number of Divisions of the Euclidean Algorithm Applied to Gaussian Integers. 261-291 BibTeX
David A. Plaisted, Steven Greenbaum: A Structure-Preserving Clause Form Translation. 293-304 BibTeX
Paul S. Wang: FINGER: A Symbolic System for Automatic Generation of Numerical Programs in Finite Element Analysis. 305-316 BibTeX

Ronald V. Book, Jörg H. Siekmann: On Unification: Equational Theories Are Not Bounded. 317-324 BibTeX
Lawrence C. Paulson: Constructing Recursion Operators in Intuitionistic Type Theory. 325-355 BibTeX
Murray R. Bremner: Fast Computation of Weight Multiplicities. 357-362 BibTeX
Philippe le Chenadec: A Catalogue of Complete Group Presentations. 363-381 BibTeX
Dieter Armbruster, Heinz Kredel: Constructing Universal Unfoldings Using Gröbner Bases. 383-388 BibTeX
B. Kutzler, Sabine Stifter: On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving. 389-397 BibTeX
Deepak Kapur: Using Gröbner Bases to Reason About Geometry Problems. 399-408 BibTeX