@article{Beltran-Pardo/07,
AUTHOR = {Beltr{\'a}n, Carlos and Pardo, Luis Miguel},
TITLE = {On the probability distribution of singular varieties of given corank},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {4-29},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial equation solving, condition number, discrepancy bounds},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KSD84H-2/2/0757e60941d074a75ca97645d0437aab},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bleylevens-Peeters-Hanzon/07,
AUTHOR = {Bleylevens, Ivo and Peeters, Ralf and Hanzon, Bernard},
TITLE = {Efficiency improvement in an $n$D systems approach to polynomial optimization},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {30-53},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {global polynomial optimization, grobner basis, stetter-moller matrix method, systems, large eigenvalue problem},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KWTFCK-1/2/7e386e2c46c075aa2d043e8f8ab161ed},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bogart-Jensen-Speyer-Sturmfels-Thomas/07,
AUTHOR = {Bogart, T. and Jensen, A.N. and Speyer, D. and Sturmfels, B. and Thomas, R.R.},
TITLE = {Computing tropical varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {54-73},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {tropical geometry, tropical variety, tropical basis, grobner fan, bergman fan},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KSVG11-1/2/77300fe66e08b2a7e1cbc3feed518203},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Caboara-Faridi-Selinger/07,
AUTHOR = {Caboara, Massimo and Faridi, Sara and Selinger, Peter},
TITLE = {Simplicial cycles and the computation of simplicial trees},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {74-88},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {facet ideal, simplicial tree, simplicial cycle},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4M0S359-1/2/4b995bc21da3cf2997cf5c88822cc82a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Campillo-Greuel-Lossen/07,
AUTHOR = {Campillo, Antonio and Greuel, Gert-Martin and Lossen, Christoph},
TITLE = {Equisingular calculations for plane curve singularities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {89-114},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {equisingular deformation, plane curve singularities, milnor number, hamburger-noether expansion, deformation of parametrization},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KSSW9R-1/2/28211e6590693872be255c61ec38bf0b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Curran-Cattani/07,
AUTHOR = {Curran, Raymond and Cattani, Eduardo},
TITLE = {Restriction of $A$-discriminants and dual defect toric varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {115-135},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {sparse discriminant, dual defect varieties},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KSD84H-1/2/bda7d6950cd68f8a9522d4d9f0ebcdee},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Galligo-Stillman/07,
AUTHOR = {Galligo, A. and Stillman, M.},
TITLE = {On the geometry of parametrized bicubic surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {136-158},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {geometry, bicubic bezier surface, computer aided design},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4M21SYG-1/2/d983812504f0de2db6041a509815ebf4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Genovese/07,
AUTHOR = {Genovese, Giulio},
TITLE = {Improving the algorithms of Berlekamp and Niederreiter for factoring polynomials over finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {159-177},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {deterministic algorithms, finite fields, polynomial factorization, berlekamp, niederreiter},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KTVTPV-2/2/dbe8ec0c16e24ff6e9f230b04a9139f9},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Hefez-Hernandes/07,
AUTHOR = {Hefez, A. and Hernandes, M.E.},
TITLE = {Standard bases for local rings of branches and their modules of differentials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {178-191},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {curve singularities, standard bases, semigroups of values, kahler differentials, numerical invariants},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KYXHSX-1/2/22ca3d0fcc32556ee8856a41d18146fd},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Hernandez-Miret-Xambo-Descamps/07,
AUTHOR = {Hern{\'a}ndez, Xavier and Miret, Josep M. and Xamb{\'o}-Descamps, Sebasti{\`a}},
TITLE = {Computing the characteristic numbers of the variety of nodal plane cubics in $\mathbb{P}^3$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {192-202},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {plane nodal curves, characteristic numbers, effective computational methods},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4M04J41-1/2/18ab7beafe78a6dc81cf9511275b9c4e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
NOTE = {see Erratum in J. Symbolic Computation, Vol. 44, 2009, No. 4, 417-418},
}
@article{Hubert-Kogan/07,
AUTHOR = {Hubert, Evelyne and Kogan, Irina A.},
TITLE = {Rational invariants of a group action. Construction and rewriting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {203-217},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {rational invariants, algebraic group actions, cross-section, grobner basis, differential invariants, moving frame},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KXVCXV-4/2/0ac4619a488c4632c4dcb05dc4206d0a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Jeronimo-Sabia/07,
AUTHOR = {Jeronimo, Gabriela and Sabia, Juan},
TITLE = {Computing multihomogeneous resultants using straight-line programs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {218-235},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {sparse resultant, multihomogeneous system, poisson-type product formula, symbolic newton's algorithm},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KXVCXV-3/2/1fda3eb54d227922e4f77b1af719423e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{van_der_Hoeven/07,
AUTHOR = {van der Hoeven, Joris},
TITLE = {Around the numeric-symbolic computation of differential Galois groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {1-2},
PAGES = {236-264},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {differential galois group, algebraic group, algorithm, accelero-summation, stokes multipliers},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KTVTPV-3/2/6c9870733ed2ded6570be94293bd6200},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Barnett/07,
AUTHOR = {Barnett, Michael P.},
TITLE = {Mathscape and molecular integrals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {3},
PAGES = {265-289},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {high level symbolic languages, functional composition, symbolic integration, mechanized proof procedures, computational chemistry, special functions of mathematical physics},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4KXWJT7-1/2/1d31b6af60a5ea1f9a5ecb66f71914e7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{DAndrea-Hong-Krick-Szanto/07,
AUTHOR = {D'Andrea, Carlos and Hong, Hoon and Krick, Teresa and Szanto, Agnes},
TITLE = {An elementary proof of Sylvester's double sums for subresultants},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {3},
PAGES = {290-297},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {subresultants, double-sum formula, vandermonde determinant},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MBC51J-1/2/2e86bf8bd6518965dbb14ddd68231eb0},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Fukuda-Jensen-Lauritzen-Thomas/07,
AUTHOR = {Fukuda, K. and Jensen, A.N. and Lauritzen, N. and Thomas, R.},
TITLE = {The generic Gr{\"o}bner walk},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {3},
PAGES = {298-312},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {grobner basis conversion, polyhedral geometry},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MBBYS4-1/2/f2b047c88f1d1d55571cc79856b0674b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Eriksen-Gustavsen/07,
AUTHOR = {Eriksen, Eivind and Gustavsen, Trond St{\o}len},
TITLE = {Computing obstructions for existence of connections on modules},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {3},
PAGES = {313-323},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {connections, isolated singularities, maximal cohen-macaulay modules, lie-rinehart algebras},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MBC51J-2/2/8a496be6d7129d45e3559d4308c1c5ad},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Dolzmann-Weispfenning/07,
AUTHOR = {Dolzmann, Andreas and Weispfenning, Volker},
TITLE = {Multiple object semilinear motion planning},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {3},
PAGES = {324-337},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear real quantifier elimination, motion planning, trajectory finding, redlog},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MS3J8H-3/2/e8f8448851544aae1c67e634e4d2f4fa},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Alcazar-Sendra/07,
AUTHOR = {Alcazar, Juan Gerardo and Sendra, Juan Rafael},
TITLE = {Local shape of offsets to algebraic curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {3},
PAGES = {338-351},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {offset curve, offset shape, offset topology, curvature},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MS3J8H-1/2/2b9bc210141ba76559d545559d2f19f3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Kutsia/07,
AUTHOR = {Kutsia, Temur},
TITLE = {Solving equations with sequence variables and sequence functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {3},
PAGES = {352-388},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {unification, sequence variables, sequence functions},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MS3J8H-2/2/8301a85cb835d8124a717a4a3505e04f},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{van_der_Hoeven/07a,
AUTHOR = {van der Hoeven, Joris},
TITLE = {Efficient accelero-summation of holonomic functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {4},
PAGES = {389-428},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {algorithm, holonomic function, accelero-summation, stokes matrix},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MVVSP1-1/2/04701d5da18a9068b51401260463e135},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Koshita/07,
AUTHOR = {Koshita, Hitoshi},
TITLE = {An example of relations on the Ext-quiver for the Suzuki group Sz(8) in characteristic 2},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {4},
PAGES = {429-442},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {sz(8), ext-quiver},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MS3J8H-4/2/7cd1c294824c7cf07bfcafe271cc5edf},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Rodriguez-Carbonell-Kapur/07,
AUTHOR = {Rodr{\'{i}}guez-Carbonell, E. and Kapur, D.},
TITLE = {Generating all polynomial invariants in simple loops},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {4},
PAGES = {443-476},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {loop invariant, ideal of polynomials, grobner basis},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MWXPTN-2/2/10daef06c8b7e8f5e3175699efb8df9d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Lecerf/07,
AUTHOR = {Lecerf, Gr{\'e}goire},
TITLE = {Improved dense multivariate polynomial factorization algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {4},
PAGES = {477-494},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial factorization, hensel lifting, bertini's irreducibility theorem},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MWXPTN-1/2/83fa5a2531da424f32c3e578a31f945f},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Daniel-Helminck/07,
AUTHOR = {Daniel, Jennifer R. and Helminck, Aloysius G.},
TITLE = {Computing the fine structure of real reductive symmetric spaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {5},
PAGES = {497-510},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {symmetric spaces, lie algebras of linear algebraic groups, computational lie theory},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4N66R46-3/2/12ff1ba214109955747c25771500db04},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Verrill-Joyner/07,
AUTHOR = {Verrill, Helena and Joyner, David},
TITLE = {Computing with toric varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {5},
PAGES = {511-532},
YEAR = {2007},
EDITOR = {Hong, Hoon},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4N66R46-2/2/8301f9d150dea4a3cfb194f391e5f23e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Tran/07,
AUTHOR = {Tran, Quoc-Nam},
TITLE = {A new class of term orders for elimination},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {5},
PAGES = {533-548},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {elimination, groebner basis, basis conversion},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4N66R46-4/2/adbe9cb7d258c78e5690c90c5f8d1418},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bretto-Faisant-Gillibert/07,
AUTHOR = {Bretto, Alain and Faisant, Alain and Gillibert, Luc},
TITLE = {$G$-graphs: A new representation of groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {5},
PAGES = {549-560},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {computational group theory, graph representation of a group, cayley graphs, g-graphs},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4N66R46-1/2/2d5892e88fe90b54620bb9a349137b41},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Levin/07b,
AUTHOR = {Levin, Alexander B.},
TITLE = {Gr{\"o}bner bases with respect to several orderings and multivariable dimension polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {5},
PAGES = {561-578},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {ore polynomials, differential ring, differential module, differential field extension, grobner basis, dimension polynomial},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4N5TN6D-1/2/f449bef1d4cd61e1ad47f9f5fde84a47},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Pilnikova/07,
AUTHOR = {P{\'{i}}lnikov{\'a}, Jana},
TITLE = {Trivializing a central simple algebra of degree 4 over the rational numbers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {6},
PAGES = {579-586},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {central simple algebra, zero divisor},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MV7517-1/2/0ccebfa6708c8a51b27899dc57c3559d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Dumitriu-Edelman-Shuman/07,
AUTHOR = {Dumitriu, Ioana and Edelman, Alan and Shuman, Gene},
TITLE = {MOPS: Multivariate orthogonal polynomials (symbolically)},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {6},
PAGES = {587-620},
YEAR = {2007},
EDITOR = {Hong, Hoon},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MYVG72-1/2/38a1775cd9f7ef296dffe9dc977114e6},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Dumnicki-Jarnicki/07,
AUTHOR = {Dumnicki, Marcin and Jarnicki, Witold},
TITLE = {New effective bounds on the dimension of a linear system in $P^2$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {6},
PAGES = {621-635},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {harbourne-hirschowitz conjecture, zero-dimensional schemes, grobner bases},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MYMFTM-1/2/1adcaaca0532da101ea80c189b70f678},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Lazard-Rouillier/07,
AUTHOR = {Lazard, Daniel and Rouillier, Fabrice},
TITLE = {Solving parametric polynomial systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {6},
PAGES = {636-667},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {computer algebra, parametric polynomial system, polynomial system, solving, discriminant variety, algorithms, semi-algebraic set, constructible set},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4N0PPTS-1/2/001a080a9adbd103211328efdd5d55b8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Slattery/07,
AUTHOR = {Slattery, Michael C.},
TITLE = {Generation of groups of square-free order},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {6},
PAGES = {668-677},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {finite group database, square-free order},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MYVG72-2/2/d61ca7a2f8f67b8e2086c2f25898533e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Alcazar-Schicho-Sendra/07,
AUTHOR = {Alcazar, Juan Gerardo and Schicho, Josef and Sendra, Juan Rafael},
TITLE = {A delineability-based method for computing critical sets of algebraic surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {6},
PAGES = {678-691},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {topology of surfaces, level curves, delineability, topology of level curves},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4N68NGY-1/2/8c9bc387b4704ce249f919defe650343},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Moreno_Maza-Reid-Scott-Wu/07,
AUTHOR = {Moreno Maza, Marc and Reid, Greg and Scott, Robin and Wu, Wenyuan},
TITLE = {On approximate triangular decompositions in dimension zero},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {7},
PAGES = {693-716},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {symbolic-numeric computations, triangular decompositions, dimension zero, polynomial system solving},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4MT5K00-1/2/1931fe99ca90de0a3a34ec2cb2fd18c9},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Hong-Perry/07,
AUTHOR = {Hong, Hoon and Perry, John},
TITLE = {Are Buchberger's criteria necessary for the chain condition?},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {7},
PAGES = {717-732},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {grobner bases, s-polynomials, buchberger criteria},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4N7SBNH-1/2/cf277010843d292ad2d9b86532880422},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Cheng-Labahn/07,
AUTHOR = {Cheng, Howard and Labahn, George},
TITLE = {Output-sensitive modular algorithms for polynomial matrix normal forms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {7},
PAGES = {733-750},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {matrices, row-reduced form, weak popov form, popov form, modular algorithm},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4ND0RS2-1/2/38bcdf6c45df42ef1b39beeda23bc50c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Lam-Shpilrain-Yu/07,
AUTHOR = {Lam, Chi-Ming and Shpilrain, Vladimir and Yu, Jie-Tai},
TITLE = {Recognizing and parametrizing curves isomorphic to a line},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {7},
PAGES = {751-756},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial algebras, automorphisms, parametrization, plane curves, complexity},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4NHV4GF-2/2/6a85fac2b2139c8aa2b24aa469fb31fd},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bronstein/07,
AUTHOR = {Bronstein, Manuel},
TITLE = {Structure theorems for parallel integration},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {7},
PAGES = {757-769},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {parallel integration, liouville's theorem, darboux polynomials},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4NJ209P-1/2/a3fc0c07bcb0ab07dda8afb7f554da5b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{van_der_Hoeven/07b,
AUTHOR = {van der Hoeven, Joris},
TITLE = {Generalized power series solutions to linear partial differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {8},
PAGES = {771-791},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear partial differential equation, asymptotics, algorithm, differential algebra, formal power series, tangent cone algorithm},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4NHV4GF-1/2/c85d1469d7ab59cb33150fab0972fb89},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{van_der_Hoeven/07c,
AUTHOR = {van der Hoeven, Joris},
TITLE = {New algorithms for relaxed multiplication},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {8},
PAGES = {792-802},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {power series, multiplication, algorithm, fft, computer algebra},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4NKXWHW-1/2/b32a6775dca42811776e3450f9aef6a1},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Wibmer/07,
AUTHOR = {Wibmer, Michael},
TITLE = {Gr{\"o}bner bases for families of affine or projective schemes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {8},
PAGES = {803-834},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {comprehensive grobner basis, grobner cover, canonical decomposition, parametric polynomial system},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4NR7B5D-1/2/94adb351069e33114ddefde891440b41},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Perez-Diaz/07,
AUTHOR = {P{\'e}rez-D{\'{i}}az, Sonia},
TITLE = {Computation of the singularities of parametric plane curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {8},
PAGES = {835-857},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {rational curve parametrization, algebraic curve, degree of an algebraic curve, singularities of an algebraic curve, multiplicity of a point},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4NYJ0RK-1/2/042add89eb81fd8ffecc1aca72c63aec},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Schauenburg/07,
AUTHOR = {Schauenburg, Peter},
TITLE = {A Gr{\"o}bner-based treatment of elimination theory for affine varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {9},
PAGES = {859-870},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {grobner basis, elimination theory},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4P3DY0T-1/2/8f2e03bb203c08cc3764615329c8d029},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Nagy-Vojtechovsky/07,
AUTHOR = {Nagy, G{\'a}bor P. and Vojt{\v{e}}chovsk{\'y}, Petr},
TITLE = {The Moufang loops of order 64 and 81},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {9},
PAGES = {871-883},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {moufang loop, code loop, 2-loop, classification of moufang loops, gap},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4P6VD7K-1/2/d8118cdf3ec378f2120168d04b6b24b6},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Saux_Picart-Brunie/07,
AUTHOR = {Saux Picart, Philippe and Brunie, Cyril},
TITLE = {Symmetric subresultants and applications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {9},
PAGES = {884-919},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {subresultant, toeplitz matrices, matrix inversion, dft, fraction-free algorithm, euclidean division},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4P718M0-1/2/9d8492cc5302e72c82f3693f50cc0365},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Sangwin-Ramsden/07,
AUTHOR = {Sangwin, C.J. and Ramsden, P.},
TITLE = {Linear syntax for communicating elementary mathematics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {9},
PAGES = {920-934},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {syntax for elementary mathematics, mathematics education},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4P7R86H-1/2/112ab4bb7f102886ff8df8535bef092d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bedratyuk/07,
AUTHOR = {Bedratyuk, Leonid},
TITLE = {On complete system of invariants for the binary form of degree 7},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {10},
PAGES = {935-947},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {classical invariant theory, invariants of binary form, derivations},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PC3SDJ-1/2/4fc0f9e1fa16a76e16797c161e8d8d71},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Kauers/07,
AUTHOR = {Kauers, Manuel},
TITLE = {Summation algorithms for Stirling number identities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {10},
PAGES = {948-970},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {symbolic summation, stirling numbers},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PJM9HX-1/2/4322c24e5c7c83a232548381651232f1},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Bermejo-Garcia-Marco-Salazar-Gonzalez/07,
AUTHOR = {Bermejo, Isabel and Garc{\'{i}}a-Marco, Ignacio and Salazar-Gonz{\'a}lez, Juan Jos{\'e}},
TITLE = {An algorithm for checking whether the toric ideal of an affine monomial curve is a complete intersection},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {10},
PAGES = {971-991},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {complete intersection, monomial curve, toric ideal, combinatorial optimization, graph theory},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PKFH3M-1/2/70699030a87a49e642765695b2cccfa6},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Creel-Nelson/07,
AUTHOR = {Creel, Conrad and Nelson, Sam},
TITLE = {Symbolic computation with finite biquandles},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {10},
PAGES = {992-1000},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {yang-baxter cohomology, knot invariants, virtual knot invariants, finite biquandles, symbolic computation},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PKFH3M-2/2/6aec27db71784f0623393a0f481770f5},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Pauer/07,
AUTHOR = {Pauer, Franz},
TITLE = {Gr{\"o}bner bases with coefficients in rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {11-12},
PAGES = {1003-1011},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {grobner basis, reduced grobner basis, rings of differential operators, polynomial rings},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PJM9HX-7/2/b2850b5404e046bafebf7bdf640ca7ab},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Green-Solberg/07,
AUTHOR = {Green, Edward L. and Solberg, {\O}yvind},
TITLE = {An algorithmic approach to resolutions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {11-12},
PAGES = {1012-1033},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {projective resolutions, quotients of path algebras, koszul algebras},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PJM9HX-2/2/5b30dc660d38d1f0640cbe9f8ce8c3bf},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Evans-Wensley/07,
AUTHOR = {Evans, Gareth A. and Wensley, Christopher D.},
TITLE = {Complete involutive rewriting systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {11-12},
PAGES = {1034-1051},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {grobner basis, string rewriting, knuth-bendix, involutive basis},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PJV1DP-3/2/ac3d96c65ceb3423911f84ee9ed9f6d3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Casas-Insua-Ladra/07,
AUTHOR = {Casas, Jos{\'e} Manuel and Insua, Manuel A. and Ladra, Manuel},
TITLE = {Poincar{\'e}-Birkhoff-Witt theorem for Leibniz $n$-algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {11-12},
PAGES = {1052-1065},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {leibniz n-algebra, universal enveloping algebra, poincare-birkhoff-witt theorem, grobner bases},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PJM9HX-5/2/e1e82088c45080c3394cde71d5ef6037},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Cameron-Iyudu/07,
AUTHOR = {Cameron, Peter and Iyudu, Natalia},
TITLE = {Graphs of relations and Hilbert series},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {11-12},
PAGES = {1066-1078},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {quadratic algebras, hilbert series, grobner basis, colored graph},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PJV1DP-2/2/cde5aa8799147b78d155f3b55b768a1e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Gateva-Ivanova-Majid/07,
AUTHOR = {Gateva-Ivanova, Tatiana and Majid, Shahn},
TITLE = {Set-theoretic solutions of the Yang-Baxter equation, graphs and computations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {11-12},
PAGES = {1079-1112},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {yang-baxter, semigroups, quantum groups, graphs},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PJV1DP-4/2/101d5847230c616cfdf327ed9eb97165},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Quadrat-Robertz/07,
AUTHOR = {Quadrat, Alban and Robertz, Daniel},
TITLE = {Computation of bases of free modules over the Weyl algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {11-12},
PAGES = {1113-1141},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {stably free modules, free modules, computation of bases, projective dimension, stafford's results, monge problem, flat multidimensional linear systems, weyl algebras},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PJM9HX-3/2/2c58a34a8b441d4e6a7b8f9c6bd77982},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}
@article{Falcon-Martin-Morales/07,
AUTHOR = {Falc{\'o}n, R.M. and Mart{\'{i}}n-Morales, J.},
TITLE = {Gr{\"o}bner bases and the number of Latin squares related to autotopisms of order $\le 7$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {42},
NUMBER = {11-12},
PAGES = {1142-1154},
YEAR = {2007},
EDITOR = {Hong, Hoon},
KEYWORDS = {autotopism group, grobner basis, latin square},
URL = {http://www.sciencedirect.com/science/article/B6WM7-4PJM9HX-6/2/dbfa51e9f88121920c0f3405dcc72311},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-San Diego-Orlando-Tokyo-Singapore},
}