@article{de_Graaf-Pilnikova-Schicho/09,
AUTHOR = {de Graaf, Willem A. and P{\'{i}}lnikov{\'{a}}, Jana and Schicho, Josef},
TITLE = {Parametrizing Del Pezzo surfaces of degree 8 using Lie algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {1},
PAGES = {1-14},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fronk-Kehden/09,
AUTHOR = {Fronk, Alexander and Kehden, Britta},
TITLE = {State space analysis of Petri nets with relation-algebraic methods},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {1},
PAGES = {15-47},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Abramov-Barkatou/09,
AUTHOR = {Abramov, S.A. and Barkatou, M.A.},
TITLE = {d'Alembertian series solutions at ordinary points of LODE with polynomial coefficients},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {1},
PAGES = {48-59},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Wirth/09,
AUTHOR = {Wirth, Claus-Peter},
TITLE = {Shallow confluence of conditional term rewriting systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {1},
PAGES = {60-98},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Tsuji/09,
AUTHOR = {Tsuji, Kuniaki},
TITLE = {An improved EZ-GCD algorithm for multivariate polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {1},
PAGES = {99-110},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dohm-Zube/09,
AUTHOR = {Dohm, Marc and Zube, Severinas},
TITLE = {The implicit equation of a canal surface},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {2},
PAGES = {111-130},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Beck/09,
AUTHOR = {Beck, Tobias},
TITLE = {Formal desingularization of surfaces: The Jung method revisited},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {2},
PAGES = {131-160},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Farouki-Giannelli-Sestini/09,
AUTHOR = {Farouki, Rida T. and Giannelli, Carlotta and Sestini, Alessandra},
TITLE = {Helical polynomial curves and double Pythagorean hodographs --- I. Quaternion and Hopf map representations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {2},
PAGES = {161-179},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Aigner-Juttler-Gonzalez-Vega-Schicho/09,
AUTHOR = {Aigner, Martin and J{\"{u}}ttler, Bert and Gonzalez-Vega, Laureano and Schicho, Josef},
TITLE = {Parameterizing surfaces with certain special support functions, including offsets of quadrics and rationally supported surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {2},
PAGES = {180-191},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Andradas-Recio-Sendra-Tabera/09,
AUTHOR = {Andradas, Carlos and Recio, Tomas and Sendra, J. Rafael and Tabera, Luis Felipe},
TITLE = {On the simplification of the coefficients of a parametrization},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {2},
PAGES = {192-210},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bedratyuk/09,
AUTHOR = {Bedratyuk, Leonid},
TITLE = {A complete minimal system of covariants for the binary form of degree 7},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {2},
PAGES = {211-220},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Lazard/09,
AUTHOR = {Lazard, Daniel},
TITLE = {Thirty yaears of Polynomial System Solving, and now?},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {3},
PAGES = {222-231},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Buse-Elkadi-Galligo/09,
AUTHOR = {Bus{\'e}, Laurent and Elkadi, Mohamed and Galligo, Andr{\'e}},
TITLE = {A computational study of ruled surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {3},
PAGES = {232-241},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gao-Luo-Yuan/09,
AUTHOR = {Gao, Xiao-Shan and Luo, Yong and Yuan, Chunming},
TITLE = {A characteristic set method for ordinary difference polynomial systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {3},
PAGES = {242-260},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Neut-Petitot-Dridi/09,
AUTHOR = {Neut, Sylvain and Petitot, Michel and Dridi, Raouf},
TITLE = {{\'E}lie Cartan's geometrical vision or how to avoid expression swell},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {3},
PAGES = {261-270},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kotsireas-Koukouvinos/09,
AUTHOR = {Kotsireas, Ilias S. and Koukouvinos, Christos},
TITLE = {Hadamard matrices of Williamson type: A challenge for Computer Algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {3},
PAGES = {271-279},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Reid-Zhi/09,
AUTHOR = {Reid, Greg and Zhi, Lihong},
TITLE = {Solving polynomial systems via symbolic-numeric reduction to geometric involutive form},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {3},
PAGES = {280-291},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mourrain-Pavone/09,
AUTHOR = {Mourrain, B. and Pavone, J.P.},
TITLE = {Subdivision methods for solving polynomial equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {3},
PAGES = {292-306},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Farouki-Giannelli-Sestini/09a,
AUTHOR = {Farouki, Rida T. and Giannelli, Carlotta and Sestini, Alessandra},
TITLE = {Helical polynomial curves and double Pythagorean hodographs --- II. Enumeration of low-degree curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {4},
PAGES = {307-332},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Golubitsky-Kondratieva-Ovchinnikov/09,
AUTHOR = {Golubitsky, Oleg and Kondratieva, Marina and Ovchinnikov, Alexey},
TITLE = {Algebraic transformation of differential characteristic decompositions from one ranking to another},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {4},
PAGES = {333-357},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Roune/09,
AUTHOR = {Roune, Bjarke Hammersholt},
TITLE = {The Slice Algorithm for irreducible decomposition of monomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {4},
PAGES = {358-381},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hubert/09,
AUTHOR = {Hubert, Evelyne},
TITLE = {Differential invariants of a Lie group action: Syzygies on a generating set},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {4},
PAGES = {382-416},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Miret-Hernandez-Xambo-Descamps/09,
AUTHOR = {Miret, Josep M. and Hern{\'{a}}ndez, Xavier and Xamb{\'o}-Descamps, Sebasti{\`{e}}},
TITLE = {Erratum to ''Computing the characteristic numbers of the variety of nodal plane cubics in $\mathbb{P}^3$''},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {4},
PAGES = {417-418},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
NOTE = {Originally in J. Symbolic Computation, Vol. 42, 2007, No. 1-2, 192-202},
}
@article{Nguyen/09,
AUTHOR = {Nguyen, An Khuong},
TITLE = {On $d$-solvability for linear differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {421-434},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Tajima-Nakamura/09,
AUTHOR = {Tajima, Shinichi and Nakamura, Yayoi},
TITLE = {Annihilating ideals for an algebraic local cohomology class},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {435-448},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Nakayama/09,
AUTHOR = {Nakayama, Hiromasa},
TITLE = {Algorithm computing the local $b$ function by an approximate division algorithm in $\hat{\cal D}$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {449-462},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Manubens-Montes/09,
AUTHOR = {Manubens, Montserrat and Montes, Antonio},
TITLE = {Minimal canonical comprehensive Gr{\"{o}}bner systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {463-478},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dohm/09,
AUTHOR = {Dohm, Marc},
TITLE = {Implicitization of rational ruled surfaces with $\mu$-bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {479-489},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Rubio-Serradilla-Velez/09,
AUTHOR = {Rubio, R. and Serradilla, J.M. and V{\'{e}}lez, M.P.},
TITLE = {Detecting real singularities of a space curve from a real rational parametrization},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {490-498},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ruano/09,
AUTHOR = {Ruano, Diego},
TITLE = {On the structure of generalized toric codes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {499-506},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Olteanu-del_Rio/09,
AUTHOR = {Olteanu, Gabriela and del R{\'{i}}o, {\'A}ngel},
TITLE = {An algorithm to compute the Wedderburn decomposition of semisimple group algebras implemented in the GAP package wedderga},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {507-516},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Insua-Ladra/09,
AUTHOR = {Insua, Manuel A. and Ladra, Manuel},
TITLE = {Gr{\"{o}}bner bases in universal enveloping algebras of Leibniz algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {517-526},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Camacho-Gomez-Gonzalez-Omirov/09,
AUTHOR = {Camacho, L.M. and G{\'o}mez, J.R. and Gonz{\'{a}}lez, A.J. and Omirov, B.A.},
TITLE = {Naturally graded quasi-filiform Leibniz algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {527-539},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Barakat-Robertz/09,
AUTHOR = {Barakat, Mohamed and Robertz, Daniel},
TITLE = {conley: Computing connection matrices in Maple},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {540-557},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Alvarez-Armario-Frau-Real/09,
AUTHOR = {Alvarez, V. and Armario, J.A. and Frau, M.D. and Real, P.},
TITLE = {The homological reduction method for computing cocyclic Hadamard matrices},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {558-570},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jorge-Gulias-Freire/09,
AUTHOR = {Jorge, J. Santiago and Gulias, Victor M. and Freire, Jose L.},
TITLE = {Certifying properties of an efficient functional program for computing Gr{\"{o}}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {571-582},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Briand-Rosas/09,
AUTHOR = {Briand, Emmanuel and Rosas, Mercedes},
TITLE = {Milne's volume function and vector symmetric polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {5},
PAGES = {583-590},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hanson-Sha/09,
AUTHOR = {Hanson, Andrew J. and Sha, Ji-Ping},
TITLE = {A tessellation for Fermat surfaces in $\mathbb{C}$P$^3$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {6},
PAGES = {591-605},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Pope-Szanto/09,
AUTHOR = {Pope, Scott R. and Szanto, Agnes},
TITLE = {Nearest multivariate system with given root multiplicities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {6},
PAGES = {606-625},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hefez-Hernandes/09,
AUTHOR = {Hefez, Abramo and Hernandes, Marcelo Escudeiro},
TITLE = {Analytic classification of plane branches up to multiplicity 4},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {6},
PAGES = {626-634},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{San_Segundo-Sendra/09,
AUTHOR = {San Segundo, F. and Sendra, J.R.},
TITLE = {Partial degree formulae for plane offset curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {6},
PAGES = {635-654},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Joshua-Van_Ault/09,
AUTHOR = {Joshua, Roy and Van Ault, Shaun},
TITLE = {Implementation of Stanley's algorithm for projective group imbeddings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {6},
PAGES = {655-672},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cremona-Fisher/09,
AUTHOR = {Cremona, J.E. and Fisher, T.A.},
TITLE = {On the equivalence of binary quartics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {6},
PAGES = {673-682},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Busch/09,
AUTHOR = {Busch, J.},
TITLE = {Lower bounds for decision problems in imaginary, norm-Euclidean quadratic integer rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {6},
PAGES = {683-699},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Anai-Hara-Kanno-Yokoyama/09,
AUTHOR = {Anai, Hirokazu and Hara, Shinji and Kanno, Masaaki and Yokoyama, Kazuhiro},
TITLE = {Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {703-725},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cesaratto-Clement-Daireaux-Lhote-Maume-Deschamps-Vallee/09,
AUTHOR = {Cesaratto, Eda and Cl{\'{e}}ment, Julien and Daireaux, Beno{\^{i}}t and Lhote, Lo{\"{i}}ck and Maume-Deschamps, V{\'{e}}ronique and Vall{\'{e}}e, Brigitte},
TITLE = {Regularity of the Euclid Algorithm; Application to the analysis of fast GCD algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {726-767},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cheng-Gao-Yap/09,
AUTHOR = {Cheng, Jin-San and Gao, Xiao-Shan and Yap, Chee-Keng},
TITLE = {Complete numerical isolation of real roots in zero-dimensional triangular systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {768-785},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cicalo-de_Graaf/09,
AUTHOR = {Cical{\`{o}}, Serena and de Graaf, Willem A.},
TITLE = {Non-associative Gr{\"{o}}bner bases, finitely-presented Lie rings and the Engel condition, II},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {786-800},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Costermans-Minh/09,
AUTHOR = {Costermans, Christian and Minh, Hoang Ngoc},
TITLE = {Noncommutative algebra, multiple harmonic sums and applications in discrete probability},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {801-817},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Diochnos-Emiris-Tsigaridas/09,
AUTHOR = {Diochnos, Dimitrios I. and Emiris, Ioannis Z. and Tsigaridas, Elias P.},
TITLE = {On the asymptotic and practical complexity of solving bivariate systems over the reals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {818-835},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dridi-Petitot/09,
AUTHOR = {Dridi, Raouf and Petitot, Michel},
TITLE = {New classification techniques for ordinary differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {836-851},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jaulent-Pauli-Pohst-Soriano-Gafiuk/09,
AUTHOR = {Jaulent, Jean-Fran{\c{c}}ois and Pauli, Sebastian and Pohst, Michael E. and Soriano-Gafiuk, Florence},
TITLE = {Computation of 2-groups of narrow logarithmic divisor classes of number fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {852-863},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jouanolou/09,
AUTHOR = {Jouanolou, Jean-Pierre},
TITLE = {An explicit duality for quasi-homogeneous ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {864-871},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kunkle-Cooperman/09a,
AUTHOR = {Kunkle, Daniel and Cooperman, Gene},
TITLE = {Harnessing parallel disks to solve Rubik's cube},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {872-890},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Li-Maza-Schost/09,
AUTHOR = {Li, Xin and Maza, Marc Moreno and Schost, {\'E}ric},
TITLE = {Fast arithmetic for triangular sets: From theory to practice},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {891-907},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sekigawa/09,
AUTHOR = {Sekigawa, Hiroshi},
TITLE = {On real factors of real interval polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {908-922},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Wu-Reid-Ilie/09,
AUTHOR = {Wu, Wenyuan and Reid, Greg and Ilie, Silvana},
TITLE = {Implicit Riquier Bases for PDAE and their semi-discretizations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {7},
PAGES = {923-941},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Giesbrecht-Labahn-Lee/09,
AUTHOR = {Giesbrecht, Mark and Labahn, George and Lee, Wen-shin},
TITLE = {Symbolic-numeric sparse interpolation of multivariate polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {8},
PAGES = {943-959},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chen-Xia/09,
AUTHOR = {Chen, William Y.C. and Xia, Ernest X.W.},
TITLE = {The $q$-WZ method for infinite series},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {8},
PAGES = {960-971},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chtcherba-Kapur-Minimair/09,
AUTHOR = {Chtcherba, Arthur D. and Kapur, Deepak and Minimair, Manfred},
TITLE = {Cayley-Dixon projection operator for multi-univariate composed polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {8},
PAGES = {972-999},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{van_der_Hoeven/09,
AUTHOR = {van der Hoeven, Joris},
TITLE = {On asymptotic extrapolation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {8},
PAGES = {1000-1016},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Barkatou-Pflugel/09,
AUTHOR = {Barkatou, Moulay A. and Pfl{\"{u}}gel, Eckhard},
TITLE = {On the Moser- and super-reduction algorithms of systems of linear differential equations and their complexity},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {8},
PAGES = {1017-1036},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Detinko-Flannery/09,
AUTHOR = {Detinko, A.S. and Flannery, D.L.},
TITLE = {On deciding finiteness of matrix groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {8},
PAGES = {1037-1043},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Curtis-Fairbairn/09,
AUTHOR = {Curtis, R.T. and Fairbairn, B.T.},
TITLE = {Symmetric representation of the elements of the Conway group $\cdot 0$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {8},
PAGES = {1044-1067},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{McLaughlin-Sills-Zimmer/09,
AUTHOR = {McLaughlin, James and Sills, Andrew V. and Zimmer, Peter},
TITLE = {Rogers-Ramanujan computer searches},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {8},
PAGES = {1068-1078},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cools/09,
AUTHOR = {Cools, Filip},
TITLE = {On the relation between weighted trees and tropical Grassmannians},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {8},
PAGES = {1079-1086},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Durvye/09,
AUTHOR = {Durvye, Cl{\'{e}}mence},
TITLE = {Evaluation techniques for zero-dimensional primary decomposition},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1089-1113},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Burgisser-Scheiblechner/09,
AUTHOR = {B{\"{u}}rgisser, Peter and Scheiblechner, Peter},
TITLE = {On the complexity of counting components of algebraic varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1114-1136},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gao-van_der_Hoeven-Yuan-Zhang/09,
AUTHOR = {Gao, X.S. and van der Hoeven, J. and Yuan, C.M. and Zhang, G.L.},
TITLE = {Characteristic set method for differential-difference polynomial systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1137-1163},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{DAndrea-Hong-Krick-Szanto/09,
AUTHOR = {D'Andrea, Carlos and Hong, Hoon and Krick, Teresa and Szanto, Agnes},
TITLE = {Sylvester's double sums: The general case},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1164-1175},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Lazard-McCallum/09,
AUTHOR = {Lazard, Daniel and McCallum, Scott},
TITLE = {Iterated discriminants},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1176-1193},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Elkadi-Galligo-Weimann/09,
AUTHOR = {Elkadi, M. and Galligo, A. and Weimann, M.},
TITLE = {Towards toric absolute factorization},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1194-1211},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kemper/09,
AUTHOR = {Kemper, Gregor},
TITLE = {Separating invariants},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1212-1222},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{de_Graaf/09,
AUTHOR = {de Graaf, Willem A.},
TITLE = {Constructing algebraic groups from their Lie algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1223-1233},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fortuna-Gianni-Trager/09,
AUTHOR = {Fortuna, E. and Gianni, P. and Trager, B.},
TITLE = {Generators of the ideal of an algebraic space curve},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1234-1254},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hubrechts/09,
AUTHOR = {Hubrechts, Hendrik},
TITLE = {Quasi-quadratic elliptic curve point counting using rigid cohomology},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1255-1267},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Martin-Suss/09,
AUTHOR = {Martin, Bernd and S{\"{u}}{\ss}, Hendrik},
TITLE = {Milnor algebras could be isomorphic to modular algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1268-1279},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Avendano/09,
AUTHOR = {Avenda{\~n}o, Mart{\'{i}}n},
TITLE = {The number of roots of a lacunary bivariate polynomial on a line},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1280-1284},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Castle-Powers-Reznick/09,
AUTHOR = {Castle, Mari and Powers, Victoria and Reznick, Bruce},
TITLE = {A quantitative P{\'o}lya's Theorem with zeros},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1285-1290},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Alberti-Mourrain-Tecourt/09,
AUTHOR = {Alberti, Lionel and Mourrain, Bernard and T{\'{e}}court, Jean-Pierre},
TITLE = {Isotopic triangulation of a real algebraic surface},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1291-1310},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Saenz-de-Cabezon-Wynn/09,
AUTHOR = {S{\'{a}}enz-de-Cabez{\'o}n, Eduardo and Wynn, Henry P.},
TITLE = {Betti numbers and minimal free resolutions for multi-state system reliability bounds},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1311-1325},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Brickenstein-Dreyer/09,
AUTHOR = {Brickenstein, Michael and Dreyer, Alexander},
TITLE = {POLYBORI: A framework for Gr{\"{o}}bner-basis computations with Boolean polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1326-1345},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gosselin-Moore-Schicho/09,
AUTHOR = {Gosselin, Cl{\'{e}}ment M. and Moore, Brian and Schicho, Josef},
TITLE = {Dynamic balancing of planar mechanisms using toric geometry},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {9},
PAGES = {1346-1358},
YEAR = {2009},
EDITOR = {Hong, Hoon},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Robertz/09,
AUTHOR = {Robertz, Daniel},
TITLE = {Noether normalization guided by monomial cone decompositions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1359-1373},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {noether normalization, involutive bases, janet bases, stanley decompositions, sparse coordinate change},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4VWHW17-1/2/ec5138567a0475a056c9d5d1311bedfb},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{La_Scala-Levandovskyy/09,
AUTHOR = {La Scala, Roberto and Levandovskyy, Viktor},
TITLE = {Letterplace ideals and non-commutative Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1374-1393},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {free associative algebras, gr{\'o}bner{\'o}bases, monoid action, invariant ideals},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4W0SK09-1/2/c0b544b473e7da7e19aee2e61f05a003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Zhang-Gao/09,
AUTHOR = {Zhang, Mingbo and Gao, Xiao-Shan},
TITLE = {Decomposition of ordinary difference polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1394-1409},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {functional decomposition, difference polynomial, difference operator, difference degree},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4W6Y5HR-1/2/48832284f31fce0347aa0f88cfe393ec},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Tung/09,
AUTHOR = {Tung, Shih Ping},
TITLE = {Algorithms for near solutions to polynomial equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1410-1424},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {algorithms, near solution, polynomial equations},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4W6Y35D-1/2/9ac3fe21970422b48af6bd15b1e9c96a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Miret-Pujolas-Saurav-Xambo-Descamps/09,
AUTHOR = {Miret, Josep M. and Pujol{\`a}s, Jordi and Saurav, Kumar and Xamb{\'o}-Descamps, Sebasti{\'a}},
TITLE = {Computing some fundamental numbers of the variety of nodal cubics in $\mathbb{P}^3$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1425-1447},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {nodal cubics, intersection numbers, effective computational methods},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4W741Y8-1/2/b88761adb55b5f557da89a95f883ccf6},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dumnicki/09,
AUTHOR = {Dumnicki, Marcin},
TITLE = {An algorithm to bound the regularity and nonemptiness of linear systems in $\mathbb{P}^n$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1448-1462},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear systems, fat points, seshadri constant},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4W7RYCM-2/2/253c96229be46bd74bc3252048c0215e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hemmecke-Malkin/09,
AUTHOR = {Hemmecke, Raymond and Malkin, Peter N.},
TITLE = {Computing generating sets of lattice ideals and Markov bases of lattices},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1463-1476},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {generating sets, lattices, lattice ideals, markov bases, integer programming, test sets},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4W7RYCM-1/2/05334a985ff025234dd4f444df2cb155},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bayer-Taylor/09,
AUTHOR = {Bayer, Dave and Taylor, Amelia},
TITLE = {Reverse search for monomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1477-1486},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {monomial ideal, reverse search, simplicial complex},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4W99VY3-3/2/0d4c070ce157ac4c27307a910f4c460e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Liang-Jeffrey/09,
AUTHOR = {Liang, Songxin and Jeffrey, David J.},
TITLE = {Automatic computation of the complete root classification for a parametric polynomial},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1487-1501},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {complete root classification, parametric polynomial, real quantifier elimination, real root, subresultant polynomial},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WD1BYP-1/2/a4dd82b1441ed943f9953196f9bea2ee},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Harvey/09,
AUTHOR = {Harvey, David},
TITLE = {Faster polynomial multiplication via multipoint Kronecker substitution},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1502-1510},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial multiplication, kronecker substitution, efficient algorithm},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WGK6MX-1/2/7b3083f9a1193db4ba1ae2f4c759b2b8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Wietecha-Sokalski/09,
AUTHOR = {Wietecha, T. and Sokalski, K.},
TITLE = {Plus-minus algorithm --- A method for derivation of the B{\"a}cklund transformations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1511-1528},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {nonlinear pde, the b{\'o}cklund transformations, strong necessary conditions, semi-strong necessary conditions, {\'o}algorithm, symbolic computations},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WGMB5W-1/2/ac8cfd90d27182fa0d45ecc7980c04cd},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Clay-Smith/09,
AUTHOR = {Clay, Adam and Smith, Lawrence H.},
TITLE = {Erratum to ``On ordering free groups''},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {10},
PAGES = {1529-1532},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {computation, ordered groups, free groups},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WBR6FY-1/2/592463804ab8922a85945d299bb60a26},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
NOTE = {Originally in J. Symbolic Computation, Vol. 40, 2005, No. 6, 1285-1290},
}
@article{Corless-Gatermann-Kotsireas/09,
AUTHOR = {Corless, Robert M. and Gatermann, Karin and Kotsireas, Ilias S.},
TITLE = {Using symmetries in the eigenvalue method for polynomial systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {11},
PAGES = {1536-1550},
YEAR = {2009},
EDITOR = {Hong, Hoon},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4W99VY3-1/2/41500148b675b22568c672f7a95a8a37},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Craciun-Dickenstein-Shiu-Sturmfels/09,
AUTHOR = {Craciun, Gheorghe and Dickenstein, Alicia and Shiu, Anne and Sturmfels, Bernd},
TITLE = {Toric dynamical systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {11},
PAGES = {1551-1565},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {chemical reaction network, toric ideal, complex balancing, detailed balancing, deficiency zero, trajectory, birch's theorem, matrix-tree theorem, moduli space, polyhedron},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4W91PTY-1/2/5c90609d8ee5cf3c453a558a622afd51},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Heldt-Kreuzer-Pokutta-Poulisse/09,
AUTHOR = {Heldt, Daniel and Kreuzer, Martin and Pokutta, Sebastian and Poulisse, Hennie},
TITLE = {Approximate computation of zero-dimensional polynomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {11},
PAGES = {1566-1591},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {buchberger-m{\'o}ller algorithm, ideal membership, border basis},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WB3NB5-1/2/f84704aaef3945d3e25318faf815e326},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dahan-Schost-Wu/09,
AUTHOR = {Dahan, Xavier and Schost, {\'E}ric and Wu, Jie},
TITLE = {Evaluation properties of invariant polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {11},
PAGES = {1592-1604},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {invariant polynomial, straight-line program, complexity, lifting techniques},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4W99VY3-2/2/facd99c53c0593f4441b4f8afa42ffb3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Augot-Bardet-Faugere/09,
AUTHOR = {Augot, Daniel and Bardet, Magali and Faug{\`e}re, Jean-Charles},
TITLE = {On the decoding of binary cyclic codes with the Newton identities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {12},
PAGES = {1608-1625},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {cyclic codes, quadratic residue codes, elimination theory, gr{\'o}bner{\'o}bases, f4 algorithm},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4V2NKC8-1/2/7fbca42d51ecd00f706121b11a52a44b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bulygin-Pellikaan/09,
AUTHOR = {Bulygin, Stanislav and Pellikaan, Ruud},
TITLE = {Bounded distance decoding of linear error-correcting codes with Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {12},
PAGES = {1626-1643},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {decoding, gr{\'o}bner basis, linear code, minimum distance, syndrome decoding, system of polynomial equations},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4V1KMNG-1/2/9564ce0cf5df2a6c9021af2cd318fbe8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Boucher-Ulmer/09,
AUTHOR = {Boucher, Delphine and Ulmer, Felix},
TITLE = {Coding with skew polynomial rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {12},
PAGES = {1644-1656},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {cyclic codes, finite rings, skew polynomial rings},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4V1KMNG-2/2/c45d94cc666c9e7e5479dfa1e62c2b58},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Prem_Laxman_Das-Sikdar/09,
AUTHOR = {Prem Laxman Das, M. and Sikdar, Kripasindhu},
TITLE = {List decoding codes on Garcia-Stictenoth tower using Gr{\"o}bner basis},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {12},
PAGES = {1657-1661},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\'o}bner basis, one-point codes, function fields, towers, list decoding},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4V17CNW-1/2/81fd8f0bf7f537078c803d04f4d1af22},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Lee-OSullivan/09,
AUTHOR = {Lee, Kwankyu and O'Sullivan, Michael E.},
TITLE = {List decoding of Hermitian codes using Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {12},
PAGES = {1662-1675},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {hermitian codes, list decoding, gr{\'o}bner bases, interpolation},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4V1KMNG-3/2/1c169009e2c302f8326a41f451fda605},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Faugere-Perret/09a,
AUTHOR = {Faug{\`e}re, Jean-Charles and Perret, Ludovic},
TITLE = {An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {12},
PAGES = {1676-1689},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {multivariate polynomials decomposition, gr{\'o}bner bases, cryptography},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4V1TXPY-1/2/406ccb8cb6908335a1d0deee0f091f76},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gaudry/09,
AUTHOR = {Gaudry, Pierrick},
TITLE = {Index calculus for Abelian varieties of small dimension and the elliptic curve discrete logarithm problem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {12},
PAGES = {1690-1702},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {discrete logarithm problem, elliptic curve, index calculus, weil descent},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4V1TXPY-2/2/7075bacd8e41817f36a6d46316340c4c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Berbain-Gilbert-Patarin/09,
AUTHOR = {Berbain, C{\^o}me and Gilbert, Henri and Patarin, Jacques},
TITLE = {QUAD: A multivariate stream cipher with provable security},
JOURNAL = {J. Symbolic Computation},
VOLUME = {44},
NUMBER = {12},
PAGES = {1703-1723},
YEAR = {2009},
EDITOR = {Hong, Hoon},
KEYWORDS = {mq problem, stream cipher, provable security, gr{\'o}bner basis computation},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4V2HJMK-1/2/51ddde6998e32fc4c0519b40599186b3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}