@article{Aluffi/03,
AUTHOR = {Aluffi, Paolo},
TITLE = {Computing characteristic classes of projective schemes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {1},
PAGES = {3-19},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{de_Nivelle-de_Rijke/03,
AUTHOR = {de Nivelle, Hans and de Rijke, Maarten},
TITLE = {Deciding the guarded fragments by resolution},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {1},
PAGES = {21-58},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Brown-Wensley/03,
AUTHOR = {Brown, Ronald and Wensley, Christopher D.},
TITLE = {Computation and homotopical applications of induced crossed modules},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {1},
PAGES = {59-72},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Velev-Bryant/03,
AUTHOR = {Velev, Miroslav N. and Bryant, Randal E.},
TITLE = {Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {2},
PAGES = {73-106},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Bush-Leeming-Walters/03,
AUTHOR = {Bush, M.R. and Leeming, M. and Walters, R.F.C.},
TITLE = {Computing left Kan extensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {2},
PAGES = {107-126},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Fleming-Gunther-Rosebrugh/03,
AUTHOR = {Fleming, Michael and Gunther, Ryan and Rosebrugh, Robert},
TITLE = {A database of categories},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {2},
PAGES = {127-135},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Niefield/03,
AUTHOR = {Niefield, Susan B.},
TITLE = {Implementing finite structures in Mathematica via a skeletal topos of finite sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {2},
PAGES = {137-151},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Liu-Liu-Wang/03,
AUTHOR = {Liu, Jinwang and Liu, Zhuojun and Wang, Mingsheng},
TITLE = {The term orderings which are compatible with composition II},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {2},
PAGES = {153-168},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Burckel/03,
AUTHOR = {Burckel, Serge},
TITLE = {A result on braids via the investigation of a rewriting system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {2},
PAGES = {169-175},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Mora-Sala/03,
AUTHOR = {Mora, Teo and Sala, Massimiliano},
TITLE = {On the Gr{\"o}bner bases of some symmetric systems and their application to coding theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {2},
PAGES = {177-194},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Brooksbank/03,
AUTHOR = {Brooksbank, Peter A.},
TITLE = {Constructive recognition of classical groups in their natural representation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {2},
PAGES = {195-239},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Cannon-Holt/03,
AUTHOR = {Cannon, John J. and Holt, Derek F.},
TITLE = {Automorphism group computation and isomorphism testing in finite groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {3},
PAGES = {241-267},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Baines-Vamos/03,
AUTHOR = {Baines, Rosemary and V{\'a}mos, Peter},
TITLE = {An algorithm to compute the set of characteristics of a system of polynomial equations over the integers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {3},
PAGES = {269-279},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{El_Kahoui/03,
AUTHOR = {El Kahoui, M'hammed},
TITLE = {An elementary approach to subresultants theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {3},
PAGES = {281-292},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Zhang/03a,
AUTHOR = {Zhang, Bao-Yin},
TITLE = {A new elementary algorithm for proving $q$-hypergeometric identities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {3},
PAGES = {293-303},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Schreiner-Mittermaier-Bosa/03,
AUTHOR = {Schreiner, Wolfgang and Mittermaier, Christian and Bosa, Karoly},
TITLE = {Distributed Maple: Parallel computer algebra in networked environments},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {3},
PAGES = {305-347},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Riese/03,
AUTHOR = {Riese, Axel},
TITLE = {$q$-MultiSum --- A package for proving $q$-hypergeometric multiple summation identities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {3},
PAGES = {349-376},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Mulders-Storjohann/03,
AUTHOR = {Mulders, T. and Storjohann, A.},
TITLE = {On lattice reduction for polynomial matrices},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {4},
PAGES = {377-401},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Arnold/03,
AUTHOR = {Arnold, Elizabeth A.},
TITLE = {Modular algorithms for computing Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {4},
PAGES = {403-419},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Roney-Dougal-Unger/03,
AUTHOR = {Roney-Dougal, Colva M. and Unger, William R.},
TITLE = {The affine primitive permutation groups of degree less than 1000},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {4},
PAGES = {421-439},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Bayer/03a,
AUTHOR = {Bayer, Thomas},
TITLE = {An algorithm for computing invariants of linear actions of algebraic groups up to a given degree},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {4},
PAGES = {441-449},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Little-Ortiz-Ortiz-Rosado-Pablo-Rios-Soto/03,
AUTHOR = {Little, John B. and Ortiz, David and Ortiz-Rosado, Ricardo and Pablo, Rebecca and R{\'{i}}os-Soto, Karen},
TITLE = {Some remarks on Fitzpatrick and Flynn's Gr{\"o}bner basis technique for Pad{\'e} approximation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {4},
PAGES = {451-461},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Gil-Segura/03,
AUTHOR = {Gil, Amparo and Segura, Javier},
TITLE = {A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {5},
PAGES = {465-485},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Lemaire/03,
AUTHOR = {Lemaire, Fran{\c{c}}ois},
TITLE = {An orderly linear PDE system with analytic initial conditions with a non-analytic solution},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {5},
PAGES = {487-498},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Wolf/03,
AUTHOR = {Wolf, Thomas},
TITLE = {The integration of systems of linear PDEs using conservation laws of Syzygies},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {5},
PAGES = {499-526},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Walther/03,
AUTHOR = {Walther, Uli},
TITLE = {Cohomology, stratifications and parametric Gr{\"o}bner bases in characteristic zero},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {5},
PAGES = {527-542},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Gatermann/03,
AUTHOR = {Gatermann, Karin},
TITLE = {Applications of SAGBI-bases in dynamics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {5},
PAGES = {543-575},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Jarrah-Laubenbacher-Romanovski/03,
AUTHOR = {Jarrah, Abdul Salam and Laubenbacher, Reinhard and Romanovski, Valery},
TITLE = {The Sibirsky component of the center variety of polynomial differential systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {5},
PAGES = {577-589},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Yu-Yuan/03,
AUTHOR = {Yu, Pei and Yuan, Yuan},
TITLE = {A matching pursuit technique for computing the simplest normal forms of vector fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {5},
PAGES = {591-615},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Jacquemard-Teixeira/03,
AUTHOR = {Jacquemard, A. and Teixeira, M.A.},
TITLE = {Computer analysis of periodic orbits of discontinuous vector fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {5},
PAGES = {617-636},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Mignotte-Stefanescu/03,
AUTHOR = {Mignotte, Maurice and {\c{S}}tef{\v{a}}nescu, Doru},
TITLE = {Linear recurrent sequences and polynomial roots},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {6},
PAGES = {637-649},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Rybowicz/03,
AUTHOR = {Rybowicz, Marc},
TITLE = {On the normalization of numbers and functions defined by radicals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {6},
PAGES = {651-672},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Olivieri-del_Rio/03,
AUTHOR = {Olivieri, Aurora and del R{\'i}o, {\'A}ngel},
TITLE = {An algorithm to compute the primitive central idempotents and the Wedderburn decomposition of a rational group algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {6},
PAGES = {673-687},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Lascoux-Pragacz/03,
AUTHOR = {Lascoux, Alain and Pragacz, Piotr},
TITLE = {Double Sylvester sums for subresultants and multi-Schur functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {35},
NUMBER = {6},
PAGES = {689-710},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}