Journal of Symbolic Computation, Volume 12, 1991

Volume 12, Number 1, July 1991

Chee-Keng Yap: A New Lower Bound Construction for the Word Problem for Commutative Thue Systems. 1-28 BibTeX
Yukihide Takayama: Proof Theoretic Approach to the Extraction of Redundancy free Realizer Codes. 29-70 BibTeX
L. Lambe: Resolution via Homological Perturbation. 71-88 BibTeX
Marc Garbey, Hans G. Kaper, Gary K. Leaf, B. J. Matkowsky: Using MAPLE for the Analysis of Bifurcation Phenomena in Condensed-Phase Surface Combustion. 89-114 BibTeX
N. E. Oussous: Macsyma Computation of Local Minimal Realization of Dynamical Systems of which Generating Power Series are Finite. 115-126 BibTeX

D. Richardson: Wu's Method and the Khovanskii Finiteness Theorem. 127-142 BibTeX
Huub M. M. ten Eikelder, J. C. F. Wilmont: Normal Forms for a Class of Formulas. 143-160 BibTeX
Jan Willem Klop, Aart Middeldorp: Sequentiality in Orthogonal Term Rewriting Systems. 161-196 BibTeX
Jean-Marc Champarnaud, Georges Hansel: AUTOMATE, a Computing Package for Automata and Finite Semigroups. 197-220 BibTeX
P. Pasini, F. Semeria, C. Zannoni: Symbolic Computation of Orientational Correlation Function Moments. 221-232 BibTeX
D. Wang: Mechanical Manipulation for a Class of Differential Systems. 233-254 BibTeX

Friedrich Otto: When is an Extension of a Specification Consistent? Decidable and Undecidable Cases. 255-274 BibTeX
B. Schend: A Methodology for Detecting Shared Variable Dependencies in Logic Programs. 275-298 BibTeX
George E. Collins, H. Hong: Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. 299-328 BibTeX
G. Björck, G. Fröberg: A Faster Way to Count the Solution of Inhomogeneous Systems of Algebraic Equations, with Applications to Cyclic n-Roots. 329-336 BibTeX
C. Jacobsson, C. Löfwall: Standard Bases for General Coefficient Rings and a New Constructive Proof of Hilbert's Basis Theorem. 337-372 BibTeX
V. Sailer, Guillermo Morales-Luna: On the Polynomial Representation of Generalized Liouville Operators. 373-380 BibTeX
W. L. Roque, R. P. Dos Santos: Computer Algebra in Spacetime Embedding. 381-389 BibTeX

David Bernard Alper Epstein, Derek F. Holt, Sarah Rees: The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups. 397-414 BibTeX
Steve Linton: Double Coset Enumeration. 415-426 BibTeX
Steve Linton: Constructing Matrix Representations of Finitely Presented Groups. 427-438 BibTeX
Charles C. Sims: The Knuth-Bendix Procedure for Strings as a Substitute for Coset Enumeration. 439-442 BibTeX
Gregory Butler, John J. Cannon: Computing Sylow Subgroups of Permutation Groups Using Homomorphic Images of Centralizers. 443-458 BibTeX
Peter J. Cameron, John J. Cannon: Fast Recognition of Doubly Transitive Groups. 459-474 BibTeX
Gene Cooperman, Larry Finkelstein: A Strong Generating Test and Short Presentation for Permutation Groups. 475-498 BibTeX
Derek F. Holt: The Computation of Normalizers in Permutation Groups. 499-516 BibTeX
William M. Kantor: Finding Composition Factors of Permutation Groups of Degree n < 10^6. 517-526 BibTeX
Charles R. Leedham-Green, Cheryl E. Praeger, Leonard H. Soicher: Computing with Group Homomorphisms. 527-532 BibTeX
J. S. Leon: Permutation Group Algorithms Based on Partitions, I: Theory and Algorithms. 533-583 BibTeX

W. Herfort, H. Penz: A New Notion of Reduction: General Universal Gröbner Basis for K[x, y]. 585-606 BibTeX
J. Rafael Sendra, Franz Winkler: Symbolic Parametrization of Curves. 607-632 BibTeX
Tobias Nipkow: Combining Matching Algorithms: The Regular Case. 633-654 BibTeX
David Hartley, R. W. Tucker: A Constructive Implementation of the Cartan-Kähler Theory of Exterior Differential Systems. 655-668 BibTeX
R. J. Yamartino, Richard Pavelle: An Application of Computer Algebra to a Problem in Stratified Fluid Flow. 669-672 BibTeX
K. B. Wolf, G. Krötzsch: Group-Classified Polynomials of Phase Space in Higher-Order Aberration Expansions. 673-694 BibTeX
C. M. Andersen, J. F. Geer: Investigating a Hybrid Perturbation-Galerkin Technique Using Computer Algebra. 695-714 BibTeX