@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},
}