@article{Wilkening-Yu/11,
AUTHOR = {Wilkening, Jon and Yu, Jia},
TITLE = {A local construction of the Smith normal form of a matrix polynomial},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {1},
PAGES = {1-22},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {matrix polynomial, canonical forms, smith form, jordan chain, symbolic computation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001136},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Di_Rocco-Eklund-Peterson-Sommese/11,
AUTHOR = {Di Rocco, Sandra and Eklund, David and Peterson, Chris and Sommese, Andrew J.},
TITLE = {Chern numbers of smooth varieties via homotopy continuation and intersection theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {1},
PAGES = {23-33},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {homotopy continuation, numerical algebraic geometry, polynomial system, linear system, linkage, curve, surface},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001148},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bernardi-Gimigliano-Ida/11,
AUTHOR = {Bernardi, Alessandra and Gimigliano, Alessandro and Id{\`a}, Monica},
TITLE = {Computing symmetric rank for symmetric tensors},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {1},
PAGES = {34-53},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {symmetric tensor, tensor rank, secant variety},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001240},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Alvanos-Poulakis/11,
AUTHOR = {Alvanos, Paraskevas and Poulakis, Dimitrios},
TITLE = {Solving genus zero Diophantine equations over number fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {1},
PAGES = {54-69},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {rational curves, diophantine equations, integral points, valuations, riemann-roch space, parametrization},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001513},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mehlhorn-Sagraloff/11,
AUTHOR = {Mehlhorn, Kurt and Sagraloff, Michael},
TITLE = {A deterministic algorithm for isolating real roots of a real polynomial},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {1},
PAGES = {70-90},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {real polynomial, root isolation, descartes' rule of sign, bitstream coefficients},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001537},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Rueda-Sendra/11,
AUTHOR = {Rueda, Sonia L. and Sendra, J. Rafael},
TITLE = {Corrigendum to ``Linear complete differential resultants and the implicitization of linear DPPEs''},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {1},
PAGES = {91-92},
YEAR = {2011},
EDITOR = {Hong, Hoon},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711000132X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
NOTE = {Originally in J. Symbolic Computation, Vol. 45, 2010, No. 3, 324-341},
}
@article{Malecha-Morrisett-Wisnesky/11,
AUTHOR = {Malecha, Gregory and Morrisett, Greg and Wisnesky, Ryan},
TITLE = {Trace-based verification of imperative programs with I/O},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {2},
PAGES = {95-118},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {program verification, separation logic, dependent types, traces, imperative programming, ynot},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001343},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Banti-Pugliese-Tiezzi/11,
AUTHOR = {Banti, Federico and Pugliese, Rosario and Tiezzi, Francesco},
TITLE = {An accessible verification environment for UML models of services},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {2},
PAGES = {119-149},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {service-oriented architectures, case tools, uml, formal methods, model checking, process calculi},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001355},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hemel-Groenewegen-Kats-Visser/11,
AUTHOR = {Hemel, Zef and Groenewegen, Danny M. and Kats, Lennart C.L. and Visser, Eelco},
TITLE = {Static consistency checking of web applications with WebDSL},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {2},
PAGES = {150-182},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {domain-specific language, web application development, linguistic integration, consistency checking, verification, static analysis},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001367},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Schonberg-Weitl-Freitag/11,
AUTHOR = {Sch{\"o}nberg, Christian and Weitl, Franz and Freitag, Burkhard},
TITLE = {Verifying the consistency of web-based technical documentations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {2},
PAGES = {183-206},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {document verification, model checking, information extraction, document modeling, temporal description logics},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001379},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Linaje-Lozano-Tello-Perez-Toledano-Preciado-Rodriguez-Echeverria-Sanchez-Figueroa/11,
AUTHOR = {Linaje, Marino and Lozano-Tello, Adolfo and Perez-Toledano, Miguel A. and Preciado, Juan Carlos and Rodriguez-Echeverria, Roberto and Sanchez-Figueroa, Fernando},
TITLE = {Providing RIA user interfaces with accessibility properties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {2},
PAGES = {207-217},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {ria, accessibility, ontologies, user interfaces, model-driven development},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001380},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Baldan-Bonchi-Corradini-Heindel-Konig/11,
AUTHOR = {Baldan, Paolo and Bonchi, Filippo and Corradini, Andrea and Heindel, Tobias and K{\"o}nig, Barbara},
TITLE = {A lattice-theoretical perspective on adhesive categories},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {3},
PAGES = {222-245},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {adhesive categories, van kampen colimits, lattice theory},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001653},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Braatz-Golas-Soboll/11,
AUTHOR = {Braatz, Benjamin and Golas, Ulrike and Soboll, Thomas},
TITLE = {How to delete categorically --- Two pushout complement constructions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {3},
PAGES = {246-271},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {pushout complement, graph transformation, double-pushout approach, initial pushout, quasi-coproduct complement},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001665},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dumas-Duval-Reynaud/11,
AUTHOR = {Dumas, Jean-Guillaume and Duval, Dominique and Reynaud, Jean-Claude},
TITLE = {Cartesian effect categories are Freyd-categories},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {3},
PAGES = {272-293},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {categorical logic, computational effects, monads, freyd-categories, premonoidal categories, arrows, sequential product, effect categories, cartesian effect categories},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001677},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Orejas/11,
AUTHOR = {Orejas, Fernando},
TITLE = {Symbolic graphs for attributed graph constraints},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {3},
PAGES = {294-315},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {attributed graphs, symbolic graphs, graph constraints},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001689},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Schulz-Lowe-Konig/11,
AUTHOR = {Schulz, Christoph and L{\"o}we, Michael and K{\"o}nig, Harald},
TITLE = {A categorical framework for the transformation of object-oriented systems: Models and data},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {3},
PAGES = {316-337},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {refactoring, evolution, transformation, migration},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001690},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{van_der_Hoeven/11,
AUTHOR = {van der Hoeven, Joris},
TITLE = {Meta-expansion of transseries},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {4},
PAGES = {339-359},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {transseries, asymptotic expansion, algorithm, zero-test},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001495},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ellis-Smith/11,
AUTHOR = {Ellis, Graham and Smith, Paul},
TITLE = {Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {4},
PAGES = {360-370},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {computational algebra, cohomology rings, finite p-groups, kernels of derivations},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001501},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Murray-Roney-Dougal/11,
AUTHOR = {Murray, Scott H. and Roney-Dougal, Colva M.},
TITLE = {Constructive homomorphisms for classical groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {4},
PAGES = {371-384},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {classical group, orthogonal group, spinor norm, matrix group recognition},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001525},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Roy-Szpirglas/11,
AUTHOR = {Roy, Marie-Fran{\c{c}}oise and Szpirglas, Aviva},
TITLE = {Sylvester double sums and subresultants},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {4},
PAGES = {385-395},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {resultants, subresultants, sylvester matrices, sylvester sums},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001872},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Valibouze/11,
AUTHOR = {Valibouze, Annick},
TITLE = {Gr{\"o}bner basis of the alternating Galoisian ideal},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {4},
PAGES = {396-405},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {galois group, galoisian ideal, triangular ideal, splitting field, alternating group},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001896},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Faugere-Safey_El_Din-Spaenlehauer/11,
AUTHOR = {Faug{\`e}re, Jean-Charles and Safey El Din, Mohab and Spaenlehauer, Pierre-Jean},
TITLE = {Gr{\"o}bner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): Algorithms and complexity},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {4},
PAGES = {406-437},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\'o}bner bases, bihomogeneous ideals, algorithms, complexity},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001902},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{de_Graaf/11,
AUTHOR = {de Graaf, Willem A.},
TITLE = {Computing representatives of nilpotent orbits of $\theta$-groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {4},
PAGES = {438-458},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {reductive algebraic groups, lie algebras, orbits, algorithms},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001914},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Faugere-Liang/11,
AUTHOR = {Faug{\`e}re, Jean-Charles and Liang, Ye},
TITLE = {Artificial discontinuities of single-parametric Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {4},
PAGES = {459-466},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\'o}bner basis, artificial discontinuity, monomial basis, local repair},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001999},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hemmer-Dupont-Petitjean-Schomer/11,
AUTHOR = {Hemmer, Michael and Dupont, Laurent and Petitjean, Sylvain and Sch{\"o}mer, Elmar},
TITLE = {A complete, exact and efficient implementation for computing the edge-adjacency graph of an arrangement of quadrics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {4},
PAGES = {467-494},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {arrangement, intersection of surfaces, quadrics, pencils of quadrics, curve parameterization},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110002002},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bigatti-Caboara-Robbiano/11,
AUTHOR = {Bigatti, A.M. and Caboara, M. and Robbiano, L.},
TITLE = {Computing inhomogeneous Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {5},
PAGES = {498-510},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\'o}bner bases, buchberger's algorithm},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001719},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Blanco-Puerto/11,
AUTHOR = {Blanco, V{\'{i}}ctor and Puerto, Justo},
TITLE = {Some algebraic methods for solving multiobjective polynomial integer programs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {5},
PAGES = {511-533},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {multiple objective nonlinear optimization, integer programming, gr{\'o}bner bases},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001720},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Caboara-Caruso-Traverso/11,
AUTHOR = {Caboara, Massimo and Caruso, Fabrizio and Traverso, Carlo},
TITLE = {Lattice Polly Cracker cryptosystems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {5},
PAGES = {534-549},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\'o}bner basis, hermite normal form, polly cracker, cryptosystem, lattice},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001732},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fruhbis-Kruger/11,
AUTHOR = {Fr{\"u}hbis-Kr{\"u}ger, Anne},
TITLE = {A modified coefficient ideal for use with the strict transform},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {5},
PAGES = {550-560},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {resolution of singularities, desingularization, coefficient ideal, strict transform, weak transform},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001744},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Greuel-Seelisch-Wienand/11,
AUTHOR = {Greuel, Gert-Martin and Seelisch, Frank and Wienand, Oliver},
TITLE = {The Gr{\"o}bner basis of the ideal of vanishing polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {5},
PAGES = {561-570},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\'o}bner bases, polynomial rings and ideals, polynomials over commutative rings, vanishing ideal},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001756},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ida-Kasem-Ghourabi-Takahashi/11,
AUTHOR = {Ida, Tetsuo and Kasem, Asem and Ghourabi, Fadoua and Takahashi, Hidekazu},
TITLE = {Morley's theorem revisited: Origami construction and automated proof},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {5},
PAGES = {571-583},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {morley's theorem, computational origami, automated geometrical theorem proving, gr{\"o}bner bases},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001768},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kalorkoti/11,
AUTHOR = {Kalorkoti, K.},
TITLE = {Model checking in the modal $\mu$-calculus and generic solutions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {5},
PAGES = {584-594},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {algorithms, concurrency, programming calculi, gr{\'o}bner bases},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711000177X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Levandovskyy-Schindelar/11,
AUTHOR = {Levandovskyy, Viktor and Schindelar, Kristina},
TITLE = {Computing diagonal form and Jacobson normal form of a matrix using Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {5},
PAGES = {595-608},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {matrix normal form, non-commutative gr{\'o}bner basis, matrix diagonalization over ring, jacobson normal form, ore localization},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001781},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Marcelo-Schenzel/11,
AUTHOR = {Marcelo, Agustin and Schenzel, Peter},
TITLE = {Non-Cohen-Macaulay unique factorization domains in small dimensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {5},
PAGES = {609-621},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {factorial ring, cohen-macaulay ring, factorial closure},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001793},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sato-Inoue-Suzuki-Nabeshima-Sakai/11,
AUTHOR = {Sato, Yosuke and Inoue, Shutaro and Suzuki, Akira and Nabeshima, Katsusuke and Sakai, Ko},
TITLE = {Boolean Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {5},
PAGES = {622-632},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {boolean ring, gr{\'o}bner bases, comprehensive gr{\'o}bner bases},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711000180X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Barkatou-Cluzeau-El_Bacha/11,
AUTHOR = {Barkatou, Moulay A. and Cluzeau, Thomas and El Bacha, Carole},
TITLE = {Simple forms of higher-order linear differential systems and their applications in computing regular solutions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {6},
PAGES = {633-658},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {computer algebra, higher-order linear differential systems, singularities, regular formal solutions, matrix polynomials},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000137},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bila/11,
AUTHOR = {B{\^i}l{\v{a}}, Nicoleta},
TITLE = {On a new method for finding generalized equivalence transformations for differential equations involving arbitrary functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {6},
PAGES = {659-671},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {lie groups of transformations, classical lie symmetries, equivalence transformations, differential equations, symbolic computation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000149},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Idrees-Pfister-Steidel/11,
AUTHOR = {Idrees, Nazeran and Pfister, Gerhard and Steidel, Stefan},
TITLE = {Parallelization of modular algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {6},
PAGES = {672-684},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\'o}bner bases, primary decomposition, modular computation, parallel computation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000150},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Heras-Pascual-Rubio-Sergeraert/11,
AUTHOR = {Heras, J. and Pascual, V. and Rubio, J. and Sergeraert, F.},
TITLE = {{\it fKenzo}: A user interface for computations in Algebraic Topology},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {6},
PAGES = {685-698},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {symbolic computation systems, user interface, constructive algebraic topology},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000174},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hessami_Pilehrood-Hessami_Pilehrood/11,
AUTHOR = {Hessami Pilehrood, Kh. and Hessami Pilehrood, T.},
TITLE = {A $q$-analogue of the Bailey-Borwein-Bradley identity},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {6},
PAGES = {699-711},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {q-analogue, zeta values, ap{\'o}ry-like series, generating function, convergence acceleration, q-markov-wilf-zeilberger method, q-markov-wz pair},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000186},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Plaumann-Sturmfels-Vinzant/11,
AUTHOR = {Plaumann, Daniel and Sturmfels, Bernd and Vinzant, Cynthia},
TITLE = {Quartic curves and their bitangents},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {6},
PAGES = {712-733},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {plane curves, bitangents, determinantal representations, sums of squares, semidefinite programming, gale duality},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000198},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bailey-Borwein/11,
AUTHOR = {Bailey, D.H. and Borwein, J.M.},
TITLE = {High-precision numerical integration: Progress and challenges},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {7},
PAGES = {741-754},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {quadrature, numerical integration, high-precision arithmetic, quantum field theory, ising theory},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001409},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Adrovic-Verschelde/11,
AUTHOR = {Adrovic, Danko and Verschelde, Jan},
TITLE = {Tropical algebraic geometry in Maple: A preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {7},
PAGES = {755-772},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {amoeba, common factor, maple, multivariate polynomial, newton polygon, puiseux series, tropical algebraic geometry, tropism},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001410},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Villard/11a,
AUTHOR = {Villard, Gilles},
TITLE = {Kaltofen's division-free determinant algorithm differentiated for matrix adjoint computation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {7},
PAGES = {773-790},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {matrix determinant, matrix adjoint, matrix inverse, characteristic polynomial, exact algorithm, division-free complexity, wiedemann algorithm, automatic differentiation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001422},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Roche/11,
AUTHOR = {Roche, Daniel S.},
TITLE = {Chunky and equal-spaced polynomial multiplication},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {7},
PAGES = {791-806},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial multiplication, adaptive algorithms, sparse polynomials},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001434},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Monagan-Pearce/11,
AUTHOR = {Monagan, Michael and Pearce, Roman},
TITLE = {Sparse polynomial division using a heap},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {7},
PAGES = {807-822},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {sparse polynomials, polynomial multiplication, polynomial division, polynomial data structures, heaps},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001446},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dumas-Fousse-Salvy/11,
AUTHOR = {Dumas, Jean-Guillaume and Fousse, Laurent and Salvy, Bruno},
TITLE = {Simultaneous modular reduction and Kronecker substitution for small finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {7},
PAGES = {823-840},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {kronecker substitution, finite field, modular polynomial multiplication, redq (simultaneous modular reduction), small extension field, compressed matrix multiplication},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001458},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Li-Maza-Rasheed-Schost/11,
AUTHOR = {Li, Xin and Maza, Marc Moreno and Rasheed, Raqeeb and Schost, {\'E}ric},
TITLE = {The modpn library: Bringing fast polynomial arithmetic into {\sc Maple}},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {7},
PAGES = {841-858},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {fast polynomial arithmetic, interoperability between c and maple, high-performance computing, polynomial system solving},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711000146X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Stoutemyer/11,
AUTHOR = {Stoutemyer, David R.},
TITLE = {Ten commandments for good default expression simplification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {7},
PAGES = {859-887},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {simplification, canonical forms, normal forms, 0-recognition, partial fractions},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001471},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hebisch-Rubey/11,
AUTHOR = {Hebisch, Waldemar and Rubey, Martin},
TITLE = {Extended rate, more GFUN},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {8},
PAGES = {889-903},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {computer algebra, guessing, recurrence relations, differential equations, q-calculus, interpolation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000162},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Zhao-Wang-Hong/11,
AUTHOR = {Zhao, Ting and Wang, Dongming and Hong, Hoon},
TITLE = {Solution formulas for cubic equations without or with constraints},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {8},
PAGES = {904-918},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {cubic polynomial, solution formula, root convention, constraint},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000344},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Emiris-Konaxis/11,
AUTHOR = {Emiris, Ioannis Z. and Konaxis, Christos},
TITLE = {Single-lifting Macaulay-type formulae of generalized unmixed sparse resultants},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {8},
PAGES = {919-942},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {sparse resultant, macaulay formula, minkowski sum, mixed subdivision, generalized unmixed system},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000356},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Castryck-Vercauteren/11,
AUTHOR = {Castryck, Wouter and Vercauteren, Frederik},
TITLE = {Toric forms of elliptic curves and their arithmetic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {8},
PAGES = {943-966},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {elliptic curve, cryptography, arithmetic, newton polytope, toric geometry},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000368},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Tabera/11,
AUTHOR = {Tabera, Luis Felipe},
TITLE = {Optimal affine reparametrization of rational curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {8},
PAGES = {967-976},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {rational curves, algebraic extensions, weil descent method},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000502},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Rueda/11,
AUTHOR = {Rueda, Sonia L.},
TITLE = {A perturbed differential resultant based implicitization algorithm for linear DPPEs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {9},
PAGES = {977-996},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {differential rational parametric equations, differential resultant, implicitization, perturbation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000617},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Langar-Mejri-Adi/11,
AUTHOR = {Langar, Mahjoub and Mejri, Mohamed and Adi, Kamel},
TITLE = {Formal enforcement of security policies on concurrent systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {9},
PAGES = {997-1016},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {execution monitoring, security policies, language based security, concurrent systems, process algebra},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000630},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Arri-Perry/11,
AUTHOR = {Arri, Alberto and Perry, John},
TITLE = {The F5 criterion revised},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {9},
PAGES = {1017-1029},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {f5, gr{\"o}bner bases, syzygies},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000642},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sendra-Sevilla/11,
AUTHOR = {Sendra, J. Rafael and Sevilla, David},
TITLE = {Radical parametrizations of algebraic curves by adjoint curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {9},
PAGES = {1030-1038},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {radical parametrization, parametrization by adjoint curves, offset curves, conchoids},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000769},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Castle-Powers-Reznick/11,
AUTHOR = {Castle, Mari and Powers, Victoria and Reznick, Bruce},
TITLE = {P{\'o}lya's Theorem with zeros},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {9},
PAGES = {1039-1048},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {p{\'o}lya's theorem, positive polynomial, sums of squares},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000770},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Pommaret/11,
AUTHOR = {Pommaret, J.F.},
TITLE = {Macaulay inverse systems revisited},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {9},
PAGES = {1049-1069},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {partial differential equations, macaulay inverse system, algebraic analysis, commutative algebra, homological algebra, localization, duality, computer algebra, gr{\"o}bner bases},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000782},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cioffi-Roggero/11,
AUTHOR = {Cioffi, Francesca and Roggero, Margherita},
TITLE = {Flat families by strongly stable ideals and a generalization of Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {9},
PAGES = {1070-1084},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {family of schemes, strongly stable ideal, gr{\"o}bner basis, flatness},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000800},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Maggiolo-Pagani/11,
AUTHOR = {Maggiolo, Stefano and Pagani, Nicola},
TITLE = {Generating stable modular graphs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {10},
PAGES = {1087-1097},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {generation algorithm, stable graph moduli curves},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000794},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sebastian/11,
AUTHOR = {Sebastian, Jambor},
TITLE = {Computing minimal associated primes in polynomial rings over the integers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {10},
PAGES = {1098-1104},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {minimal associated primes, primary decomposition},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000812},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Beder-McCullough-Nunez-Betancourt-Seceleanu-Snapp-Stone/11,
AUTHOR = {Beder, Jesse and McCullough, Jason and N{\'u}{\~n}ez-Betancourt, Luis and Seceleanu, Alexandra and Snapp, Bart and Stone, Branden},
TITLE = {Ideals with larger projective dimension and regularity},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {10},
PAGES = {1105-1113},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {projective dimension, regularity, ideals, resolutions},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000824},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{DAlfonso-Jeronimo-Ollivier-Sedoglavic-Solerno/11,
AUTHOR = {D'Alfonso, L. and Jeronimo, G. and Ollivier, F. and Sedoglavic, A. and Solern{\'o}, P.},
TITLE = {A geometric index reduction method for implicit systems of differential algebraic equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {10},
PAGES = {1114-1138},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {implicit systems of differential algebraic equations, index, kronecker algorithm, geometric resolution},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000836},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Guillaume/11a,
AUTHOR = {Guillaume, Moroz},
TITLE = {Properness defects of projection and minimal discriminant variety},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {10},
PAGES = {1139-1157},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {parametric polynomial system, discriminant variety, elimination, deterministic complexity},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000848},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kawazoe-Noro/11,
AUTHOR = {Kawazoe, Taro and Noro, Masayuki},
TITLE = {Algorithms for computing a primary ideal decomposition without producing intermediate redundant components},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {10},
PAGES = {1158-1172},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {primary ideal decomposition, ideal quotient, gr{\"o}bner basis computation},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711100085X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chau_Ngo-Winkler/11,
AUTHOR = {Ch{\^a}u Ng{\^o}, L.X. and Winkler, Franz},
TITLE = {Rational general solutions of planar rational systems of autonomous ODEs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {10},
PAGES = {1173-1186},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {ordinary differential equations, rational solutions, invariant algebraic curves, rational parametrizations, rational first integrals},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000861},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dehghani_Darmian-Hashemi-Montes/11,
AUTHOR = {Dehghani Darmian, Mahdi and Hashemi, Amir and Montes, Antonio},
TITLE = {Erratum to ``A new algorithm for discussing Gr{\"o}bner bases with parameters''},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {10},
PAGES = {1187-1188},
YEAR = {2011},
EDITOR = {Hong, Hoon},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111000629},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
NOTE = {Originally in J. Symbolic Computation, Vol. 33, 2002, No. 1, 183-208},
}
@article{Levandovskyy-Zerz-Schindelar/11,
AUTHOR = {Levandovskyy, Viktor and Zerz, Eva and Schindelar, Kristina},
TITLE = {Exact linear modeling using Ore algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {11},
PAGES = {1189-1204},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {ore algebra, linear exact modeling, noncommutative gr{\"o}bner basis, annihilator, syzygies},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001131},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Abramov-Barkatou-van_Hoeij-Petkovsek/11,
AUTHOR = {Abramov, S.A. and Barkatou, M.A. and van Hoeij, M. and Petkov{\v{s}}ek, M.},
TITLE = {Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {11},
PAGES = {1205-1228},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {entire solutions of linear difference equations, subanalytic solutions of linear recurrence equations, hypergeometric sequences},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001155},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Blanco-Encinas/11,
AUTHOR = {Blanco, Roc{\'{i}}o and Encinas, Santiago},
TITLE = {Embedded desingularization of toric varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {11},
PAGES = {1229-1241},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {resolution of singularities, binomial ideals, toric varieties},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001179},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Giesbrecht-Roche/11a,
AUTHOR = {Giesbrecht, Mark and Roche, Daniel S.},
TITLE = {Detecting lacunary perfect powers and computing their roots},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {11},
PAGES = {1242-1259},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {sparse/lacunary polynomial, perfect power, black-box computation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001180},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{De_Loera-Lee-Malkin-Margulies/11,
AUTHOR = {De Loera, Jes{\'u}s A. and Lee, Jon and Malkin, Peter N. and Margulies, Susan},
TITLE = {Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {11},
PAGES = {1260-1283},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {combinatorics, systems of polynomials, feasibility, non-linear optimization, graph 3-coloring},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001192},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Strzebonski/11,
AUTHOR = {Strzebo{\'n}ski, Adam},
TITLE = {Cylindrical decomposition for systems transcendental in the first variable},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {11},
PAGES = {1284-1290},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {cylindrical decomposition, equation and inequality solving, transcendental equations, quantifier elimination},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001210},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Lemaire-Moreno_Maza-Pan-Xie/11,
AUTHOR = {Lemaire, Fran{\c{c}}ois and Moreno Maza, Marc and Pan, Wei and Xie, Yuzhen},
TITLE = {When does $\langle T\rangle$ equal sat$(T)$?},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {12},
PAGES = {1291-1305},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {regular chain, saturated ideal, primitivity of polynomials},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001222},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kosaku/11,
AUTHOR = {Kosaku, Nagasaka},
TITLE = {Approximate polynomial GCD over integers},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {12},
PAGES = {1306-1317},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {approximate polynomial gcd, numerical polynomial gcd},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001234},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hiroshi/11,
AUTHOR = {Hiroshi, Sekigawa},
TITLE = {Computing the nearest polynomial with a zero in a given domain by using piecewise rational functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {12},
PAGES = {1318-1335},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial, zero, perturbation, l $\infty$ -norm, davenport-schinzel sequence},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001246},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Martin/11,
AUTHOR = {Martin, Raum},
TITLE = {How to implement a modular form},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {12},
PAGES = {1336-1354},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {modular forms, fourier expansions, computation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001258},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Poole-Hereman/11,
AUTHOR = {Poole, Douglas and Hereman, Willy},
TITLE = {Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {12},
PAGES = {1355-1377},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {conservation laws, nonlinear pdes, symbolic software, complete integrability},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711100126X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bostan-Chowdhury-van_der_Hoeven-Schost/11,
AUTHOR = {Bostan, Alin and Chowdhury, Muhammad F.I. and van der Hoeven, Joris and Schost, {\'E}ric},
TITLE = {Homotopy techniques for multiplication modulo triangular sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {12},
PAGES = {1378-1402},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {triangular sets, multiplication, complexity},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001271},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bretto-Faisant/11,
AUTHOR = {Bretto, Alain and Faisant, Alain},
TITLE = {Cayley graphs and $G$-graphs: Some applications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {46},
NUMBER = {12},
PAGES = {1403-1412},
YEAR = {2011},
EDITOR = {Hong, Hoon},
KEYWORDS = {computational group theory, graph representation of a group, cayley graphs, g -graphs},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001283},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}