@article{Eick/02,
AUTHOR = {Eick, Bettina},
TITLE = {Orbit-stabilizer problems and computing normalizers for polycyclic groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {1},
PAGES = {1-19},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Giesl-Arts-Ohlebusch/02,
AUTHOR = {Giesl, J{\"u}rgen and Arts, Thomas and Ohlebusch, Enno},
TITLE = {Modular termination proofs for rewriting using dependency pairs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {1},
PAGES = {21-58},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Diaz-Toca-Gonzalez-Vega/02a,
AUTHOR = {Diaz-Toca, Gema M. and Gonzalez-Vega, Laureano},
TITLE = {Barnett's theorems about the greatest common divisor of several univariate polynomials through Bezout-like matrices},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {1},
PAGES = {59-81},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Chu-Kang/02,
AUTHOR = {Chu, Huah and Kang, Ming-Chang},
TITLE = {Quartic fields and radical extensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {1},
PAGES = {83-89},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Kaplan-Teicher/02,
AUTHOR = {Kaplan, S. and Teicher, M.},
TITLE = {Identifying half-twists using randomized algorithm methods},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {2},
PAGES = {91-103},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Bouziane-El_Kahoui/02,
AUTHOR = {Bouziane, Driss and El Kahoui, M'Hammed},
TITLE = {Computation of the dual of a plane projective curve},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {2},
PAGES = {105-117},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Dickenstein-Sturmfels/02,
AUTHOR = {Dickenstein, Alicia and Sturmfels, Bernd},
TITLE = {Elimination theory in codimension 2},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {2},
PAGES = {119-135},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Gaal/02,
AUTHOR = {Ga{\'{a}}l, Istv{\'{a}}n},
TITLE = {On the resolution of resultant type equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {2},
PAGES = {137-144},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Collins-Johnson-Krandick/02,
AUTHOR = {Collins, George E. and Johnson, Jeremy R. and Krandick, Werner},
TITLE = {Interval arithmetic in cylindrical algebraic decomposition},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {2},
PAGES = {145-157},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Giesbrecht-Storjohann/02,
AUTHOR = {Giesbrecht, Mark and Storjohann, Arne},
TITLE = {Computing rational forms of integer matrices},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {3},
PAGES = {157-172},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Kida/02,
AUTHOR = {Kida, Masanari},
TITLE = {Potential good reduction of elliptic curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {3},
PAGES = {173-180},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Hausdorf-Seiler-Steinwandt/02,
AUTHOR = {Hausdorf, Marcus and Seiler, Werner M. and Steinwandt, Rainer},
TITLE = {Involutive bases in the Weyl algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {3},
PAGES = {181-198},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Martin/02a,
AUTHOR = {Martin, Bernd},
TITLE = {Algorithmic computation of flattenings and of modular deformations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {3},
PAGES = {199-212},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Gebhardt/02,
AUTHOR = {Gebhardt, Volker},
TITLE = {Efficient collection in infinite polycyclic groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {3},
PAGES = {213-228},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Kemper/02,
AUTHOR = {Kemper, Gregor},
TITLE = {The calculation of radical ideals in positive characteristic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {3},
PAGES = {229-238},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Armando-Rusinowitch-Stratulat/02,
AUTHOR = {Armando, Alessandro and Rusinowitch, Micha{\"e}l and Stratulat, Sorin},
TITLE = {Incorporating decision procedures in implicit induction},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {4},
PAGES = {241-258},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Davenport/02,
AUTHOR = {Davenport, James H.},
TITLE = {Equality in computer algebra and beyond},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {4},
PAGES = {259-270},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Geuvers-Pollack-Wiedijk-Zwanenburg/02,
AUTHOR = {Geuvers, Herman and Pollack, Randy and Wiedijk, Freek and Zwanenburg, Jan},
TITLE = {A constructive algebraic hierarchy in Coq},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {4},
PAGES = {271-286},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Meier-Pollet-Sorge/02,
AUTHOR = {Meier, Andreas and Pollet, Martin and Sorge, Volker},
TITLE = {Comparing approaches to the exploration of the domain of residue classes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {4},
PAGES = {287-306},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Shank-Wehlau/02,
AUTHOR = {Shank, R. James and Wehlau, David L.},
TITLE = {Computing modular invariants of $p$-groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {5},
PAGES = {307-327},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Tefera/02,
AUTHOR = {Tefera, Akalu},
TITLE = {MultInt, a MAPLE package for multiple integration by the WZ method},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {5},
PAGES = {329-353},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Cormier-Singer-Ulmer/02,
AUTHOR = {Cormier, Olivier and Singer, Michael F. and Ulmer, Barry M. Trager nd Felix},
TITLE = {Linear differential operators for polynomial equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {5},
PAGES = {355-398},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Mosteig-Sweedler/02,
AUTHOR = {Mosteig, Edward and Sweedler, Moss},
TITLE = {Valuations and filtrations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {5},
PAGES = {399-435},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Heuberger-Petho-Tichy/02,
AUTHOR = {Heuberger, Clemens and Peth{\H{o}}, Attila and Tichy, Robert F.},
TITLE = {Thomas' family of Thue equations over imaginary quadratic fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {5},
PAGES = {437-449},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Monico/02,
AUTHOR = {Monico, Chris},
TITLE = {Computing the primary decomposition of zero-dimensional ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {5},
PAGES = {451-459},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Xia-Yang/02,
AUTHOR = {Xia, Bican and Yang, Lu},
TITLE = {An algorithmic for isolating the real solutions of semi-algebraic systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {5},
PAGES = {461-477},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{van_der_Hoeven/02b,
AUTHOR = {van der Hoeven, Joris},
TITLE = {Relax, but don't be too lazy},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {6},
PAGES = {479-542},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Aubry-Rouillier-Din/02,
AUTHOR = {Aubry, Philippe and Rouillier, Fabrice and Din, Mohab Safey El},
TITLE = {Real solving for positive dimensional systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {6},
PAGES = {543-560},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Puschel/02,
AUTHOR = {P{\"u}schel, Markus},
TITLE = {Decomposing monomial representations of solvable groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {6},
PAGES = {561-596},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Seiler/02,
AUTHOR = {Seiler, Werner M.},
TITLE = {Taylor and Lyubeznik resolutions via Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {34},
NUMBER = {6},
PAGES = {597-608},
YEAR = {2002},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}