External Links

    Journal: Journal of Symbolic Computation

    Volume 20, Issue 5/6

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

    Volume 20, Issue 4

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

    Volume 20, Issue 3

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

    Volume 20, Issue 2

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

    Volume 20, Issue 1

    1 -- 41Enno Ohlebusch. Modular Properties of Composable Term Rewriting Systems
    43 -- 60Hans Zantema. Total Termination of Term Rewriting is Undecidable
    61 -- 69István Gaál. Computing Elements of Given Index in Totally Complex Cyclic Sextic Fields
    71 -- 92Graham H. Norton. On n-Dimensional Sequences I
    93 -- 115Graham H. Norton. On the Minimal Realizations of a Finite Sequence
    runs on