@article{Ohlebusch/95a,
AUTHOR = {Ohlebusch, Enno},
TITLE = {Modular properties of composable term rewriting systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {1},
PAGES = {1-41},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zantema/95,
AUTHOR = {Zantema, Hans},
TITLE = {Total termination of term rewriting is undecidable},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {1},
PAGES = {43-60},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gaal/95,
AUTHOR = {Ga{\'{a}}l, Istv{\'{a}}n},
TITLE = {Computing elements of given index in totally complex cyclic sextic fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {1},
PAGES = {61-69},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Norton/95,
AUTHOR = {Norton, Graham},
TITLE = {On $n$-dimensional sequences --- I},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {1},
PAGES = {71-92},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
NOTE = {see Corrigenda On $n$-dimensional sequences --- I, Vol. 20, 1995, 769-770},
}
@article{Norton/95a,
AUTHOR = {Norton, Graham},
TITLE = {On the minimal realizations of a finite sequence},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {1},
PAGES = {93-115},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Emiris-Canny/95,
AUTHOR = {Emiris, Ioannis Z. and Canny, John F.},
TITLE = {Efficient incremental algorithms for the sparse resultant and the mixed volume},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {2},
PAGES = {117-149},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Arnault/95,
AUTHOR = {Arnault, Fran{\c{c}}ois},
TITLE = {Constructing Carmichael numbers which are strong pseudoprimes to several bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {2},
PAGES = {151-161},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Czichowski/95,
AUTHOR = {Czichowski, G{\"u}nter},
TITLE = {A note on Gr{\"o}bner bases and integration of rational functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {2},
PAGES = {163-167},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Shackell-Salvy/95,
AUTHOR = {Shackell, John and Salvy, Bruno},
TITLE = {Asymptotic forms and algebraic differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {2},
PAGES = {169-177},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Haager-Baumann-Nonnenmacher/95,
AUTHOR = {Haager, Gernot and Baumann, Gerd and Nonnenmacher, Theo F.},
TITLE = {An algorithm to determine potential systems in mathematica},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {2},
PAGES = {179-196},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hartley-Tuckey/95,
AUTHOR = {Hartley, David and Tuckey, Philip},
TITLE = {Gr{\"o}bner bases in Clifford and Grassmann algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {2},
PAGES = {197-205},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Eaves-Rothblum/95,
AUTHOR = {Eaves, B. Curtis and Rothblum, Uriel G.},
TITLE = {Linear problems and linear algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {2},
PAGES = {207-214},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Dauchet-Caron-Coquide/95,
AUTHOR = {Dauchet, Max and Caron, Anne-C{\'{e}}cile and Coquid{\'{e}}, Jean-Luc},
TITLE = {Automata for reduction properties solving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {2},
PAGES = {215-233},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Paule/95,
AUTHOR = {Paule, Peter},
TITLE = {Greatest factorial factorization and symbolic summation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {3},
PAGES = {235-268},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Villard/95,
AUTHOR = {Villard, Gilles},
TITLE = {Generalized subresultants for computing the Smith normal form of polynomial matrices},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {3},
PAGES = {269-286},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Collins-Encarnacion/95,
AUTHOR = {Collins, George E. and Encarnaci{\'{o}}n, Mark J.},
TITLE = {Efficient rational number reconstruction},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {3},
PAGES = {287-297},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Encarnacion/95,
AUTHOR = {Encarnaci{\'{o}}n, Mark J.},
TITLE = {Computing GCD's of polynomials over algebraic number fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {3},
PAGES = {299-313},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Policriti-Schwartz/95,
AUTHOR = {Policriti, Alberto and Schwartz, Jacob T.},
TITLE = {$T$-theorem proving I},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {3},
PAGES = {315-342},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hermann-Kolaitis/95,
AUTHOR = {Hermann, Miki and Kolaitis, Phokion G.},
TITLE = {The complexity of counting problems in equational matching},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {3},
PAGES = {343-362},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Shoup/95,
AUTHOR = {Shoup, Victor},
TITLE = {A new polynomial factorization algorithm and its implementation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {4},
PAGES = {363-397},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Koepf/95,
AUTHOR = {Koepf, Wolfram},
TITLE = {Algorithms for $m$-fold hypergeometric summation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {4},
PAGES = {399-417},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Greenhill/95,
AUTHOR = {Greenhill, Catherine S.},
TITLE = {Theoretical and experimental comparison of efficiency of finite field extensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {4},
PAGES = {419-429},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lugiez/95,
AUTHOR = {Lugiez, D.},
TITLE = {Positive and negative results for higher-order disunification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {4},
PAGES = {431-470},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Konieczny/95,
AUTHOR = {Konieczny, Janusz},
TITLE = {Reduced idempotents in the semigroup of Boolean matrices},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {4},
PAGES = {471-482},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Andrews/95,
AUTHOR = {Andrews, George E.},
TITLE = {On a conjecture of Peter Borwein},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {487-501},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Delest-Dubernard-Dutour/95,
AUTHOR = {Delest, M. and Dubernard, J.P. and Dutour, I.},
TITLE = {Parallelogram polyominoes and corners},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {503-515},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Garvan/95,
AUTHOR = {Garvan, Frank G.},
TITLE = {Ramanujan's theories of elliptic functions to alternative bases --- A symbolic excursion},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {517-536},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gessel/95,
AUTHOR = {Gessel, Ira M.},
TITLE = {Finding identities with the WZ method},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {537-566},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Labelle/95,
AUTHOR = {Labelle, Gilbert},
TITLE = {Some combinatorial results first found using computer algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {567-594},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lisonek/95,
AUTHOR = {Lison{\v{e}}k, Petr},
TITLE = {Closed forms for the number of polygon dissections},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {595-601},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pirastu-Siegl/95,
AUTHOR = {Pirastu, Roberto and Siegl, Kurt},
TITLE = {Parallel computation and indefinite summation: A $\|$MAPLE$\|$ application for the rational case},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {603-616},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pirastu-Strehl/95,
AUTHOR = {Pirastu, Roberto and Strehl, Volker},
TITLE = {Rational summation and Gosper-Petkov{\v{s}}ek representation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {617-635},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Takayama/95,
AUTHOR = {Takayama, Nobuki},
TITLE = {An algorithm for finding recurrence relations of binomial sums and its complexity},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {637-651},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Flajolet-Salvy/95,
AUTHOR = {Flajolet, Philippe and Salvy, Bruno},
TITLE = {Computer algebra libraries for combinatorial structures},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {653-671},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Paule-Schorn/95,
AUTHOR = {Paule, Peter and Schorn, Markus},
TITLE = {A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {673-698},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zeilberger/95,
AUTHOR = {Zeilberger, Doron},
TITLE = {Three recitations on holonomic systems and hypergeometric series},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {699-724},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Strehl-Wilf/95,
AUTHOR = {Strehl, Volker and Wilf, Herbert S.},
TITLE = {Five surprisingly simple complexities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {725-729},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wilf/95,
AUTHOR = {Wilf, Herbert S.},
TITLE = {The computer-aided discovery of a theorem about young tableaux},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {731-735},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Krattenthaler/95,
AUTHOR = {Krattenthaler, C.},
TITLE = {HYP and HYPQ},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {737-744},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Nemes-Petkovsek/95,
AUTHOR = {Nemes, Istv{\'{a}}n and Petkov{\v{s}}ek, Marko},
TITLE = {RComp: A Mathematica package for computing with recursive sequences},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {745-753},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Stembridge/95,
AUTHOR = {Stembridge, John R.},
TITLE = {A Maple package for symmetric functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {755-768},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Norton/95b,
AUTHOR = {Norton, Graham},
TITLE = {On $n$-dimensional sequences --- I. Corrigenda},
JOURNAL = {J. Symbolic Computation},
VOLUME = {20},
NUMBER = {5-6},
PAGES = {769-770},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}