@article{Rety-Vuotto/05,
AUTHOR = {R{\'e}ty, Pierre and Vuotto, Julie},
TITLE = {Tree automata for rewrite strategies},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {1},
PAGES = {749-794},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {term rewriting, strategy, tree automaton},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.12.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Albert-Hanus-Huch-Oliver-Vidal/05,
AUTHOR = {Albert, Elvira and Hanus, Michael and Huch, Frank and Oliver, Javier and Vidal, Germ{\'a}n},
TITLE = {Operational semantics for declarative multi-paradigm languages},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {1},
PAGES = {795-829},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {functional logic programming, operational semantics},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.01.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Visser/05,
AUTHOR = {Visser, Eelco},
TITLE = {A survey of strategies in rule-based program transformation systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {1},
PAGES = {831-873},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {program transformation, transformation rule, transformation strategy, program representation, term rewriting, pattern matching, extensions of term rewriting, strategy annotations, tree parsing, attribute grammars, strategy combinators, tree traversal, congruence operators, generic traversal strategies, context-sensitive rules},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.12.011},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Antoy/05,
AUTHOR = {Antoy, Sergio},
TITLE = {Evaluation strategies for functional logic programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {1},
PAGES = {875-903},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {evaluation strategies, narrowing, definitional trees, constructor-based rewrite systems, functional logic programming},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.12.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Schmidt-Schauss-Schulz/05,
AUTHOR = {Schmidt-Schau{\ss}, Manfred and Schulz, Klaus U.},
TITLE = {Decidability of bounded higher-order unification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {2},
PAGES = {905-954},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {higher-order unification, decision algorithms, simply typed lambda calculus, bounded unification problems, exponent of periodicity},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.01.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Chen-Saad/05,
AUTHOR = {Chen, William Y.C. and Saad, Husam L.},
TITLE = {On the Gosper-Petkov{\v{s}}ek representation of rational functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {2},
PAGES = {955-963},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {gosper's algorithm, gp representation, $q$-Gosper's algorithm, $q$-gp representation, hypergeometric term},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.01.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Gasparim-Swanson/05,
AUTHOR = {Gasparim, Elizabeth and Swanson, Irena},
TITLE = {Computing instanton numbers of curve singularities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {2},
PAGES = {965-978},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {instanton numbers, curve singularities, vector bundles},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.01.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Gann-Hauser/05,
AUTHOR = {Gann, Sebastian and Hauser, Herwig},
TITLE = {Perfect bases for differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {2},
PAGES = {979-997},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {differential operators, division theorem, perfect bases},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.02.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Alvarez_Montaner/05,
AUTHOR = {{\`A}lvarez Montaner, Josep},
TITLE = {Operations with regular holonomic $D$-modules with support a normal crossing},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {2},
PAGES = {999-1012},
YEAR = {2005},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.03.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Cannon-Holt-Slattery-Steel/05,
AUTHOR = {Cannon, John J. and Holt, Derek F. and Slattery, Michael and Steel, Allan K.},
TITLE = {Computing subgroups of bounded index in a finite group},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {2},
PAGES = {1013-1022},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {computing, finite groups, subgroups},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.02.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Conca-Sidman/05,
AUTHOR = {Conca, Aldo and Sidman, Jessica},
TITLE = {Generic initial ideals of points and curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {3},
PAGES = {1023-1038},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {generic initial ideal, curves, points, lexicographic term order},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.01.009},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Roman-Roman/05,
AUTHOR = {Rom{\'a}n, Manuel Garc{\'{i}}a and Rom{\'a}n, Socorro Garc{\'{i}}a},
TITLE = {Gr{\"o}bner bases and Syzygies on bimodules over PBW algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {3},
PAGES = {1039-1052},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {bimodules, Gr{\"o}bner bases, syzygy bimodule},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.05.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Steel/05,
AUTHOR = {Steel, Allan},
TITLE = {Conquering inseparability: Primary decomposition and multivariate factorization over algebraic function fields of positive characteristic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {3},
PAGES = {1053-1075},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {algebraic function field, non-perfect field, inseparability, primary decomposition, polynomial factorization, Gr{\"o}bner basis},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.03.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Gago-Vargas-Hartillo-Hermoso-Ucha-Enriquez/05,
AUTHOR = {Gago-Vargas, J. and Hartillo-Hermoso, M.I. and Ucha-Enr{\'{i}}quez, J.M.},
TITLE = {Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {3},
PAGES = {1076-1086},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {complexity, Poincar{\'e}-Birkhoff-Witt algebras, Bernstein-Sato ideals},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.05.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Torstensson-Ufnarovski-Ofverbeck/05,
AUTHOR = {Torstensson, Anna and Ufnarovski, Victor and {\"O}fverbeck, Hans},
TITLE = {Using resultants for SAGBI basis verification in the univariate polynomial ring},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {3},
PAGES = {1087-1105},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {sagbi basis, resultant, reduction, subalgebra, univariate polynomial ring},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.06.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Phillips-Vojtechovsky/05,
AUTHOR = {Phillips, J.D. and Vojt{\v{e}}chovsk{\'y}, Petr},
TITLE = {Linear groupoids and the associated wreath products},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {3},
PAGES = {1106-1125},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear groupoid, linear identity, balanced identity, strictly balanced identity, the identity $(xy)z = y(zx)$, binary tree, wreath product, robbins axiom, boolean algebra, identity-hedron},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.02.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Hillar/05a,
AUTHOR = {Hillar, Christopher J.},
TITLE = {Erratum to ''Cyclic resultants''},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {3},
PAGES = {1126-1127},
YEAR = {2005},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.05.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
NOTE = {Originally in J. Symbolic Computation, Vol. 39, 2005, No. 6, 653-669},
}
@article{Apel-Hemmecke/05,
AUTHOR = {Apel, Joachim and Hemmecke, Ralf},
TITLE = {Detecting unnecessary reductions in an involutive basis computation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {4-5},
PAGES = {1131-1149},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {involutive basis, involutive criteria, gr{\"o}bner basis, buchberger criteria msc: 13p10, 68w30},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.04.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Buse-Chardin/05,
AUTHOR = {Bus{\'e}, Laurent and Chardin, Marc},
TITLE = {Implicitizing rational hypersurfaces using approximation complexes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {4-5},
PAGES = {1150-1168},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {implicitization, base points, syzygies, approximation complexes},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.04.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Fortuna-Gianni-Parenti/05,
AUTHOR = {Fortuna, E. and Gianni, P. and Parenti, P.},
TITLE = {Some constructions for real algebraic curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {4-5},
PAGES = {1169-1179},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {real algebraic curves, algorithms, Gr{\"o}bner bases, multi-tangents},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.04.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Gatermann-Hosten/05,
AUTHOR = {Gatermann, Karin and Hosten, Serkan},
TITLE = {Computational algebra for bifurcation theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {4-5},
PAGES = {1180-1207},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {standard bases, local ring, bifurcation point, singularity theory},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.04.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Gonzalez-Diaz-Real/05,
AUTHOR = {Gonzalez-Diaz, Rocio and Real, Pedro},
TITLE = {Simplification techniques for maps in simplicial topology},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {4-5},
PAGES = {1208-1224},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {cohomology operations, simplicial sets, face and degeneracy operators},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.04.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Lygeros-Marchand-Massot/05,
AUTHOR = {Lygeros, Nik and Marchand, Paul-Val{\`e}re and Massot, Marc},
TITLE = {Enumeration and 3D representation of the stereo-isomers of alkane molecules},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {4-5},
PAGES = {1225-1241},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {chemical enumeration, computer algebra, stereo-isomers, alkane molecules},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.04.009},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Moeckel/05,
AUTHOR = {Moeckel, Richard},
TITLE = {Sturm's algorithm and isolating blocks},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {4-5},
PAGES = {1242-1255},
YEAR = {2005},
EDITOR = {Hong, Hoon},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.04.010},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Palacian-Yanguas/05,
AUTHOR = {Palaci{\'a}n, Jes{\'u}s F. and Yanguas, Patricia},
TITLE = {Asymptotic invariant tori of perturbed two-body problems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {4-5},
PAGES = {1256-1268},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {equilibria, periodic and quasi-periodic orbits, 2D invariant tori, algorithms for normalisations, invariants and reduced phase spaces},
URL = {http://dx.doi.org/10.1016/j.jsc.2004.05.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Assmann-Eick/05,
AUTHOR = {Assmann, Bj{\"o}rn and Eick, Bettina},
TITLE = {Computing polycyclic presentations for polycyclic rational matrix groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {6},
PAGES = {1269-1284},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {polycyclic group, polycyclic presentation, matrix group, representation},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.05.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Smith/05,
AUTHOR = {Smith, Lawrence H.},
TITLE = {On ordering free groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {6},
PAGES = {1285-1290},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {computation, ordered groups, free groups},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.05.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
NOTE = {see Erratum in J. Symbolic Computation, Vol. 44, 2009, No. 10, 1529-1532},
}
@article{Schicho-Szilagyi/05,
AUTHOR = {Schicho, Josef and Szil{\'a}gyi, Ibolya},
TITLE = {Numerical stability of surface implicitization},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {6},
PAGES = {1291-1301},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {condition number, implicitization},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.05.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Qi/05,
AUTHOR = {Qi, Liqun},
TITLE = {Eigenvalues of a real supersymmetric tensor},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {6},
PAGES = {1302-1324},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {eigenvalue, supersymmetric tensor, symmetric hyperdeterminant},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.05.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Mendez_Omana-Pohst/05,
AUTHOR = {M{\'e}ndez Om{\~a}na, Jos{\'e} and Pohst, Michael E.},
TITLE = {Factoring polynomials over global fields II},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {6},
PAGES = {1325-1339},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial factorization, global fields},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.03.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Er-Riani-Sero-Guillaume/05,
AUTHOR = {Er-Riani, Mustapha and Sero-Guillaume, Olivier},
TITLE = {Shapes of liquid drops obtained using symbolic computation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {6},
PAGES = {1340-1360},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {free boundary, perturbation method, combinatorial blow-up},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.05.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Gatermann-Eiswirth-Sensse/05,
AUTHOR = {Gatermann, Karin and Eiswirth, Markus and Sensse, Anke},
TITLE = {Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {6},
PAGES = {1361-1382},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {algebraic geometry, chemical kinetics},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.07.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Subramani-Desovski/05,
AUTHOR = {Subramani, K. and Desovski, D.},
TITLE = {Out of order quantifier elimination for standard quantified linear programs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {40},
NUMBER = {6},
PAGES = {1383-1396},
YEAR = {2005},
EDITOR = {Hong, Hoon},
KEYWORDS = {quantified linear programs, quantifier elimination, out of order},
URL = {http://dx.doi.org/10.1016/j.jsc.2005.08.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}