External Links

    Journal: Journal of Symbolic Computation

    Volume 29, Issue 1

    1 -- 0B. F. Caviness. Editorial
    3 -- 4Hoon Hong. Editorial
    5 -- 31Ronald Brown, Anne Heyworth. Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories
    33 -- 57Sergey Bratus, Igor Pak. Fast Constructive Recognition of a Black Box Group Isomorphic to Sn or An using Goldbach s Conjecture
    59 -- 77Sarah Rees, Leonard H. Soicher. An Algorithmic Approach to Fundamental Groups and Covers of Combinatorial Cell Complexes
    79 -- 82David A. Wolfram. A Formula for the General Solution of a Constant-coefficient Difference Equation
    83 -- 94Vincent Prosper. SFA, a Package on Symmetric Functions Considered as Operators over the Ring of Polynomials for the Computer Algebra System Maple
    95 -- 116John Carminati, Khai Vu. Symbolic Computation and Differential Equations: Lie Symmetries
    runs on