Journal of Symbolic Computation, Volume 16, 1993

Volume 16, Number 1, July 1993

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

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

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

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

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

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