Journal of Symbolic Computation, Volume 20, 1995

Volume 20, Number 1, July 1995

Enno Ohlebusch: Modular Properties of Composable Term Rewriting Systems. 1-41 BibTeX
Hans Zantema: Total Termination of Term Rewriting is Undecidable. 43-60 BibTeX
István Gaál: Computing Elements of Given Index in Totally Complex Cyclic Sextic Fields. 61-69 BibTeX
Graham H. Norton: On n-Dimensional Sequences I. 71-92 BibTeX , Corrigenda: JSC 20(5/6): 769-770 (1995)
Graham H. Norton: On the Minimal Realizations of a Finite Sequence. 93-115 BibTeX

Volume 20, Number 2, August 1995

Ioannis Z. Emiris, John F. Canny: Efficient Inceremtal Algorithms for the Sparse Resultant and the Mixed Volume. 117-149 BibTeX
François Arnault: Constructing Carmichael Numbers which are Strong Pseudoprimes to Several Bases. 151-161 BibTeX
Günter Czichowski: A Note on Gröbner Bases and Integration of Rational Functions. 163-167 BibTeX
John Shackell, Bruno Salvy: Asymptotic Forms and Algebraic Differential Equations. 169-177 BibTeX
Gernot Haager, Gerd Baumann, Theo F. Nonnenmacher: An Algorithm to Determine Potential Systems in Mathematica. 179-196 BibTeX
David Hartley, Philip Tuckey: Gröbner Bases in Clifford and Grassmann Algebras. 197-205 BibTeX
B. Curtis Eaves, Uriel G. Rothblum: Linear Problems and Linear Algorithms. 207-214 BibTeX
Max Dauchet, Anne-Cécile Caron, Jean-Luc Coquidé: Automata for Reduction Properties Solving. 215-233 BibTeX

Volume 20, Number 3, September 1995

Peter Paule: Greatest Factorial Factorization and Symbolic Summation. 235-268 BibTeX
Gilles Villard: Generalized Subresultants for Computing the Smith Normal Form of Polynomial Matrices. 269-286 BibTeX
George E. Collins, Mark J. Encarnación: Efficient Rational Number Reconstruction. 287-297 BibTeX
Mark J. Encarnación: Computing GCDs of Polynomials over Algebraic Number Fields. 299-313 BibTeX
Alberto Policriti, Jacob T. Schwartz: T-Theorem Proving I. 315-342 BibTeX
Miki Hermann, Phokion G. Kolaitis: The Complexity of Counting Problems in Equational Matching. 343-362 BibTeX

Volume 20, Number 4, October 1995

Victor Shoup: A New Polynomial Factorization Algorithm and its Implementation. 363-397 BibTeX
Wolfram Koepf: Algorithms for m-Fold Hypergeometric Summation. 399-417 BibTeX
Catherine S. Greenhill: Theoretical and Experimental Comparison of Efficiency of Finite Field Extensions. 419-429 BibTeX
Denis Lugiez: Positive and Negative Results for Higher-Order Disunification. 431-470 BibTeX
Janusz Konieczny: Reduced Idempotents in the Semigroup of Boolean Matrices. 471-482 BibTeX

Volume 20, Number 5/6, November/December 1995

Special Issue: Symbolic Computation in Combinatories Delta_1

George E. Andrews: On a Conjecture of Peter Borwein. 487-501 BibTeX
Maylis Delest, Jean-Philippe Dubernard, I. Dutour: Parallelogram Polyominoes and Corners. 503-515 BibTeX
Frank G. Garvan: Ramanujan's Theories of Elliptic Functions to Alternative Bases-a Symbolic Excursion. 517-536 BibTeX
Ira M. Gessel: Finding Identities with the WZ Method. 537-566 BibTeX
Gilbert Labelle: Some Combinatorial Results First Found Using Computer Algebra. 567-594 BibTeX
Petr Lisonek: Closed Forms for the Number of Polygon Dissections. 595-601 BibTeX
Roberto Pirastu, Kurt Siegl: Parallel Computation and Indefinite Summation: A MAPLE Application for the Rational Case. 603-616 BibTeX
Roberto Pirastu, Volker Strehl: Rational Summation and Gosper-Petkovsek Representation. 617-635 BibTeX
Nobuki Takayama: An Algorithm for Finding Recurrence Ralations of Binomial Sums and its Complexity. 637-651 BibTeX
Philippe Flajolet, Bruno Salvy: Computer Algebra Libraries for Combinatorial Structures. 653-671 BibTeX
Peter Paule, Markus Schorn: A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities. 673-698 BibTeX
Doron Zeilberger: Three Recitations on Holonomic Systems and Hypergeometric Series. 699-724 BibTeX
Volker Strehl, Herbert S. Wilf: Five Surprisingly Simple Complexities. 725-729 BibTeX
Herbert S. Wilf: The Computer-Aided Discovery of a Theorem about Young Tableaux. 731-735 BibTeX
Christian Krattenthaler: HYP and HYPQ. 737-744 BibTeX
István Nemes, Marko Petkovsek: RComp: A Mathematica Package for Computing with Recursive Sequences. 745-753 BibTeX
John R. Stembridge: A Maple Package for Symmetric Functions. 755-768 BibTeX