@article{Oaku/13,
AUTHOR = {Oaku, Toshinori},
TITLE = {Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {1-27},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {integration, holonomic function, d-module, generalized function, gr{\"o}bner basis},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000946},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Xu-Li/13,
AUTHOR = {Xu, Ming and Li, Zhi-Bin},
TITLE = {Symbolic termination analysis of solvable loops},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {28-49},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {program verification, termination analysis, polynomial loops, symbolic computation, quantifier elimination, real root bounds},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000958},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gray-Malheiro-Pride/13,
AUTHOR = {Gray, R. and Malheiro, A. and Pride, S.J.},
TITLE = {Homotopy bases and finite derivation type for Sch{\"u}tzenberger groups of monoids},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {50-78},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {complete rewriting systems, finitely presented groups and monoids, finiteness conditions, sch{\"u}tzenberger groups, homotopy bases, finite derivation type},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001058},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Palancz/13,
AUTHOR = {Pal{\'a}ncz, B.},
TITLE = {Application of Dixon resultant to satellite trajectory control by pole placement},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {79-99},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {satellite control, pole placement, symbolic-numeric computation, multivariate polynomial system, dixon resultant},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711200106X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Detinko-Flannery-OBrien/13,
AUTHOR = {Detinko, A.S. and Flannery, D.L. and O'Brien, E.A.},
TITLE = {Recognizing finite matrix groups over infinite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {100-109},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {finitely generated linear group, finite linear group, decision problem, algorithm},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001071},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Poteaux-Schost/13,
AUTHOR = {Poteaux, Adrien and Schost, {\'E}ric},
TITLE = {On the complexity of computing with zero-dimensional triangular sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {110-138},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {triangular sets, modular composition, power projection, change of order, equiprojectable decomposition},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001083},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bishop-Douglass-Pfeiffer-Rohrle/13,
AUTHOR = {Bishop, Marcus and Douglass, J. Matthew and Pfeiffer, G{\"o}tz and R{\"o}hrle, Gerhard},
TITLE = {Computations for Coxeter arrangements and Solomon's descent algebra: Groups of rank three and four},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {139-158},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {coxeter group, descent algebra, orlik-solomon algebra},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001095},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Peter-Plonka-Rosca/13,
AUTHOR = {Peter, Thomas and Plonka, Gerlind and Ro{\c{s}}ca, Daniela},
TITLE = {Representation of sparse Legendre expansions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {159-169},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {legendre polynomials, sparse polynomial expansions, annihilating filters, nonlinear approximation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001101},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Roune-Saenz-de-Cabezon/13,
AUTHOR = {Roune, Bjarke Hammersholt and S{\'a}enz-de-Cabez{\'o}n, Eduardo},
TITLE = {Complexity and algorithms for Euler characteristic of simplicial complexes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {170-196},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {euler characteristic, monomial ideal, simplicial complex, \#p-complete, computational complexity, algorithms},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001198},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cadavid-Molina-Velez/13,
AUTHOR = {Cadavid, C. and Molina, S. and V{\'e}lez, J.D.},
TITLE = {Limits of quotients of bivariate real analytic functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {197-207},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {limits, real analytic functions, puiseux series, hensel's lemma},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001204},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Roy-Sedjelmaci/13,
AUTHOR = {Roy, Marie-Fran{\c{c}}oise and Sedjelmaci, Sidi Mohamed},
TITLE = {New fast Euclidean algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {208-226},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {fast algorithms, greatest common divisor (gcd), half-greatest common divisor (half-gcd), quotient boot, complexity},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001216},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{van_der_Hoeven-Lecerf/13a,
AUTHOR = {van der Hoeven, Joris and Lecerf, Gr{\'e}goire},
TITLE = {On the bit-complexity of sparse polynomial and series multiplication},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {227-254},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {sparse multiplication, power series, multi-point evaluation, polynomial factorization, algorithm},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001228},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ballico-Elia-Sala/13,
AUTHOR = {Ballico, E. and Elia, M. and Sala, M.},
TITLE = {On the evaluation of multivariate polynomials over finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {255-262},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {multiplicative complexity, complexity, multivariate polynomials, finite field, computational algebra},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711200123X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bertone-Cioffi-Lella-Roggero/13,
AUTHOR = {Bertone, Cristina and Cioffi, Francesca and Lella, Paolo and Roggero, Margherita},
TITLE = {Upgraded methods for the effective computation of marked schemes on a strongly stable ideal},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {263-290},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {hilbert scheme, strongly stable ideal, polynomial reduction relation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001241},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bernardi-Ranestad/13,
AUTHOR = {Bernardi, Alessandra and Ranestad, Kristian},
TITLE = {On the cactus rank of cubics forms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {291-297},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {cactus rank, cubic forms, apolarity},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001332},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hulpke/13a,
AUTHOR = {Hulpke, Alexander},
TITLE = {Computing generators of groups preserving a bilinear form over residue class rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {298-307},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {symplectic group, generators, residue class ring},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001344},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hefez-Hernandes/13,
AUTHOR = {Hefez, Abramo and Hernandes, Marcelo Escudeiro},
TITLE = {Algorithms for the implementation of the analytic classification of plane branches},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {308-313},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {plane curve singularities, standard bases, analytic classification},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001356},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hillar-del_Campo/13,
AUTHOR = {Hillar, Christopher J. and del Campo, Abraham Mart{\'{i}}n},
TITLE = {Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {314-334},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {lattice ideal, toric ideal, invariant ideals, chain stabilization, symmetric group, finiteness, permutation module, nice orderings},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001368},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Roozemond/13,
AUTHOR = {Roozemond, Dan},
TITLE = {Computing split maximal toral subalgebras of Lie algebras over fields of small characteristic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {335-349},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {lie algebras, isomorphism problems, toral subalgebras, algorithms, groups of lie type},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711200137X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kadioglu-Payne/13,
AUTHOR = {Kadioglu, H{\"u}lya and Payne, Tracy L.},
TITLE = {Computational methods for nilsoliton metric Lie algebras I},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {350-373},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {nilpotent lie algebra, nilsoliton inner product, soliton metric},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001381},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Soprunov/13,
AUTHOR = {Soprunov, Ivan},
TITLE = {Toric complete intersection codes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {374-385},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {evaluation codes, global residue, toric variety, newton polytope},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001393},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Qin-He-Luo-Chin-Chen/13,
AUTHOR = {Qin, Shengchao and He, Guanhua and Luo, Chenguang and Chin, Wei-Ngan and Chen, Xin},
TITLE = {Loop invariant synthesis in a combined abstract domain},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {386-408},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {loop invariant, fixpoint analysis, abstraction, combining analysis, shape analysis, numerical analysis, separation logic},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711200140X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{von_zur_Gathen/13,
AUTHOR = {von zur Gathen, Joachim},
TITLE = {Lower bounds for decomposable univariate wild polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {409-430},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {computer algebra, wild polynomial decomposition, finite fields, combinatorics on polynomials},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001411},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jin-Li-Wang/13,
AUTHOR = {Jin, Meng and Li, Xiaoliang and Wang, Dongming},
TITLE = {A new algorithmic scheme for computing characteristic sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {431-449},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {characteristic set, elimination, reduction, subresultant, triangular set},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001423},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Tabera/13,
AUTHOR = {Tabera, Luis Felipe},
TITLE = {Computing hypercircles by moving hyperplanes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {450-464},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {rational curve, hypercircle, algebraic extensions},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001551},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Potocnik-Spiga-Verret/13,
AUTHOR = {Poto{\v{c}}nik, Primo{\v{z}} and Spiga, Pablo and Verret, Gabriel},
TITLE = {Cubic vertex-transitive graphs on up to 1280 vertices},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {465-477},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {cubic, tetravalent, valency 3, valency 4, vertex-transitive, arc-transitive},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001563},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Morton/13,
AUTHOR = {Morton, Jason},
TITLE = {Relations among conditional probabilities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {478-492},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {conditional probability, gr{\"o}bner bases, toric varieties, polytopes},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001575},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bates-Eklund-Peterson/13,
AUTHOR = {Bates, Daniel J. and Eklund, David and Peterson, Chris},
TITLE = {Computing intersection numbers of Chern classes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {493-507},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {homotopy continuation, numerical algebraic geometry, polynomial system, linkage},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001587},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hu-Huang-Ling-Qi/13,
AUTHOR = {Hu, Shenglong and Huang, Zheng-Hai and Ling, Chen and Qi, Liqun},
TITLE = {On determinants and eigenvalue theory of tensors},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {508-531},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {tensor, eigenvalue, determinant, characteristic polynomial},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711200168X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Abbott/13,
AUTHOR = {Abbott, John},
TITLE = {Bounds on factors in $\mathbb Z[x]$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {532-563},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial factor bounds, polynomial root bounds, high-ratio factorization, large height polynomial factors},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001691},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mourrain-Villamizar/13,
AUTHOR = {Mourrain, Bernard and Villamizar, Nelly},
TITLE = {Homological techniques for the analysis of the dimension of triangular spline spaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {50},
PAGES = {564-577},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {splines, triangulations, bounds on the dimension, powell-sabin subdivisions},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112001708},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}