External Links

    Journal: Journal of Symbolic Computation

    Volume 12, Issue 6

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

    Volume 12, Issue 4/5

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

    Volume 12, Issue 3

    255 -- 274Friedrich Otto. When is an Extension of a Specification Consistent? Decidable and Undecidable Cases
    299 -- 328George E. Collins, H. Hong. Partial Cylindrical Algebraic Decomposition for Quantifier Elimination
    337 -- 372C. Jacobsson, C. Löfwall. Standard Bases for General Coefficient Rings and a New Constructive Proof of Hilbert s Basis Theorem
    373 -- 380V. Sailer, Guillermo Morales-Luna. On the Polynomial Representation of Generalized Liouville Operators
    381 -- 389W. L. Roque, R. P. Dos Santos. Computer Algebra in Spacetime Embedding

    Volume 12, Issue 2

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

    Volume 12, Issue 1

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