@article{Saux_Picart/93,
AUTHOR = {Saux Picart, M.Ph.},
TITLE = {Schur-Cohn sub-transforms of a polynomial},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {1},
PAGES = {1-7},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Singer-Ulmer/93,
AUTHOR = {Singer, Michael F. and Ulmer, Felix},
TITLE = {Galois groups of second and third order linear differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {1},
PAGES = {9-36},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Singer-Ulmer/93a,
AUTHOR = {Singer, Michael F. and Ulmer, Felix},
TITLE = {Liouvillian and algebraic solutions of second and third order linear differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {1},
PAGES = {37-73},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kalkbrener-Sweedler-Taylor/93,
AUTHOR = {Kalkbrener, M. and Sweedler, M. and Taylor, L.},
TITLE = {Low degree solutions to linear equations with $K[x]$ coefficients},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {1},
PAGES = {75-81},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wang/93c,
AUTHOR = {Wang, Dongming},
TITLE = {An elimination method for polynomial systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {2},
PAGES = {83-114},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Boyd/93,
AUTHOR = {Boyd, David W.},
TITLE = {Bounds for the height of a factor of a polynomial in terms of Bombieri's norms: I. The largest factor},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {2},
PAGES = {115-130},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Boyd/93a,
AUTHOR = {Boyd, David W.},
TITLE = {Bounds for the height of a factor of a polynomial in terms of Bombieri's norms: II. The smallest factor},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {2},
PAGES = {131-145},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Andrews-Paule/93,
AUTHOR = {Andrews, George E. and Paule, Peter},
TITLE = {Some questions concerning computer-generated proofs of a binomial double-sum identity},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {2},
PAGES = {147-153},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Schorn/93,
AUTHOR = {Schorn, Peter},
TITLE = {An axiomatic approach to robust geometric programs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {2},
PAGES = {155-165},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Madlener-Sattler-Klein-Otto/93,
AUTHOR = {Madlener, Klaus and Sattler-Klein, Andrea and Otto, Friedrich},
TITLE = {On the problem of generating small convergent systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {2},
PAGES = {167-187},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Torgersen/93,
AUTHOR = {Torgersen, Todd},
TITLE = {Parallel scheduling of recursively defined arrays: Revisited},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {2},
PAGES = {189-226},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Knowles/93,
AUTHOR = {Knowles, Paul H.},
TITLE = {Integration of a class of transcendental Liouvillian functions with error-functions --- Part II},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {3},
PAGES = {227-241},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lisonek-Paule-Strehl/93,
AUTHOR = {Lison{\v{e}}k, Petr and Paule, Peter and Strehl, Volker},
TITLE = {Improvement of the degree setting in Gosper's algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {3},
PAGES = {243-258},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Rieger/93,
AUTHOR = {Rieger, J.H.},
TITLE = {Computing view graphs of algebraic surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {3},
PAGES = {259-272},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Reeves-Sturmfels/93,
AUTHOR = {Reeves, Alyson and Sturmfels, Bernd},
TITLE = {A note on polynomial reduction},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {3},
PAGES = {273-277},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Freese-Jezek-Nation/93,
AUTHOR = {Freese, Ralph and Je{\v{z}}ek, J. and Nation, J.B.},
TITLE = {Term rewrite systems for lattice theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {3},
PAGES = {279-288},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hentzel-Jacobs-Muddana/93,
AUTHOR = {Hentzel, Irvin Roy and Jacobs, David P. and Muddana, Sekhar V.},
TITLE = {Experimenting with the identity $(xy)z=y(zx)$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {3},
PAGES = {289-293},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gaal/93,
AUTHOR = {Ga{\'{a}}l, Istv{\'{a}}n},
TITLE = {On the resolution of $F(x,y)=G(x,y)$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {3},
PAGES = {295-303},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{OBrien/93,
AUTHOR = {O'Brien, E.A.},
TITLE = {Isomorphism testing for $p$-groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {3},
PAGES = {305-320},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gaal/93a,
AUTHOR = {Ga{\'{a}}l, Istv{\'{a}}n},
TITLE = {A fast algorithm for finding ``small'' solutions of $F(x,y)=G(x,y)$ over imaginary quadratic fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {4},
PAGES = {321-328},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Vaughan-Lee/93,
AUTHOR = {Vaughan-Lee, Michael},
TITLE = {An algorithm for computing graded algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {4},
PAGES = {345-354},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Man/93,
AUTHOR = {Man, Yiu-Kwong},
TITLE = {On computing closed forms for indefinite summations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {4},
PAGES = {355-376},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Boyd/93b,
AUTHOR = {Boyd, John P.},
TITLE = {Chebyshev and Legendre spectral methods in algebraic manipulation languages},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {4},
PAGES = {377-399},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Niederreiter-Gottfert/93,
AUTHOR = {Niederreiter, Harald and G{\"o}ttfert, Rainer},
TITLE = {Factorization of polynomials over finite fields and characteristic sequences},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {5},
PAGES = {401-412},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Butler/93,
AUTHOR = {Butler, Greg},
TITLE = {The transitive groups of degree fourteen and fifteen},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {5},
PAGES = {413-422},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Man/93a,
AUTHOR = {Man, Yiu-Kwong},
TITLE = {Computing closed form solutions of first order ODEs using the Prelle-Singer procedure},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {5},
PAGES = {423-443},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Baumgartner-Furbach/93,
AUTHOR = {Baumgartner, Peter and Furbach, Ulrich},
TITLE = {Consolution as a framework for comparing calculi},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {5},
PAGES = {445-477},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Berarducci-Venturini_Zilli/93,
AUTHOR = {Berarducci, Alessandro and Venturini Zilli, Marisa},
TITLE = {Generalizations of unification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {5},
PAGES = {479-491},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Contejean/93,
AUTHOR = {Contejean, Evelyne},
TITLE = {Solving *-problems modulo distributivity by a reduction to $AC1$-unification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {5},
PAGES = {493-521},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Rosenmann/93a,
AUTHOR = {Rosenmann, Amnon},
TITLE = {An algorithm for constructing Gr{\"o}bner and free Schreier bases in free group algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {6},
PAGES = {523-549},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{van_den_Essen/93,
AUTHOR = {van den Essen, Arno},
TITLE = {An algorithm to compute the invariant ring of a $G_a$-action on an affine variety},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {6},
PAGES = {551-555},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Jacobs-Muddana/93,
AUTHOR = {Jacobs, David P. and Muddana, Sekhar V.},
TITLE = {The word problem for free partially commutative, partially associative groupoids},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {6},
PAGES = {557-562},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gaal-Petho-Pohst/93,
AUTHOR = {Ga{\'{a}}l, Istv{\'{a}}n and Peth{\H{o}}, Attila and Pohst, Michael},
TITLE = {On the resolution of index form equations in quartic number fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {6},
PAGES = {563-584},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gao-Chou/93,
AUTHOR = {Gao, Xiao-Shan and Chou, Shang-Ching},
TITLE = {A zero structure theorem for differential parametric systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {6},
PAGES = {585-595},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Boudet/93,
AUTHOR = {Boudet, Alexandre},
TITLE = {Combining unification algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {16},
NUMBER = {6},
PAGES = {597-626},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}