External Links

    Journal: Journal of Symbolic Computation

    Volume 16, Issue 6

    523 -- 549Amnon Rosenmann. An Algorithm for Constructing Gröbner and Free Schreier Bases in Free Group Algebras
    551 -- 555Arno van den Essen. An Algorithm to Compute the Invariant Ring of a G_a-Action on an Affine Variety
    557 -- 562David Pokrass Jacobs, Sekhar V. Muddana. The Word Problem for Free Partially Commutative, Partially Associative Groupoids
    563 -- 584István Gaál, Attila Pethö, Michael Pohst. On the Resolution of Index Form Equations in Quartic Number Fields
    585 -- 595Xiao-Shan Gao, Shang-Ching Chou. A Zero Structure Theorem for Differential Parametric Systems
    597 -- 626Alexandre Boudet. Combining Unification Algorithms

    Volume 16, Issue 5

    401 -- 412Harald Niederreiter, Rainer Göttfert. Factorization of Polynomials over Finite Fields and Characteristic Sequences
    413 -- 422Gregory Butler. The Transitive Groups of Degree Fourteen and Fifteen
    423 -- 443Yiu-Kwong Man. Computing Closed Form Solutions of First Order ODEs Using the Prelle-Singer Procedure
    445 -- 477Peter Baumgartner, Ulrich Furbach. Consolution as a Framework for Comparing Calculi
    479 -- 491Alessandro Berarducci, Marisa Venturini Zilli. Generalizations of Unification
    493 -- 521Evelyne Contejean. Solving *-Problems Modulo Distributivity by a Reduction to AC1-Unification

    Volume 16, Issue 4

    321 -- 328István Gaál. A Fast Algorithm for Finding Small Solutions of F(x, y)=G(x, y) over Imaginary Quadratic Fields
    329 -- 344Jean-Charles Faugère, Patrizia M. Gianni, Daniel Lazard, Teo Mora. Efficient Computation of Zero-Dimensional Gröbner Bases by Change of Ordering
    345 -- 354Michael R. Vaughan-Lee. An Algorithm for Computing Graded Algebras
    355 -- 376Yiu-Kwong Man. On Computing Closed Forms for Indefinite Summations
    377 -- 399John P. Boyd. Chebyshev and Legendre Spectral Methods in Algebraic Manipulation Languages

    Volume 16, Issue 3

    227 -- 241Paul H. Knowles. Integration of a Class of Transcendental Liouvillian Functions with Error-Functions, Part II
    243 -- 258Petr Lisonek, Peter Paule, Volker Strehl. Improvement of the Degree Setting in Gospers s Algorithm
    259 -- 272J. H. Rieger. Computing View Graphs of Algebraic Surfaces
    273 -- 277Alyson Reeves, Bernd Sturmfels. A Note on Polynomial Reduction
    279 -- 288Ralph Freese, Jaroslav Jezek, James B. Nation. Term Rewrite Systems for Lattice Theory
    289 -- 293Irvin Roy Hentzel, David Pokrass Jacobs, Sekhar V. Muddana. Experimenting with the Identity (xy)z = y(zx)
    295 -- 303István Gaál. On the Resolution of F(x, y)=G(x, y)
    305 -- 320E. A. O Brien. Isomorphism Testing for p-Groups

    Volume 16, Issue 2

    83 -- 114Dongming Wang. An Elimination Method for Polynomial Systems
    115 -- 130David W. Boyd. Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri s Norms: I. The Largest Factor
    131 -- 145David W. Boyd. Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri s Norms: II. The Smallest Factor
    147 -- 153George E. Andrews, Peter Paule. Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum Identy
    155 -- 165Peter Schorn. An Axiomatic Approach to Robust Geometric Programs
    167 -- 187Klaus Madlener, Andrea Sattler-Klein, Friedrich Otto. On the Problem of Generating Small Convergent Systems
    189 -- 226Todd C. Torgersen. Parallel Scheduling of Recursively Defined Arrays: Revisited

    Volume 16, Issue 1

    1 -- 7M. Ph. Saux Picart. Schur-Cohn Sub-Transforms of a Polynomial
    9 -- 36Michael F. Singer, Felix Ulmer. Galois Groups of Second and Third Order Linear Differential Equations
    37 -- 73Michael F. Singer, Felix Ulmer. Liouvillian and Algebraic Solutions of Second and Third Order Linear Differential Equations
    75 -- 81Michael Kalkbrener, Moss Sweedler, L. Taylor. Low Degree Solutions to Linear Equations with K[x] Coefficients
    runs on