@article{Chtcherba-Kapur/04a,
AUTHOR = {Chtcherba, Arthur D. and Kapur, Deepak},
TITLE = {Constructing Sylvester-type resultant matrices using the dixon formulation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {1},
PAGES = {777-814},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.11.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Li/04e,
AUTHOR = {Li, Yong-Bin},
TITLE = {Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {1},
PAGES = {815-832},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.10.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Fieker/04,
AUTHOR = {Fieker, Claus},
TITLE = {Minimizing representations over number fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {1},
PAGES = {833-842},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.03.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Blanco-Jeronimo-Solerno/04,
AUTHOR = {Blanco, Cristina and Jeronimo, Gabriela and Solern{\'o}, Pablo},
TITLE = {Computing generators of the ideal of a smooth affine algebraic variety},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {1},
PAGES = {843-872},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.02.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Marche-Urbain/04,
AUTHOR = {March{\'e}, Claude and Urbain, Xavier},
TITLE = {Modular and incremental proofs of $AC$-termination},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {1},
PAGES = {873-897},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.02.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Wang/04a,
AUTHOR = {Wang, Dongming},
TITLE = {A simple method for implicitizing rational curves and surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {1},
PAGES = {899-914},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.02.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Chtcherba-Kapur/04b,
AUTHOR = {Chtcherba, A.D. and Kapur, D.},
TITLE = {Resultants for unmixed bivariate polynomial systems produced using the Dixon formulation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {2},
PAGES = {915-958},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.12.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{de_Loera-Haws-Hemmecke-Huggins-Sturmfels-Yoshida/04,
AUTHOR = {de Loera, J.A. and Haws, D. and Hemmecke, R. and Huggins, P. and Sturmfels, B. and Yoshida, R.},
TITLE = {Short rational functions for toric algebra and applications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {2},
PAGES = {959-973},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.02.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Fredet/04,
AUTHOR = {Fredet, Anne},
TITLE = {Linear differential equations in exponential extensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {2},
PAGES = {975-1002},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.02.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Heath-Loehr/04,
AUTHOR = {Heath, Lenwood S. and Loehr, Nicholas A.},
TITLE = {New algorithms for generating Conway polynomials over finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {2},
PAGES = {1003-1024},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.03.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Pisabarro/04,
AUTHOR = {Pisabarro, Mar{\'i}a-Jes{\'u}s},
TITLE = {Computing lattice ideals of unions of monomial curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {2},
PAGES = {1025-1042},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.03.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Cluzeau-van_Hoeij/04,
AUTHOR = {Cluzeau, Thomas and van Hoeij, Mark},
TITLE = {A modular algorithm for computing the exponential solutions of a linear differential operator},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {3},
PAGES = {1043-1076},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.11.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Ellis/04,
AUTHOR = {Ellis, Graham},
TITLE = {Computing group resolutions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {3},
PAGES = {1077-1118},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.03.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Duan-Zhao-Zhao/04,
AUTHOR = {Duan, Haibao and Zhao, Xu-an and Zhao, Xuezhi},
TITLE = {The Cartan matrix and enumerative calculus},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {3},
PAGES = {1119-1144},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.03.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Heuberger-Togbe-Ziegler/04,
AUTHOR = {Heuberger, Clemens and Togb{\'e}, Alain and Ziegler, Volker},
TITLE = {Automatic solution of families of Thue equations and an example of degree 8},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {3},
PAGES = {1145-1163},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.05.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Abramov-Petkovsek/04,
AUTHOR = {Abramov, S.A. and Petkov{\v{s}}ek, M.},
TITLE = {Erratum to ''Rational normal forms and minimal decompositions of hypergeometric terms''},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {3},
PAGES = {1165-1165},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.03.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
NOTE = {Originally in Journal of Symbolic Computation, Vol. 33, 2002, No. 5, 521-543},
}
@article{Caboara-Kreuzer-Robbiano/04,
AUTHOR = {Caboara, M. and Kreuzer, M. and Robbiano, L.},
TITLE = {Efficiently computing minimal sets of critical pairs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {4},
PAGES = {1169-1190},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.009},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Fruhbis-Kruger/04,
AUTHOR = {Fr{\"u}hbis-Kr{\"u}ger, Anne},
TITLE = {Partial standard bases as a tool for studying families of singularities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {4},
PAGES = {1191-1205},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {families of singularities, numerial invariants, flattening stratification, standard basis},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Schulze/04,
AUTHOR = {Schulze, Mathias},
TITLE = {A normal form algorithm for the Brieskorn lattice},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {4},
PAGES = {1207-1225},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {hypersurface singularity, brieskorn lattice, bernstein-sato polynomial, monodromy, spectral pairs, good basis, mixed hodge structure, standard basis},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Noro-Yokoyama/04,
AUTHOR = {Noro, Masayuki and Yokoyama, Kazuhiro},
TITLE = {Implementation of prime decomposition of polynomial ideals over small finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {4},
PAGES = {1227-1246},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Joswig-Ziegler/04,
AUTHOR = {Joswig, Michael and Ziegler, Gunter M.},
TITLE = {Convex hulls, oracles, and homology},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {4},
PAGES = {1247-1259},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Fukuda/04,
AUTHOR = {Fukuda, Komei},
TITLE = {From the zonotope construction to the Minkowski addition of convex polytopes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {4},
PAGES = {1261-1272},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {convex polytope, minkowski addition, efficient algorithm, reverse search},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{de_Loera-Hemmecke-Tauzer-Yoshida/04,
AUTHOR = {de Loera, Jes{\'u}s A. and Hemmecke, Raymond and Tauzer, Jeremiah and Yoshida, Ruriko},
TITLE = {Effective lattice point counting in rational convex polytopes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {4},
PAGES = {1273-1302},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.04.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Abramov-Carette-Geddes-Le/04,
AUTHOR = {Abramov, S.A. and Carette, J.J. and Geddes, K.O. and Le, H.Q.},
TITLE = {Telescoping in the context of symbolic summation in Maple},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {4},
PAGES = {1303-1326},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.010},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Hoa-Hyry/04,
AUTHOR = {Hoa, L{\^e} Tu{\^a}n and Hyry, Eero},
TITLE = {Castelnuovo-Mumford regularity of initial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {5},
PAGES = {1327-1341},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.04.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Mulders/04,
AUTHOR = {Mulders, Thom},
TITLE = {Certified sparse linear system solving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {5},
PAGES = {1343-1373},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.03.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bozzano-Delzanno/04,
AUTHOR = {Bozzano, Marco and Delzanno, Giorgio},
TITLE = {Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {5},
PAGES = {1375-1415},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.04.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bodin/04,
AUTHOR = {Bodin, Arnaud},
TITLE = {Computation of Milnor numbers and critical values at infinity},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {5},
PAGES = {1417-1427},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.04.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Roblot/04,
AUTHOR = {Roblot, Xavier-Fran{\c{c}}ois},
TITLE = {Polynomial factorization algorithms over number fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {5},
PAGES = {1429-1443},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.05.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Cannon-Eick-Leedham-Green/04,
AUTHOR = {Cannon, John J. and Eick, Bettina and Leedham-Green, Charles R.},
TITLE = {Special polycyclic generating sequences for finite soluble groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {5},
PAGES = {1445-1460},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.05.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Gao-Kaltofen-Lauder/04,
AUTHOR = {Gao, Shuhong and Kaltofen, Erich and Lauder, Alan G.B.},
TITLE = {Deterministic distinct-degree factorization of polynomials over finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {6},
PAGES = {1461-1470},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.05.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Kirschenhofer-Thuswaldner/04,
AUTHOR = {Kirschenhofer, Peter and Thuswaldner, Jorg M.},
TITLE = {Elements of small norm in Shanks' cubic extensions of imaginary quadratic fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {6},
PAGES = {1471-1486},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.05.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bogvad-Meyer/04,
AUTHOR = {B{\o}gvad, Rikard and Meyer, Thomas},
TITLE = {On algorithmically checking whether a Hilbert series comes from a complete intersection},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {6},
PAGES = {1487-1506},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.06.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Collins/04,
AUTHOR = {Collins, George E.},
TITLE = {Single-factor coefficient bounds},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {6},
PAGES = {1507-1521},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.05.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bla-Niesen/04,
AUTHOR = {B{\^{\i}}la, Nicolet{\u{a}} and Niesen, Jitse},
TITLE = {On a new procedure for finding nonclassical symmetries},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {6},
PAGES = {1523-1533},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.07.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Leykin/04,
AUTHOR = {Leykin, Anton},
TITLE = {Algorithmic proofs of two theorems of Stafford},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {6},
PAGES = {1535-1550},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.07.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Fortuna-Gianni-Luminati/04,
AUTHOR = {Fortuna, E. and Gianni, P. and Luminati, D.},
TITLE = {Algorithmical determination of the topology of a real algebraic surface},
JOURNAL = {J. Symbolic Computation},
VOLUME = {38},
NUMBER = {6},
PAGES = {1551-1567},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.08.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Godoy-Nieuwenhuis/04,
AUTHOR = {Godoy, Guillem and Nieuwenhuis, Robert},
TITLE = {Superposition with completely built-in Abelian groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {1},
PAGES = {1-33},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/S0747-7171(03)00070-1},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Godoy-Nieuwenhuis/04a,
AUTHOR = {Godoy, Guillem and Nieuwenhuis, Robert},
TITLE = {Superposition with completely built-in Abelian groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {1},
PAGES = {1-33},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/S0747-7171(03)00070-1},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Eberly-Giesbrecht/04,
AUTHOR = {Eberly, W. and Giesbrecht, M.},
TITLE = {Efficient decomposition of separable algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {1},
PAGES = {35-81},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/S0747-7171(03)00071-3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Eberly-Giesbrecht/04a,
AUTHOR = {Eberly, W. and Giesbrecht, M.},
TITLE = {Efficient decomposition of separable algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {1},
PAGES = {35-81},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/S0747-7171(03)00071-3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Guangxing-Xiaoning/04,
AUTHOR = {Guangxing, Zeng and Xiaoning, Zeng},
TITLE = {An effective decision method for semidefinite polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {1},
PAGES = {83-99},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {semidfinite polynomial},
URL = {http://dx.doi.org/10.1016/S0747-7171(03)00073-7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Guangxing-Xiaoning/04a,
AUTHOR = {Guangxing, Zeng and Xiaoning, Zeng},
TITLE = {An effective decision method for semidefinite polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {1},
PAGES = {83-99},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {semidfinite polynomial},
URL = {http://dx.doi.org/10.1016/S0747-7171(03)00073-7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Foo-Chionh/04,
AUTHOR = {Foo, Mao-Ching and Chionh, Eng-Wee},
TITLE = {Corner edge cutting and Dixon $A$-resultant quotients},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {1},
PAGES = {101-119},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {corner edge cutting, dixon resultants, $A$-resultants, mechanical theorem proving},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.06.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Foo-Chionh/04a,
AUTHOR = {Foo, Mao-Ching and Chionh, Eng-Wee},
TITLE = {Corner edge cutting and Dixon $A$-resultant quotients},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {1},
PAGES = {101-119},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {corner edge cutting, dixon resultants, $A$-resultants, mechanical theorem proving},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.06.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Clausen-Muller/04,
AUTHOR = {Clausen, M. and M{\"u}ller, M.},
TITLE = {Generating fast Fourier transforms of solvable groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {137-156},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {fast fourier transform (FFT), discrete fourier transform (DFT)},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Clausen-Muller/04a,
AUTHOR = {Clausen, M. and M{\"u}ller, M.},
TITLE = {Generating fast Fourier transforms of solvable groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {137-156},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {fast fourier transform (FFT), discrete fourier transform (DFT)},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Egner-Puschel/04,
AUTHOR = {Egner, Sebastian and P{\"u}schel, Markus},
TITLE = {Symmetry-based matrix factorization},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {157-186},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Egner-Puschel/04a,
AUTHOR = {Egner, Sebastian and P{\"u}schel, Markus},
TITLE = {Symmetry-based matrix factorization},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {157-186},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Foote-Mirchandani-Rockmore/04,
AUTHOR = {Foote, Richard and Mirchandani, Gagan and Rockmore, Daniel},
TITLE = {Two-dimensional wreath product group-based image processing},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {187-207},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {image processing, 2D, transform},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Foote-Mirchandani-Rockmore/04a,
AUTHOR = {Foote, Richard and Mirchandani, Gagan and Rockmore, Daniel},
TITLE = {Two-dimensional wreath product group-based image processing},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {187-207},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {image processing, 2D, transform},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Park/04,
AUTHOR = {Park, Hyungju},
TITLE = {Symbolic computation and signal processing},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {209-226},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Park/04a,
AUTHOR = {Park, Hyungju},
TITLE = {Symbolic computation and signal processing},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {209-226},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Lebrun-Selesnick/04,
AUTHOR = {Lebrun, J{\'e}r{\^o}me and Selesnick, Ivan},
TITLE = {Gr{\"o}bner bases and wavelet design},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {227-259},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {discrete wavelet transform (DWT), conjugate quadrature filters (CQFS)},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Lebrun-Selesnick/04a,
AUTHOR = {Lebrun, J{\'e}r{\^o}me and Selesnick, Ivan},
TITLE = {Gr{\"o}bner bases and wavelet design},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {227-259},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {discrete wavelet transform (DWT), conjugate quadrature filters (CQFS)},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Johnson-Breitzman/04,
AUTHOR = {Johnson, Jeremy R. and Breitzman, Anthony F.},
TITLE = {Automatic derivation and implementation of fast convolution algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {261-293},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {cyclic convolution, convolution algorithms},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Johnson-Breitzman/04a,
AUTHOR = {Johnson, Jeremy R. and Breitzman, Anthony F.},
TITLE = {Automatic derivation and implementation of fast convolution algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {2},
PAGES = {261-293},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {cyclic convolution, convolution algorithms},
URL = {http://dx.doi.org/10.1016/j.jsc.2002.06.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Ballico-Orecchia/04,
AUTHOR = {Ballico, E. and Orecchia, F.},
TITLE = {Computing minimal generators of the ideal of a general projective curve},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {295-304},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {projective curve, reducible curve, line, rational normal curve, postulation, hilbert scheme},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.04.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Ballico-Orecchia/04a,
AUTHOR = {Ballico, E. and Orecchia, F.},
TITLE = {Computing minimal generators of the ideal of a general projective curve},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {295-304},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {projective curve, reducible curve, line, rational normal curve, postulation, hilbert scheme},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.04.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Burckel/04,
AUTHOR = {Burckel, Serge},
TITLE = {Elementary decompositions of arbitrary maps over finite sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {305-310},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.05.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Burckel/04a,
AUTHOR = {Burckel, Serge},
TITLE = {Elementary decompositions of arbitrary maps over finite sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {305-310},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.05.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Famelis-Papakostas-Tsitouras/04,
AUTHOR = {Famelis, I.Th. and Papakostas, S.N. and Tsitouras, Ch.},
TITLE = {Symbolic derivation of Runge-Kutta order conditions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {311-327},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {combinatorial mathematics, rooted trees, partitions},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.07.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Famelis-Papakostas-Tsitouras/04a,
AUTHOR = {Famelis, I.Th. and Papakostas, S.N. and Tsitouras, Ch.},
TITLE = {Symbolic derivation of Runge-Kutta order conditions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {311-327},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {combinatorial mathematics, rooted trees, partitions},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.07.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Andrei-Chin/04,
AUTHOR = {Andrei, {\c{S}}tefan and Chin, Wei-Ngan},
TITLE = {Solving a class of higher-order equations over a group structure},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {329-341},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {higher-order equation, symbolic computation, mathematica},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.05.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Andrei-Chin/04a,
AUTHOR = {Andrei, {\c{S}}tefan and Chin, Wei-Ngan},
TITLE = {Solving a class of higher-order equations over a group structure},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {329-341},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {higher-order equation, symbolic computation, mathematica},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.05.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Otto-Sokratova/04,
AUTHOR = {Otto, Friedrich and Sokratova, Olga},
TITLE = {Reduction relations for monoid semirings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {343-376},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {semiring, congruence, rewriting system, reduction relation, termination, confluence, critical pair},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.07.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Otto-Sokratova/04a,
AUTHOR = {Otto, Friedrich and Sokratova, Olga},
TITLE = {Reduction relations for monoid semirings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {343-376},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {semiring, congruence, rewriting system, reduction relation, termination, confluence, critical pair},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.07.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Ahn-Kim/04,
AUTHOR = {Ahn, Min-Ho and Kim, Gwang-Il},
TITLE = {Characterization of Pythagorean curves and Pythagoreanization using a rational transform},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {377-389},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.06.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
NOTE = {see Retraction notice in J. Symbolic Computation, Vol. 41, 2006, No. 1, 377-389},
}
@article{Ahn-Kim/04a,
AUTHOR = {Ahn, Min-Ho and Kim, Gwang-Il},
TITLE = {Characterization of Pythagorean curves and Pythagoreanization using a rational transform},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {377-389},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.06.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
NOTE = {see Retraction notice in J. Symbolic Computation, Vol. 41, 2006, No. 1, 377-389},
}
@article{Hanrot-Zimmermann/04,
AUTHOR = {Hanrot, G. and Zimmermann, P.},
TITLE = {A long note on Mulders' short product},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {391-401},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {mulders' algorithm, karatsuba model},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.03.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
NOTE = {see Corrigendum in J. Symbolic Computation, Vol. 66, 2015, 111-112},
}
@article{Hanrot-Zimmermann/04a,
AUTHOR = {Hanrot, G. and Zimmermann, P.},
TITLE = {A long note on Mulders' short product},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {391-401},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {mulders' algorithm, karatsuba model},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.03.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Migliore-Peterson/04,
AUTHOR = {Migliore, Juan and Peterson, Chris},
TITLE = {A symbolic test for $(i,j)$-uniformity in reduced zero-dimensional schemes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {403-413},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {uniform position, chow variety, chow form, general position, zero-dimensional scheme, points},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.10.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Migliore-Peterson/04a,
AUTHOR = {Migliore, Juan and Peterson, Chris},
TITLE = {A symbolic test for $(i,j)$-uniformity in reduced zero-dimensional schemes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {3},
PAGES = {403-413},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {uniform position, chow variety, chow form, general position, zero-dimensional scheme, points},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.10.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Sills/04,
AUTHOR = {Sills, Andrew V.},
TITLE = {RRtools --- A Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {415-448},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {rogers-ramanujan identities, $q$-series, experimental mathematics},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.04.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Sills/04a,
AUTHOR = {Sills, Andrew V.},
TITLE = {RRtools --- A Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {415-448},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {rogers-ramanujan identities, $q$-series, experimental mathematics},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.04.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Hong/04,
AUTHOR = {Hong, Hoon},
TITLE = {Note on Jacobi's method for approximating dominant roots},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {449-453},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {dominant roots, root bounds},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.07.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Hong/04a,
AUTHOR = {Hong, Hoon},
TITLE = {Note on Jacobi's method for approximating dominant roots},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {449-453},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {dominant roots, root bounds},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.07.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Oliart-Snyder/04,
AUTHOR = {Oliart, Alberto and Snyder, Wayne},
TITLE = {Fast algorithms for uniform semi-unification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {455-484},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {semi-unification, algorithms},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.03.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Oliart-Snyder/04a,
AUTHOR = {Oliart, Alberto and Snyder, Wayne},
TITLE = {Fast algorithms for uniform semi-unification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {455-484},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {semi-unification, algorithms},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.03.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Mulders-Storjohann/04,
AUTHOR = {Mulders, T. and Storjohann, A.},
TITLE = {Certified dense linear system solving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {485-510},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear system solution, diophantine system solution, integer matrix, polynomial matrix, randomized algorithm, las vegas},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.07.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Mulders-Storjohann/04a,
AUTHOR = {Mulders, T. and Storjohann, A.},
TITLE = {Certified dense linear system solving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {485-510},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear system solution, diophantine system solution, integer matrix, polynomial matrix, randomized algorithm, las vegas},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.07.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Perdry/04,
AUTHOR = {Perdry, Herv{\'e}},
TITLE = {Strongly Noetherian rings and constructive ideal theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {511-535},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {noetherian ring},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.02.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Perdry/04a,
AUTHOR = {Perdry, Herv{\'e}},
TITLE = {Strongly Noetherian rings and constructive ideal theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {511-535},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {noetherian ring},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.02.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Shi/04,
AUTHOR = {Shi, Hongbo},
TITLE = {Computation of the finitistic dimension of monomial algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {537-546},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Shi/04a,
AUTHOR = {Shi, Hongbo},
TITLE = {Computation of the finitistic dimension of monomial algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {4},
PAGES = {537-546},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Rennert/04,
AUTHOR = {Rennert, Nicolas},
TITLE = {A parallel multi-modular algorithm for computing Lagrange resolvents},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {547-556},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {algorithm, lagrange resolvents},
URL = {http://dx.doi.org/10.1016/S0747-7171(02)00012-3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Rennert/04a,
AUTHOR = {Rennert, Nicolas},
TITLE = {A parallel multi-modular algorithm for computing Lagrange resolvents},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {547-556},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {algorithm, lagrange resolvents},
URL = {http://dx.doi.org/10.1016/S0747-7171(02)00012-3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Rupprecht/04,
AUTHOR = {Rupprecht, David},
TITLE = {Semi-numerical absolute factorization of polynomials with integer coefficients},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {557-574},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/S0747-7171(02)00011-1},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Rupprecht/04a,
AUTHOR = {Rupprecht, David},
TITLE = {Semi-numerical absolute factorization of polynomials with integer coefficients},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {557-574},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/S0747-7171(02)00011-1},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Martnez-Moro/04,
AUTHOR = {Mart{\'{\i}}nez-Moro, Edgar},
TITLE = {Regular representations of finite-dimensional separable semisimple algebras and Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {575-587},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {Gr{\"{o}}bner bases, regular representation, semisimple algebras},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Martnez-Moro/04a,
AUTHOR = {Mart{\'{\i}}nez-Moro, Edgar},
TITLE = {Regular representations of finite-dimensional separable semisimple algebras and Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {575-587},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {Gr{\"{o}}bner bases, regular representation, semisimple algebras},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Cannon-Holt/04,
AUTHOR = {Cannon, John and Holt, Derek F.},
TITLE = {Computing maximal subgroups of finite groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {589-609},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {MAGMA},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Cannon-Holt/04a,
AUTHOR = {Cannon, John and Holt, Derek F.},
TITLE = {Computing maximal subgroups of finite groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {589-609},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {MAGMA},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.08.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Hirata-Yamada-Harao/04,
AUTHOR = {Hirata, Kouichi and Yamada, Keizo and Harao, Masateru},
TITLE = {Tractable and intractable second-order matching problems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {611-628},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {second-order matching problem, second-order unification problem, computational complexity},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.09.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Hirata-Yamada-Harao/04a,
AUTHOR = {Hirata, Kouichi and Yamada, Keizo and Harao, Masateru},
TITLE = {Tractable and intractable second-order matching problems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {611-628},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {second-order matching problem, second-order unification problem, computational complexity},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.09.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Ucha-Castro-Jimenez/04,
AUTHOR = {Ucha, J.M. and Castro-Jim{\'e}nez, F.J.},
TITLE = {On the computation of Bernstein-Sato ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {629-639},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {Bernstein-Sato ideal},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.07.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Ucha-Castro-Jimenez/04a,
AUTHOR = {Ucha, J.M. and Castro-Jim{\'e}nez, F.J.},
TITLE = {On the computation of Bernstein-Sato ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {629-639},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {Bernstein-Sato ideal},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.07.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Belabas/04,
AUTHOR = {Belabas, Karim},
TITLE = {A relative van Hoeij algorithm over number fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {641-668},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial factorization, number fields},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.09.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Belabas/04a,
AUTHOR = {Belabas, Karim},
TITLE = {A relative van Hoeij algorithm over number fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {5},
PAGES = {641-668},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial factorization, number fields},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.09.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Baldwin-Goktas-Hereman-Hong-Martino-Miller/04,
AUTHOR = {Baldwin, D. and G{\"o}kta{\c{s}}, {\"U}. and Hereman, W. and Hong, L. and Martino, R.S. and Miller, J.C.},
TITLE = {Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {669-705},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {exact solutions, nonlinear pdes, tanh method, symbolic software},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.09.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Baldwin-Goktas-Hereman-Hong-Martino-Miller/04a,
AUTHOR = {Baldwin, D. and G{\"o}kta{\c{s}}, {\"U}. and Hereman, W. and Hong, L. and Martino, R.S. and Miller, J.C.},
TITLE = {Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {669-705},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {exact solutions, nonlinear pdes, tanh method, symbolic software},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.09.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Fiore-Leinster/04,
AUTHOR = {Fiore, Marcelo and Leinster, Tom},
TITLE = {An objective representation of the Gaussian integers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {707-716},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.10.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Fiore-Leinster/04a,
AUTHOR = {Fiore, Marcelo and Leinster, Tom},
TITLE = {An objective representation of the Gaussian integers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {707-716},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.10.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Elias/04,
AUTHOR = {Elias, Juan},
TITLE = {On the computation of the Ratliff-Rush closure},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {717-725},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.10.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Elias/04a,
AUTHOR = {Elias, Juan},
TITLE = {On the computation of the Ratliff-Rush closure},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {717-725},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.10.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bernstein/04,
AUTHOR = {Bernstein, Dan},
TITLE = {The computational complexity of rules for the character table of $S_n$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {727-748},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.11.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bernstein/04a,
AUTHOR = {Bernstein, Dan},
TITLE = {The computational complexity of rules for the character table of $S_n$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {727-748},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.11.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Marco-Martnez/04,
AUTHOR = {Marco, Ana and Mart{\'{\i}}nez, Jos{\'e}-Javier},
TITLE = {Parallel computation of determinants of matrices with polynomial entries},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {749-760},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.11.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Marco-Martnez/04a,
AUTHOR = {Marco, Ana and Mart{\'{\i}}nez, Jos{\'e}-Javier},
TITLE = {Parallel computation of determinants of matrices with polynomial entries},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {749-760},
YEAR = {2004},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2003.11.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Koussoulas-Skiadas/04,
AUTHOR = {Koussoulas, Nick T. and Skiadas, Photis},
TITLE = {Symbolic computation for mobile robot path planning},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {761-775},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {mobile robotics, motion planning, differential geometry},
URL = {http://dx.doi.org/10.1016/j.jsc.1999.05.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Koussoulas-Skiadas/04a,
AUTHOR = {Koussoulas, Nick T. and Skiadas, Photis},
TITLE = {Symbolic computation for mobile robot path planning},
JOURNAL = {J. Symbolic Computation},
VOLUME = {37},
NUMBER = {6},
PAGES = {761-775},
YEAR = {2004},
EDITOR = {Hong, Hoon},
KEYWORDS = {mobile robotics, motion planning, differential geometry},
URL = {http://dx.doi.org/10.1016/j.jsc.1999.05.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}