@article{Peternell/10,
AUTHOR = {Peternell, Martin},
TITLE = {Rational two-parameter families of spheres and rational offset surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {1},
PAGES = {1-18},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {space of spheres, envelope surface, minkowski space, rational offset surface},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WH8C6R-1/2/36a878c29549138a945d2619c42eae04},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fassino/10,
AUTHOR = {Fassino, Claudia},
TITLE = {Almost vanishing polynomials for sets of limited precision points},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {1},
PAGES = {19-37},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {vanishing ideal, border and gr{\'o}bner bases, limited precision data},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WK43S9-1/2/b218331d518f03ac588dd1b72211aec9},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Damiano-Gentili-Struppa/10,
AUTHOR = {Damiano, Alberto and Gentili, Graziano and Struppa, Daniele},
TITLE = {Computations in the ring of quaternionic polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {1},
PAGES = {38-45},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {quaternionic polynomials, bezout theorem, gr{\'o}bner bases, noncommutative syzygies},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WMDHJ1-1/2/0c5d6d35cfee4b9126897013e4bc0227},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bahloul-Oaku/10,
AUTHOR = {Bahloul, Rouchdi and Oaku, Toshinori},
TITLE = {Local Bernstein-Sato ideals: Algorithm and examples},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {1},
PAGES = {46-59},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {bernstein-sato ideal, d-module, gr{\'o}bner base, primary decomposition},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WR1B25-1/2/134daee82a021a790f762aa997750101},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Engheta/10,
AUTHOR = {Engheta, Bahman},
TITLE = {A bound on the projective dimension of three cubics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {1},
PAGES = {60-73},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {projective dimension, free resolution, unmixed part, linkage},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WSRF1K-1/2/e43fc0d71c499d6dee0c6508fc4041b5},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kutsia-Levy-Villaret/10,
AUTHOR = {Kutsia, Temur and Levy, Jordi and Villaret, Mateu},
TITLE = {On the relation between Context and Sequence Unification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {1},
PAGES = {74-95},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {sequence unification, context unification, word unification},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WW2SHS-1/2/7f47db9b1741f536ad3a2592fe0ff3e3},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Medina-Bulo-Palomo-Lozano-Ruiz-Reina/10,
AUTHOR = {Medina-Bulo, Inmaculada and Palomo-Lozano, Francisco and Ruiz-Reina, Jos{\'e}-Luis},
TITLE = {A verified {\sc Common} {\sc Lisp} implementation of Buchberger's algorithm in ACL2},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {1},
PAGES = {96-123},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {formal verification, acl2, computer algebra, buchberger's algorithm},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4X0F3TG-1/2/d153716a8319bca4a9c1b242a38a567a},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Boulier-Lemaire-Moreno_Maza/10,
AUTHOR = {Boulier, Fran{\c{c}}ois and Lemaire, Fran{\c{c}}ois and Moreno Maza, Marc},
TITLE = {Computing differential characteristic sets by change of ordering},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {1},
PAGES = {124-149},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {differential algebra, ranking, pardi, characteristic sets},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4X6VMFH-1/2/85464892a3bb17556015389596b0548f},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Abadi-Rabinovich-Sagiv/10,
AUTHOR = {Abadi, Aharon and Rabinovich, Alexander and Sagiv, Mooly},
TITLE = {Decidable fragments of many-sorted logic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {2},
PAGES = {153-172},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {decidable logic, many-sorted logic, the classical decision problem, verification, transitive closure},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WK43S9-3/2/0d2221a68d2ace50e22fcf738c51c698},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gascon-Godoy-Schmidt-Schauss-Tiwari/10,
AUTHOR = {Gasc{\'o}n, Adri{\`a} and Godoy, Guillem and Schmidt-Schau{\ss}, Manfred and Tiwari, Ashish},
TITLE = {Context unification with one context variable},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {2},
PAGES = {173-193},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {unification, interprocedural program analysis, context unification, redundancy},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WK43S9-5/2/d2409883bf0afb1b27fee4931d5f3740},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Lutz-Wolter/10,
AUTHOR = {Lutz, Carsten and Wolter, Frank},
TITLE = {Deciding inseparability and conservative extensions in the description logic $\cal EL$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {2},
PAGES = {194-228},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {description logic, ontologies, conservative extension, modularity},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WK43S9-2/2/1355f6a7b001458c5ab3083da877a34e},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bonacina-Echenim/10,
AUTHOR = {Bonacina, Maria Paola and Echenim, Mnacho},
TITLE = {Theory decision by decomposition},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {2},
PAGES = {229-260},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {satisfiability modulo theories: decision procedures, combination of theories, automated theorem proving: rewriting, superposition, paramodulation},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WJHB4P-1/2/c90d1ea5b1fedfb8441be79a410cec66},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Tran-Ringeissen-Ranise-Kirchner/10,
AUTHOR = {Tran, Duc-Khanh and Ringeissen, Christophe and Ranise, Silvio and Kirchner, H{\'e}l{\`e}ne},
TITLE = {Combination of convex theories: Modularity, deduction completeness, and explanation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {2},
PAGES = {261-286},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {decision procedure, combination, deduction completeness, conflict set, satisfiability modulo theories},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4WJHB4P-2/2/3e3f2df37c0309b19b22203f396c0828},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Feng-Singer-Wu/10,
AUTHOR = {Feng, Ruyong and Singer, Michael F. and Wu, Min},
TITLE = {Liouvillian solutions of linear difference-differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {3},
PAGES = {287-305},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear difference-differential equations, galois theory, liouvillian sequences},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4X6FNJR-1/2/623f1c5cba24a9e750097aa7d15789f3},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Feng-Singer-Wu/10a,
AUTHOR = {Feng, Ruyong and Singer, Michael F. and Wu, Min},
TITLE = {An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {3},
PAGES = {306-323},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear difference-differential equations, normal form, algorithm, liouvillian solutions},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4X6MSV5-1/2/ceebddfd926fdf44bcfa72db9d863819},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Rueda-Sendra/10,
AUTHOR = {Rueda, Sonia L. and Sendra, J. Rafael},
TITLE = {Linear complete differential resultants and the implicitization of linear DPPEs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {3},
PAGES = {324-341},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {differential rational parametric equations, differential resultant, implicitization},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4X6VMFH-2/2/c240ff610a5ee95c3e3e65e950f4fa2e},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Steel/10,
AUTHOR = {Steel, Allan K.},
TITLE = {Computing with algebraically closed fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {3},
PAGES = {342-372},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {algebraic closure, algebraic number field, algebraic function field, field extension, inseparability, non-perfect field, polynomial factorization, root finding},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4X908RH-1/2/98f5f5b0d17e073ea631c76d3881c215},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Araujo-Bunau-Mitchell-Neunhoffer/10,
AUTHOR = {Ara{\'u}jo, J. and B{\"u}nau, P.V. and Mitchell, J.D. and Neunh{\"o}ffer, M.},
TITLE = {Computing automorphisms of semigroups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {3},
PAGES = {373-392},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {transformation semigroups, automorphism group},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4XJP3XV-1/2/fe6e8fcf4f3ab95f67dc757f58891b39},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ida-Takahashi/10,
AUTHOR = {Ida, Tetsuo and Takahashi, Hidekazu},
TITLE = {Origami fold as algebraic graph rewriting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {4},
PAGES = {393-413},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {computational origami, geometrical modeling, graph rewriting, rewrite system},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4XJWD34-1/2/db6bcdf2c6a2fb6014c5619c4451ee19},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jia-Wang-Goldman/10,
AUTHOR = {Jia, Xiaohong and Wang, Haohao and Goldman, Ron},
TITLE = {Set-theoretic generators of rational space curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {4},
PAGES = {414-433},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {$\mu$-basis, set-theoretic generators, set-theoretic complete intersection, resultant},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4XVBP5S-1/2/67aaca4006d829e213637144a28089bb},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jeronimo-Perrucci/10,
AUTHOR = {Jeronimo, Gabriela and Perrucci, Daniel},
TITLE = {On the minimum of a positive polynomial over the standard simplex},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {4},
PAGES = {434-442},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {positivity of polynomials, optimization on polyhedra},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y6J3V2-1/2/4c69519d7c825c59ad303ee6d20fe302},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Apery/10,
AUTHOR = {Ap{\'e}ry, Fran{\c{c}}ois},
TITLE = {Subresultants of two Hermite-Laurent series},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {4},
PAGES = {443-461},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {subresultant, hermite-laurent series},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y6J3V2-2/2/ac25908892e2f36511440ee73ec58052},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Nishiyama-Noro/10,
AUTHOR = {Nishiyama, Kenta and Noro, Masayuki},
TITLE = {Stratification associated with local $b$-functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {4},
PAGES = {462-480},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {b-function, stratification, weyl algebra, gr{\'o}bner basis, differential operator, d-module},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y7P4KC-1/2/4ce8bd4a0131fe0ff357653f1559480c},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sitharam-Peters-Zhou/10,
AUTHOR = {Sitharam, Meera and Peters, J{\"o}rg and Zhou, Yong},
TITLE = {Optimized parametrization of systems of incidences between rigid bodies},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {4},
PAGES = {481-498},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {partial nonlinear elimination, optimal parametrization, constraint graphs, decomposition-recombination of geometric constraint systems, combinatorial rigidity, systems of linkages},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y95RK3-4/2/2715685e6b86142e13a417d5c62a23a8},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Antoy/10,
AUTHOR = {Antoy, Sergio},
TITLE = {Programming with narrowing: A tutorial},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {5},
PAGES = {501-522},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {narrowing, functional logic programming, program design},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y95RK3-6/2/776d7bf535a56172d29170f4ff5ea4c2},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cirstea-Kirchner-Kopetz-Moreau/10,
AUTHOR = {Cirstea, Horatiu and Kirchner, Claude and Kopetz, Radu and Moreau, Pierre-Etienne},
TITLE = {Anti-patterns for rule-based languages},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {5},
PAGES = {523-550},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {pattern matching, list matching, complement problem, equational problem, anti-pattern, disunification, associativity, equational theory, rule-based language, pattern-based language},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y95RK3-2/2/de631e0734e16f895179896d31bf4f0a},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Nakamura-Ogata-Futatsugi/10,
AUTHOR = {Nakamura, Masaki and Ogata, Kazuhiro and Futatsugi, Kokichi},
TITLE = {Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {5},
PAGES = {551-573},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {term rewriting system, algebraic specification, behavioral specification, behavioral coherence, observational transition system},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y95RK3-7/2/80ad9c0828476032ab6a9fca9b08c180},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Genet-Rusu/10,
AUTHOR = {Genet, Thomas and Rusu, Vlad},
TITLE = {Equational approximations for tree automata completion},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {5},
PAGES = {574-597},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {verification, term rewriting systems, reachability, tree automata, rewriting modulo equations},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y95RK3-3/2/2124c281aa8809d67b302fd73ff20c40},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sato-Pollack/10,
AUTHOR = {Sato, Masahiko and Pollack, Randy},
TITLE = {External and internal syntax of the $\lambda$-calculus},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {5},
PAGES = {598-616},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {binding, lambda calculus, formal proof},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y95RK3-8/2/b06a2f5c5f7a929e06f7b33a0e9e856c},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Batra-Sharma/10,
AUTHOR = {Batra, Prashant and Sharma, Vikram},
TITLE = {Bounds on absolute positiveness of multivariate polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {6},
PAGES = {617-628},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {root bounds, multivariate polynomials, absolute positiveness},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y95RK3-5/2/85e6fee8aede28c287151126781778af},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gebhardt-Gonzalez-Meneses/10,
AUTHOR = {Gebhardt, Volker and Gonz{\'a}lez-Meneses, Juan},
TITLE = {Solving the conjugacy problem in Garside groups by cyclic sliding},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {6},
PAGES = {629-656},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {garside groups, conjugacy, conjugacy problem, cyclic sliding, sliding circuits, complexity analysis},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y9CF87-1/2/5586e319f008d37a633c1f164a76aede},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Vrsek-Lavicka/10,
AUTHOR = {Vr{\v{s}}ek, Jan and L{\'a}vi{\v{c}}ka, Miroslav},
TITLE = {On convolutions of algebraic curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {6},
PAGES = {657-676},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {algebraic curves, convolutions, convolution degree, offsets, genus, rational curves},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YB5M32-1/2/d96d14a14f3730c366e9050b003cccf1},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mehlhorn-Ray/10,
AUTHOR = {Mehlhorn, Kurt and Ray, Saurabh},
TITLE = {Faster algorithms for computing Hong's bound on absolute positiveness},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {6},
PAGES = {677-683},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {hong's bound, absolute positiveness, multivariate polynomials, geometric computing},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YGHGR1-1/2/689930e97685d182dead3f749f86cf5e},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Abramov-Petkovsek/10,
AUTHOR = {Abramov, S.A. and Petkov{\v{s}}ek, M.},
TITLE = {Polynomial ring automorphisms, rational $(w,\sigma)$-canonical forms, and the assignment problem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {6},
PAGES = {684-708},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial ring automorphisms, rational normal forms, rational canonical forms, product representation of hypergeometric terms},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YJT5DK-1/2/ba8122200dd2fc1996538698133e38b1},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Brouwer-Popoviciu/10,
AUTHOR = {Brouwer, Andries E. and Popoviciu, Mihaela},
TITLE = {The invariants of the binary nonic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {6},
PAGES = {709-720},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {classical invariant theory, homogeneous system of parameters (hsop)},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YKGJ4C-2/2/44d5cbeaf861d5090e54a1b6266f7bd0},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Boston-McGuire/10,
AUTHOR = {Boston, Nigel and McGuire, Gary},
TITLE = {The weight distributions of cyclic codes with two zeros and zeta functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {7},
PAGES = {723-733},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {cyclic code, zeta function, weight distribution},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YP8TMG-2/2/a6fbf3ad7fcd84bf1e20a78f941ce1fd},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ilten-Suss/10,
AUTHOR = {Ilten, Nathan Owen and S{\"u}{\ss}, Hendrik},
TITLE = {Algebraic geometry codes from polyhedral divisors},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {7},
PAGES = {734-756},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {ag codes, evaluation codes, toric varieties},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YP8TMG-4/2/5f0e57c50642afa5af2dd1e56feb235d},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Coles-Previato/10,
AUTHOR = {Coles, Drue and Previato, Emma},
TITLE = {Decoding by rank-2 bundles over plane quartics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {7},
PAGES = {757-772},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {goppa codes, vector bundles, klein curve},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YP8TMG-5/2/8c380876f1135683d8aeb47afdeac749},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Beelen-Brander/10,
AUTHOR = {Beelen, Peter and Brander, Kristian},
TITLE = {Key equations for list decoding of Reed-Solomon codes and how to solve them},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {7},
PAGES = {773-786},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {guruswami-sudan algorithm, interpolation, list decoding, reed-solomon codes},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YP8TMG-6/2/88253a1bb314419bc779ace24b4f7762},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Han-Kim/10,
AUTHOR = {Han, Sunghyu and Kim, Jon-Lark},
TITLE = {Formally self-dual additive codes over $\mathbb{F}_4$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {7},
PAGES = {787-799},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {additive codes, balance principle, extremal codes, formally self-dual additive codes, near-extremal codes},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YP8TMG-7/2/056b892a2dfe99591221e765e5d707cd},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fish-Key-Mwambene/10,
AUTHOR = {Fish, W. and Key, J.D. and Mwambene, E.},
TITLE = {Binary codes from the line graph of the $n$-cube},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {7},
PAGES = {800-812},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {line graph, n-cube, permutation decoding},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YP8TMG-3/2/fc06c4a768af9295696872420b45c0c0},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Martinez-Beivide-Camarero-Stafford-Gabidulin/10,
AUTHOR = {Mart{\'{i}}nez, C. and Beivide, R. and Camarero, C. and Stafford, E. and Gabidulin, E.M.},
TITLE = {Quotients of Gaussian graphs and their application to perfect codes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {7},
PAGES = {813-824},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {gaussian integers, perfect codes, lee metric, codes on graphs},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YP8TMG-8/2/d0e4cb75e484959dac2e35380f5a871a},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mihailescu-Vuletescu/10,
AUTHOR = {Mih{\u{a}}ilescu, Preda and Vuletescu, Victor},
TITLE = {Elliptic Gauss sums and applications to point counting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {8},
PAGES = {825-836},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {algorithms and complexity, elliptic curves over finite fields, gauss sums and generalizations},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4Y7P4KC-2/2/a512bca2af69f0f3449959df0e770145},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Brouwer-Popoviciu/10a,
AUTHOR = {Brouwer, Andries E. and Popoviciu, Mihaela},
TITLE = {The invariants of the binary decimic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {8},
PAGES = {837-843},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {classical invariant theory, binary form, homogeneous system of parameters (hsop)},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YKGJ4C-1/2/e068a401bc74b7e95fbb98f8e8cce33f},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Farouki-Sakkalis/10,
AUTHOR = {Farouki, Rida T. and Sakkalis, Takis},
TITLE = {Rational rotation-minimizing frames on polynomial space curves of arbitrary degree},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {8},
PAGES = {844-856},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {rotation-minimizing frames, pythagorean-hodograph curves, spatial motion planning, quaternions, hopf map, polynomial identities},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YM7VX3-1/2/69f348e62548bbfc64d9a0236576dac6},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{van_der_Hoeven/10,
AUTHOR = {van der Hoeven, Joris},
TITLE = {Newton's method and FFT trading},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {8},
PAGES = {857-878},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {power series, newton's method, differential equation, fft},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YN5PDW-1/2/8f010c44d0282d1768f7785928b9fb2f},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{von_zur_Gathen-Mignotte-Shparlinski/10,
AUTHOR = {von zur Gathen, Joachim and Mignotte, Maurice and Shparlinski, Igor E.},
TITLE = {Approximate polynomial GCD: Small degree and small height perturbations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {8},
PAGES = {879-886},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {euclidean algorithm, , approximate computation},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YWYYT1-1/2/6269699d344a3298372caa2a2fc30b0f},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Greuel-Laplagne-Seelisch/10,
AUTHOR = {Greuel, Gert-Martin and Laplagne, Santiago and Seelisch, Frank},
TITLE = {Normalization of rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {9},
PAGES = {887-901},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {normalization, integral closure, test ideal, grauert-remmert criterion},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4YXP198-1/2/e5c26103ee99a330aea83e367c00c98a},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chen-Monagan/10,
AUTHOR = {Chen, Liang and Monagan, Michael},
TITLE = {Algorithms for solving linear systems over cyclotomic fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {9},
PAGES = {902-917},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear systems, modular algorithms, cyclotomic fields, cyclotomic polynomials},
URL = {http://www.sciencedirect.com/science/article/B6WM7-5025V9M-1/2/17f65123d5c57192281baf5928fdbfb4},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Li/10b,
AUTHOR = {Li, Huishi},
TITLE = {Looking for Gr{\"o}bner basis theory for (almost) skew 2-nomial algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {9},
PAGES = {918-942},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {monomial ordering, gr{\'o}bner basis, skew 2-nomial algebra},
URL = {http://www.sciencedirect.com/science/article/B6WM7-5025V9M-2/2/fd28939d4da39ce5c466db5015cf5593},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Eick/10,
AUTHOR = {Eick, Bettina},
TITLE = {Some new simple Lie algebras in characteristic 2},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {9},
PAGES = {943-951},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {lie algebras, classification, isomorphism testing},
URL = {http://www.sciencedirect.com/science/article/B6WM7-5057KS9-1/2/87047350cedabd6a081e7a3485539945},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Saenz-de-Cabezon/10,
AUTHOR = {S{\'a}enz-de-Cabez{\'o}n, Eduardo},
TITLE = {Computing the support of monomial iterated mapping cones},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {10},
PAGES = {953-964},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {monomial ideals, betti numbers, iterated mapping cones, multigraded hilbert series, mayer-vietoris trees},
URL = {http://www.sciencedirect.com/science/article/B6WM7-509XPT0-1/2/9a59460dc0e8422ab089befbd2917b2b},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Tohaneanu/10,
AUTHOR = {Toh{\v{a}}neanu, {\c{S}}tefan O.},
TITLE = {On the De Boer-Pellikaan method for computing minimum distance},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {10},
PAGES = {965-974},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear codes, minimum distance, hilbert polynomial, regularity},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50CVR0G-3/2/e3bccea5ef3e4a0409acf60c15d9adf2},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Alonso-Lombardi/10,
AUTHOR = {Alonso, M. Emilia and Lombardi, Henri},
TITLE = {Local B{\'e}zout Theorem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {10},
PAGES = {975-985},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {local b{\'o}zout theorem, henselian rings, roots continuity, stable computations},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50CVR0G-4/2/cb40fa6bd73509dff8b7c36958fd7e65},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Merker/10,
AUTHOR = {Merker, Jo{\"e}l},
TITLE = {Application of computational invariant theory to Kobayashi hyperbolicity and to Green-Griffiths algebraic degeneracy},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {10},
PAGES = {986-1074},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {algebraic theory of invariants, jet space, nonreductive group action, schur bundle, euler characteristic, gr{\'o}bner bases, algorithm, commutative algebra, finitely generated rings},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50DF89Y-1/2/0d242440a9c7c29170ef0a13aa394e44},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mezzarobba-Salvy/10,
AUTHOR = {Mezzarobba, Marc and Salvy, Bruno},
TITLE = {Effective bounds for $P$-recursive sequences},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {10},
PAGES = {1075-1096},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {algorithm, bounds, cauchy-kovalevskaya majorant, certified evaluation, holonomic functions},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50FGY42-1/2/b6599d2f7cea403ff184c80b23155541},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kauer-Winkler/10,
AUTHOR = {Kauer, Stefan and Winkler, J{\"u}rgen F.H.},
TITLE = {Mechanical inference of invariants for FOR-loops},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {11},
PAGES = {1101-1113},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {mechanical verification, mechanical inference of loop invariants, for-loop, rcpv},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4VT14G4-2/2/427f80ad3344775f9f6230d3d6936958},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mili-Aharon-Nadkarni-Jilani-Louhichi-Mraihi/10,
AUTHOR = {Mili, Ali and Aharon, Shir and Nadkarni, Chaitanya and Jilani, Lamia Labed and Louhichi, Asma and Mraihi, Olfa},
TITLE = {Reflexive transitive invariant relations: A basis for computing loop functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {11},
PAGES = {1114-1143},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {function extraction, loop functions, invariant assertions, invariant relations, invariant functions, relational calculus, refinement calculus, computing loop behavior},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4VT14G4-3/2/42c40256d01759eff80565e32af68ac2},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Konnov-Zakharov/10,
AUTHOR = {Konnov, Igor V. and Zakharov, Vladimir A.},
TITLE = {An invariant-based approach to the verification of asynchronous parameterized networks},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {11},
PAGES = {1144-1162},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {program verification, asynchronous networks, invariant generation, induction, simulation, model checking},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4VT14G4-1/2/a91b72465fc718823f8b664dd1584ebf},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Luo-Craciun-Qin-He-Chin/10,
AUTHOR = {Luo, Chenguang and Craciun, Florin and Qin, Shengchao and He, Guanhua and Chin, Wei-Ngan},
TITLE = {Verifying pointer safety for programs with unknown calls},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {11},
PAGES = {1163-1183},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {inference, verification, abduction, separation logic},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-2/2/50cf5073ebf30fa0d608db3e975a3425},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Moy-Marche/10,
AUTHOR = {Moy, Yannick and March{\'e}, Claude},
TITLE = {Modular inference of subprogram contracts for safety checking},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {11},
PAGES = {1184-1211},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {specification languages, functional behavior, contracts, inference, abstract interpretation, weakest precondition, quantifier elimination},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50CVR0G-1/2/0cf2a8e8df1497c782bda57c55d9d4cb},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Rybalchenko-Sofronie-Stokkermans/10,
AUTHOR = {Rybalchenko, Andrey and Sofronie-Stokkermans, Viorica},
TITLE = {Constraint solving for interpolation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {11},
PAGES = {1212-1233},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {interpolation, constraint solving, hierarchical reasoning, program verification},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-3/2/4b391bab5e3621ac8fc979af3874cbaf},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Xia-Zhang/10,
AUTHOR = {Xia, Bican and Zhang, Zhihai},
TITLE = {Termination of linear programs with nonlinear constraints},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {11},
PAGES = {1234-1249},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {termination, quantifier elimination, semi-algebraic system, rationally independent group, cyclotomic polynomial},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-4/2/ba246591429ec42727076be2e1bf89f9},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Abo/10,
AUTHOR = {Abo, Hirotachi},
TITLE = {On non-defectivity of certain Segre-Veronese varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1254-1269},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {secant varieties, segre-veronese varieties, non-defectivity},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-6/2/c3ca3b0566ad0bd5903cff38012fe1cf},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Basu-Roy/10,
AUTHOR = {Basu, Saugata and Roy, Marie-Fran{\c{c}}oise},
TITLE = {Bounding the radii of balls meeting every connected component of semi-algebraic sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1270-1279},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {semi-algebraic sets, bit-sizes},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50CVR0G-2/2/bb39aa2db0bcd63882e5e31727a1ce74},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bertone-Cheze-Galligo/10,
AUTHOR = {Bertone, Cristina and Ch{\`e}ze, Guillaume and Galligo, Andr{\'e}},
TITLE = {Modular Las Vegas algorithms for polynomial absolute factorization},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1280-1295},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {absolute factorization, modular computations, lll algorithm, newton polytope},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-7/2/2dff8043296ae082d58e917d6264d824},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cueto-Tobis-Yu/10,
AUTHOR = {Cueto, Mar{\'{i}}a Ang{\'e}lica and Tobis, Enrique A. and Yu, Josephine},
TITLE = {An implicitization challenge for binary factor analysis},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1296-1315},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {factor analysis, tropical geometry, hadamard products, newton polytope},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-8/2/deb10c90b95ce107c9e97468096d1084},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Diaz-Toca-Lombardi/10,
AUTHOR = {Diaz-Toca, G.M. and Lombardi, H.},
TITLE = {Dynamic Galois Theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1316-1329},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {effective galois theory, dynamic evaluation},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-9/2/4023c67786b490f1f202b202450d9a26},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hashemi-Ars/10,
AUTHOR = {Hashemi, Amir and Ars, Gw{\'e}nol{\'e}},
TITLE = {Extended F$_5$ criteria},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1330-1340},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\'o}bner bases, criteria, algorithm},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-B/2/6135d06723e28742602bce9c4a820874},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Koseleff-Pecker-Rouillier/10,
AUTHOR = {Koseleff, P.-V. and Pecker, D. and Rouillier, F.},
TITLE = {The first rational Chebyshev knots},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1341-1358},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial curves, rational knots, two-bridge knots, chebyshev curves, real root isolation, computer algebra, algorithms},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-C/2/53c26efe0547eb8b0467477a93fc5ec5},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Landsberg/10,
AUTHOR = {Landsberg, J.M.},
TITLE = {$P$ versus $NP$ and geometry},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1359-1377},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {holographic algorithms, p, np, determinant, permanent, geometric complexity theory, spinor, grassmannian},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-D/2/66db54b676d8cc788b983242fd34f50b},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Coquand-Lombardi-Quitte/10,
AUTHOR = {Coquand, Thierry and Lombardi, Henri and Quitt{\'e}, Claude},
TITLE = {Curves and coherent Pr{\"u}fer rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1378-1390},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {semihereditary ring, pp-ring, pr{\'o}fer ring, smooth curve, constructive mathematics, generalized hasse derivatives},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-F/2/dbc0ad15935dc1fda54f491e3855c943},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Montes-Wibmer/10,
AUTHOR = {Montes, Antonio and Wibmer, Michael},
TITLE = {Gr{\"o}bner bases for polynomial systems with parameters},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1391-1425},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\'o}bner cover, comprehensive, reduced, canonical, parameters, locally closed sets},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-G/2/a381b6bacdcf1db2d267246c65732b3d},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chau_Ngo-Winkler/10,
AUTHOR = {Ch{\^a}u Ng{\^o}, L.X. and Winkler, Franz},
TITLE = {Rational general solutions of first order non-autonomous parametrizable ODEs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1426-1441},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {ordinary differential equations, rational general solutions, differential pseudo-remainders, algebraic curves, algebraic surfaces, rational parametrization},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-H/2/84ec8f1e8be12d8ce26a99a71e10e2aa},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Eder-Perry/10,
AUTHOR = {Eder, Christian and Perry, John},
TITLE = {F5C: A variant of Faug{\`e}re's F5 algorithm with reduced Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1442-1458},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {f5, buchberger's criteria, reduced gr{\'o}bner bases},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-J/2/06ae789fbd99838594eeeafd020e16a8},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Scheiblechner/10,
AUTHOR = {Scheiblechner, Peter},
TITLE = {On a generalization of Stickelberger's Theorem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {45},
NUMBER = {12},
PAGES = {1459-1470},
YEAR = {2010},
EDITOR = {Hong, Hoon},
KEYWORDS = {stickelberger's theorem, connected components, irreducible components, effective nullstellensatz},
URL = {http://www.sciencedirect.com/science/article/B6WM7-50C71T0-K/2/70429c90b62042ab926e16f516284ada},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}