@article{Bayer/03b,
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 = {2003},
PAGES = {441-449},
YEAR = {2003},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Baumgartner-Zhang/03,
AUTHOR = {Baumgartner, Peter and Zhang, Hantao},
TITLE = {Model building with ordered resolution: Extracting models from saturated clause sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {5-48},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00028-2},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Peltier/03a,
AUTHOR = {Peltier, Nicolas},
TITLE = {A calculus combining resolution and enumeration for building finite models},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {49-77},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00027-0},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Degtyarev-Nieuwenhuis-Voronkov/03,
AUTHOR = {Degtyarev, Anatoli and Nieuwenhuis, Robert and Voronkov, Andrei},
TITLE = {Stratified resolution},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {79-99},
YEAR = {2003},
KEYWORDS = {Automated theorem proving, First-order logic, Ordered resolution with selection, Definition unfolding, Redundancy elimination},
URL = {DOI:10.1016/S0747-7171(03)00036-1},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Riazanov-Voronkov/03,
AUTHOR = {Riazanov, Alexandre and Voronkov, Andrei},
TITLE = {Limited resource strategy in resolution theorem proving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {101-115},
YEAR = {2003},
KEYWORDS = {theorem proving, limited resource strategy, resolution},
URL = {DOI:10.1016/S0747-7171(03)00040-3},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Beckert/03,
AUTHOR = {Beckert, Bernhard},
TITLE = {Depth-first proof search without backtracking for free-variable clausal tableaux},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {117-138},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00026-9},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Otten-Bibel/03,
AUTHOR = {Otten, Jens and Bibel, Wolfgang},
TITLE = {leanCoP: Lean connection based theorem proving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {139-161},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00037-3},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Georgieva-Hustadt-Schmidt/03,
AUTHOR = {Georgieva, Lilia and Hustadt, Ullrich and Schmidt, Renate A.},
TITLE = {Hyperresolution for guarded formulae},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {163-192},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00034-8},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Armando-Ranise/03,
AUTHOR = {Armando, Alessandro and Ranise, Silvio},
TITLE = {Constraint contextual rewriting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {193-216},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00025-7},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Avenhus-Hillenbrand-Lochner/03,
AUTHOR = {Avenhus, J. and Hillenbrand, Th. and L{\"o}chner, B.},
TITLE = {On using ground joinable equations in equational theorem proving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {217-233},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00024-5},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Pichler/03,
AUTHOR = {Pichler, Reinhard},
TITLE = {On the complexity of equational problems in CNF},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {235-269},
YEAR = {2003},
KEYWORDS = {Equational reasoning, Complexity, NP-completeness, Polynomial hierarchy},
URL = {DOI:10.1016/S0747-7171(03)00029-4},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Belinfante/03,
AUTHOR = {Belinfante, Johan Gijsbertus Frederik},
TITLE = {Computer proofs about finite and regular sets: The unifying concept of subvariance},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {1-2},
PAGES = {271-285},
YEAR = {2003},
KEYWORDS = {Finite, Regularity, Subvariance},
URL = {DOI:10.1016/S0747-7171(03)00023-3},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Chtcherba-Kapur/03,
AUTHOR = {Chtcherba, Arthur D. and Kapur, Deepak},
TITLE = {Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {289-315},
YEAR = {2003},
KEYWORDS = {Resultant, Dixon method, Extraneous factor, BKK bound, Support, Support hull},
URL = {DOI:10.1016/S0747-7171(03)00084-1},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Dickenstein-Emiris/03,
AUTHOR = {Dickenstein, Alicia and Emiris, Ioannis Z.},
TITLE = {Multihomogeneous resultant formulae by means of complexes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {317-342},
YEAR = {2003},
KEYWORDS = {Sparse resultant, Multihomogeneous system, Determinantal formula, Sylvester and Bezout type matrix, Degree vector},
URL = {DOI:10.1016/S0747-7171(03)00086-5},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Fortuna-Gianni-Parenti-Traverso/03,
AUTHOR = {Fortuna, E. and Gianni, P. and Parenti, P. and Traverso, C.},
TITLE = {Algorithms to compute the topology of orientable real algebraic surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {343-364},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00085-3},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Kaltofen-Lee/03,
AUTHOR = {Kaltofen, Erich and Lee, Wen-shin},
TITLE = {Early termination in sparse interpolation algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {365-400},
YEAR = {2003},
KEYWORDS = {Early termination, Sparse polynomial, Black box polynomial, Interpolation, Sparse interpolation, Randomized algorithm},
URL = {DOI:10.1016/S0747-7171(03)00088-9},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Giesbrecht-Kaltofen-Lee/03,
AUTHOR = {Giesbrecht, Mark and Kaltofen, Erich and Lee, Wen-shin},
TITLE = {Algorithms for computing sparsest shifts of polynomials in power, Chebyshev, and Pochhammer bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {401-424},
YEAR = {2003},
KEYWORDS = {Sparse shifts, Early termination, Sparse polynomial, Sparse interpolation, Chebyshev basis, Pochhammer basis},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Khetan/03,
AUTHOR = {Khetan, Amit},
TITLE = {The resultant of an unmixed bivariate system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {425-442},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00089-0},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Li-Schwarz-Tsarev/03,
AUTHOR = {Li, Ziming and Schwarz, Fritz and Tsarev, Serguei P.},
TITLE = {Factoring systems of linear PDEs with finite-dimensional solution spaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {443-471},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00090-7},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Matera-Sedoglavic/03,
AUTHOR = {Matera, G. and Sedoglavic, A.},
TITLE = {Fast computation of discrete invariants associated to a differential rational mapping},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {473-499},
YEAR = {2003},
KEYWORDS = {Differential rational mapping, Discrete invariants, K{\"a}hler differentials, Probabilistic algorithm, Straight-line program},
URL = {DOI:10.1016/S0747-7171(03)00091-9},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Olver/03,
AUTHOR = {Olver, Peter J.},
TITLE = {Moving frames},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {501-512},
YEAR = {2003},
KEYWORDS = {Moving frame, Symmetry, Lie group, Lie algebra, Differential invariant, Jet, Syzygy, Signature},
URL = {DOI:10.1016/S0747-7171(03)00092-0},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Rioboo/03,
AUTHOR = {Rioboo, Renaud},
TITLE = {Towards faster real algebraic numbers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {513-533},
YEAR = {2003},
KEYWORDS = {Algebraic numbers, Algebraic integers, Fractions, Real closed fields, Real closure, Sub-resultants, Fractions},
URL = {DOI:10.1016/S0747-7171(03)00093-2},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Schicho/03,
AUTHOR = {Schicho, Josef},
TITLE = {Simplification of surface parametrizations --- A lattice polygon approach},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {535-554},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00094-4},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Schost/03,
AUTHOR = {Schost, {\'E}ric},
TITLE = {Complexity results for triangular sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {555-594},
YEAR = {2003},
KEYWORDS = {Triangular sets, Complexity, Symbolic Newton operator},
URL = {DOI:10.1016/S0747-7171(03)00095-6},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Stillman/03,
AUTHOR = {Stillman, Michael},
TITLE = {Computing in algebraic geometry and commutative algebra using Macaulay 2},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {595-611},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00096-8},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Storjohann/03,
AUTHOR = {Storjohann, Arne},
TITLE = {High-order lifting and integrality certification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {613-648},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00097-X},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Suzuki-Sato/03,
AUTHOR = {Suzuki, Akira and Sato, Yosuke},
TITLE = {An alternative approach to comprehensive Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {649-667},
YEAR = {2003},
KEYWORDS = {Gr{\"o}bner basis},
URL = {DOI:10.1016/S0747-7171(03)00098-1},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Weispfenning/03a,
AUTHOR = {Weispfenning, Volker},
TITLE = {Canonical comprehensive Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {3-4},
PAGES = {669-683},
YEAR = {2003},
KEYWORDS = {Gr{\"o}bner bases, Comprehensive Gr{\"o}bner bases, Gr{\"o}bner systems, Uniformity in parameters},
URL = {DOI:10.1016/S0747-7171(03)00099-3},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Draisma/03,
AUTHOR = {Draisma, Jan},
TITLE = {Constructing Lie algebras of first order differential operators},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {5},
PAGES = {685-698},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00061-0},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Chen-Wang/03,
AUTHOR = {Chen, Falai and Wang, Wenping},
TITLE = {Revisiting the $\mu$-basis of a rational ruled surface},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {5},
PAGES = {699-716},
YEAR = {2003},
KEYWORDS = {$\mu$-Basis, Moving plane, Implicitization, Module, Rational ruled surface},
URL = {DOI:10.1016/S0747-7171(03)00064-6},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Li-Wu/03,
AUTHOR = {Li, Hongbo and Wu, Yihong},
TITLE = {Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {5},
PAGES = {717-762},
YEAR = {2003},
KEYWORDS = {Cayley algebra, Bracket algebra, Automated theorem proving, Projective incidence geometry},
URL = {DOI:10.1016/S0747-7171(03)00067-1},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Li-Wu/03a,
AUTHOR = {Li, Hongbo and Wu, Yihong},
TITLE = {Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: II. Conic geometry},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {5},
PAGES = {763-809},
YEAR = {2003},
KEYWORDS = {Bracket algebra, Cayley algebra, Automated theorem proving, Projective conic geometry},
URL = {DOI:10.1016/S0747-7171(03)00066-X},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Gao/03,
AUTHOR = {Gao, Xiao-Shan},
TITLE = {Implicitization of differential rational parametric equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {5},
PAGES = {811-824},
YEAR = {2003},
KEYWORDS = {Implicitization, Differential rational parametric equations, Unirational differential algebraic varieties, L{\"u}roth theorem},
URL = {DOI:10.1016/S0747-7171(03)00068-3},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Minimair/03a,
AUTHOR = {Minimair, Manfred},
TITLE = {Dense resultant of composed polynomials: Mixed-mixed case},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {6},
PAGES = {825-834},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00039-7},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Berson-van_den_Essen/03,
AUTHOR = {Berson, Joost and van den Essen, Arno},
TITLE = {An algorithm to find a coordinate's mate},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {6},
PAGES = {835-843},
YEAR = {2003},
KEYWORDS = {Coordinate recognition problem, Mate algorithm, Nilpotent variations},
URL = {DOI:10.1016/S0747-7171(03)00062-2},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Gago-Vargas/03,
AUTHOR = {Gago-Vargas, Jes{\'u}s},
TITLE = {Bases for projective modules in $A_n(k)$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {6},
PAGES = {845-853},
YEAR = {2003},
KEYWORDS = {Projective modules, Non-commutative rings, Gr{\"o}bner bases},
URL = {DOI:10.1016/S0747-7171(03)00063-4},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Ulmer/03,
AUTHOR = {Ulmer, Felix},
TITLE = {Liouvillian solutions of third order differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {6},
PAGES = {855-889},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00065-8},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Sofronie-Stokkermans/03,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {6},
PAGES = {891-924},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00069-5},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@article{Perez-Diaz-Sendra/03,
AUTHOR = {P{\'e}rez-D{\'i}az, Sonia and Sendra, J. Rafael},
TITLE = {Computing all parametric solutions for blending parametric surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {36},
NUMBER = {6},
PAGES = {925-964},
YEAR = {2003},
URL = {DOI:10.1016/S0747-7171(03)00072-5},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego},
}
@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},
}