@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},
}
@article{Yi-Xu/95,
AUTHOR = {Yi, Bo and Xu, Jiafu},
TITLE = {Analogical type theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {3-24},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Weber/95a,
AUTHOR = {Weber, Andreas},
TITLE = {On coherence in computer algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {25-38},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{di_Blasio-Temperini/95,
AUTHOR = {di Blasio, Paolo and Temperini, Marco},
TITLE = {Subtyping inheritance and its application in languages for symbolic computation systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {39-63},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hearn-Schrufer/95,
AUTHOR = {Hearn, Anthony C. and Schr{\"u}fer, Eberhard},
TITLE = {A computer algebra system based on order-sorted algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {65-77},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Santas/95,
AUTHOR = {Santas, Philip S.},
TITLE = {A type system for computer algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {79-109},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hong-Neubacher-Schreiner/95,
AUTHOR = {Hong, Hoon and Neubacher, Andreas and Schreiner, Wolfgang},
TITLE = {The design of the SACLIB/PACLIB kernels},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {111-132},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Norman/95,
AUTHOR = {Norman, A.C.},
TITLE = {Compact delivery support for REDUCE},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {133-143},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Jebelean/95,
AUTHOR = {Jebelean, Tudor},
TITLE = {A double-digit Lehmer-Euclid algorithm for finding the GCD of long integers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {145-157},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fournier-Kajler-Mourrain/95,
AUTHOR = {Fournier, Robert and Kajler, Norbert and Mourrain, Bernard},
TITLE = {Visualization of mathematical surfaces: The IZIG server approach},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {159-173},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cioni-Colagrossi-Miola/95,
AUTHOR = {Cioni, Gianna and Colagrossi, Attilio and Miola, Alfonso},
TITLE = {A sequent calculus for automated reasoning in symbolic computation systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {175-199},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Farmer-Guttman-Thayer/95,
AUTHOR = {Farmer, William M. and Guttman, Joshua D. and Thayer, F. Javier},
TITLE = {Contexts in mathematical reasoning and computation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {201-216},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Caferra-Lifia-Imag/95,
AUTHOR = {Caferra, Ricardo and Lifia-Imag, Michel Herment},
TITLE = {A generic graphic framework for combining inference tools and editing proofs and formulae},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {217-243},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bonacina-Hsiang/95,
AUTHOR = {Bonacina, Maria Paola and Hsiang, Jieh},
TITLE = {Distributed deduction by Clause-diffusion: Distributed contraction and the Aquarius prover},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {245-267},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Diaz-Hitz-Kaltofen-Lobo-Valente/95,
AUTHOR = {D{\'{i}}az, A. and Hitz, M. and Kaltofen, E. and Lobo, A. and Valente, T.},
TITLE = {Process scheduling in DSC and the large sparse linear systems challenge},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {1-3},
PAGES = {269-282},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gobel/95,
AUTHOR = {G{\"o}bel, Manfred},
TITLE = {Computing bases for rings of permutation-invariant polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {4},
PAGES = {285-291},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Malm-Subramaniam/95,
AUTHOR = {Malm, D.E.G. and Subramaniam, T.N.},
TITLE = {The summation of rational functions by an extended Gosper algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {4},
PAGES = {293-304},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Poli/95,
AUTHOR = {Poli, Alain},
TITLE = {A deterministic construction of normal bases with complexity $O(n^3+n\log n\log(\log n)\log q)$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {4},
PAGES = {305-319},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Nieuwenhuis-Rubio/95,
AUTHOR = {Nieuwenhuis, Robert and Rubio, Albert},
TITLE = {Theorem proving with ordering and equality constrained clauses},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {4},
PAGES = {321-351},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Baaz-Fermuller/95,
AUTHOR = {Baaz, Matthias and Ferm{\"u}ller, Christian G.},
TITLE = {Resolution-based theorem proving for many-valued logics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {4},
PAGES = {353-391},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lee-Saunders/95,
AUTHOR = {Lee, Hong R. and Saunders, B. David},
TITLE = {Fraction free Gaussian elimination for sparse matrices},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {5},
PAGES = {393-402},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zharkov/95,
AUTHOR = {Zharkov, Alexey},
TITLE = {Coefficient fields of solutions in Kovacic's algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {5},
PAGES = {403-408},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{von_zur_Gathen-Weiss/95,
AUTHOR = {von zur Gathen, Joachim and Weiss, J{\"u}rgen},
TITLE = {Homogeneous bivariate decompositions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {5},
PAGES = {409-434},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{del_Corso/95,
AUTHOR = {del Corso, Ilaria},
TITLE = {Factorization of prime ideal extensions in Dedekind Domains},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {5},
PAGES = {435-439},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Apel/95,
AUTHOR = {Apel, Joachim},
TITLE = {A Gr{\"o}bner approach to involutive bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {5},
PAGES = {441-457},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Carmody-Leeming-Walters/95,
AUTHOR = {Carmody, S. and Leeming, M. and Walters, R.F.C.},
TITLE = {The Todd-Coxeter procedure and left Kan extensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {5},
PAGES = {459-488},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Jezek-McNulty/95,
AUTHOR = {Je{\v{z}}ek, Jaroslav and McNulty, George F.},
TITLE = {Perfect bases for equational theories},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {5},
PAGES = {489-505},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Filgueiras-Tomas/95,
AUTHOR = {Filgueiras, Miguel and Tom{\'{a}}s, Ana Paula},
TITLE = {A fast method for finding the basis of non-negative solutions to a linear diophantine equation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {6},
PAGES = {507-526},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Alonso-Gutierrez-Recio/95,
AUTHOR = {Alonso, Cesar and Gutierrez, Jaime and Recio, Tomas},
TITLE = {A rational function decomposition algorithm by near-separated polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {6},
PAGES = {527-544},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Grabe/95a,
AUTHOR = {Gr{\"a}be, Hans-Gert},
TITLE = {Algorithms in local algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {6},
PAGES = {545-557},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hendriks-Put/95,
AUTHOR = {Hendriks, Peter A. and Put, Marius van der},
TITLE = {Galois action on solutions of a differential equation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {6},
PAGES = {559-576},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Murray-OBrien/95,
AUTHOR = {Murray, Scott H. and O'Brien, E.A.},
TITLE = {Selecting base points for the Schreier-Sims algorithm for matrix groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {6},
PAGES = {577-584},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hiss-Lux-Muller/95,
AUTHOR = {Hiss, Gerhard and Lux, Klaus and M{\"u}ller, J{\"u}rgen},
TITLE = {The 2-modular decomposition matrices of the non-principal blocks of maximal defect of the triple cover of the sporadic simple McLaughlin group},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {6},
PAGES = {585-600},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kahrs/95,
AUTHOR = {Kahrs, Stefan},
TITLE = {Confluence of curried term-rewriting systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {19},
NUMBER = {6},
PAGES = {601-623},
YEAR = {1995},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}