@article{Kaltofen-Li-Yang-Zhi/12,
AUTHOR = {Kaltofen, Erich L. and Li, Bin and Yang, Zhengfeng and Zhi, Lihong},
TITLE = {Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {1},
PAGES = {1-15},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {semidefinite programming, sum-of-squares, validated output, hybrid method},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001143},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{McCallum-Weispfenning/12,
AUTHOR = {McCallum, Scott and Weispfenning, Volker},
TITLE = {Deciding polynomial-transcendental problems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {1},
PAGES = {16-31},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {decision procedure, exponential polynomials},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001167},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Poteaux-Rybowicz/12,
AUTHOR = {Poteaux, Adrien and Rybowicz, Marc},
TITLE = {Good reduction of Puiseux series and applications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {1},
PAGES = {32-63},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {puiseux series, algebraic functions, finite fields, symbolic-numeric algorithm},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001209},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Baarnhielm-Leedham-Green/12,
AUTHOR = {B{\"a}{\"a}rnhielm, Henrik and Leedham-Green, C.R.},
TITLE = {The Product Replacement Prospector},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {1},
PAGES = {64-75},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {computational group theory, black-box group, product replacement algorithm, random walks on groups, goodness of fit, probability on groups},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001295},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bluman-Dridi/12,
AUTHOR = {Bluman, George and Dridi, Raouf},
TITLE = {New solutions for ordinary differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {1},
PAGES = {76-88},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {non-invertible mapping, first integral, classical function},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001301},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Harrison/12,
AUTHOR = {Harrison, Michael C.},
TITLE = {An extension of Kedlaya's algorithm for hyperelliptic curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {1},
PAGES = {89-101},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {kedlaya's algorithm, monsky-washnitzer cohomology, magma},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001313},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Janovitz-Freireich-Mourrain-Ronyai-Szanto/12,
AUTHOR = {Janovitz-Freireich, Itnuit and Mourrain, Bernard and R{\'o}nyai, Lajos and Sz{\'a}nt{\'o}, {\'A}gnes},
TITLE = {On the computation of matrices of traces and radicals of ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {1},
PAGES = {102-122},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {matrix of traces, radical of an ideal},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001325},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Moses/12,
AUTHOR = {Moses, Joel},
TITLE = {Macsyma: A personal history},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {2},
PAGES = {123-130},
YEAR = {2012},
EDITOR = {Hong, Hoon},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717110001483},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Burr-Choi-Galehouse-Yap/12,
AUTHOR = {Burr, Michael and Choi, Sung Woo and Galehouse, Ben and Yap, Chee K.},
TITLE = {Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {2},
PAGES = {131-152},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {meshing, singularity, root bound, evaluation bound, implicit algebraic curve, complete numerical algorithm, subdivision algorithm},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001337},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Burr-Krahmer/12,
AUTHOR = {Burr, Michael A. and Krahmer, Felix},
TITLE = {SqFreeEVAL: An (almost) optimal real-root isolation algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {2},
PAGES = {153-166},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {continuous amortization, adaptive analysis, subdivision algorithm, integral analysis, amortization, root isolation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001349},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Nie/12,
AUTHOR = {Nie, Jiawang},
TITLE = {Discriminants and nonnegative polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {2},
PAGES = {167-191},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {barrier, discriminants, nonnegativity, polynomials, hypersurface, resultants, semialgebraic sets, varieties},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001350},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Aparicio-Monforte-Weil/12,
AUTHOR = {Aparicio-Monforte, Ainhoa and Weil, Jacques-Arthur},
TITLE = {A reduced form for linear differential systems and its application to integrability of Hamiltonian systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {2},
PAGES = {192-213},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {differential galois theory, computer algebra, hamiltonian systems, integrability, morales-ramis theory, reduced form},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001465},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Farouki-Sakkalis/12,
AUTHOR = {Farouki, Rida T. and Sakkalis, Takis},
TITLE = {A complete classification of quintic space curves with rational rotation-minimizing frames},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {2},
PAGES = {214-226},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {rotation-minimizing frames, pythagorean-hodograph curves, complex numbers, quaternions, hopf map, polynomial identities},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001477},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Wu-Zhi/12,
AUTHOR = {Wu, Xiaoli and Zhi, Lihong},
TITLE = {Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {3},
PAGES = {227-238},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {involutive system, isolated singular solution, multiplicity structure, root refinement, quadratic convergence},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001672},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kerber-Sagraloff/12,
AUTHOR = {Kerber, Michael and Sagraloff, Michael},
TITLE = {A worst-case bound for topology computation of algebraic curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {3},
PAGES = {239-258},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {topology computation, algebraic curve, amortized analysis, complexity analysis},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001775},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Vatter/12,
AUTHOR = {Vatter, Vincent},
TITLE = {Finding regular insertion encodings for permutation classes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {3},
PAGES = {259-265},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {insertion encoding, permutation class, rational generating function, regular language},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001787},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Couveignes-Kammerer/12,
AUTHOR = {Couveignes, Jean-Marc and Kammerer, Jean-Gabriel},
TITLE = {The geometry of flex tangents to a cubic curve and its parameterizations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {3},
PAGES = {266-281},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {elliptic curves, cryptography, encoding, k3 surfaces},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001891},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Strzebonski/12a,
AUTHOR = {Strzebo{\'n}ski, Adam},
TITLE = {Real root isolation for exp-log-arctan functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {3},
PAGES = {282-314},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {exp-log-arctan functions, elementary functions, real root isolation, solving equations},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001908},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Elsenhans/12,
AUTHOR = {Elsenhans, Andreas-Stephan},
TITLE = {Invariants for the computation of intransitive and transitive Galois groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {3},
PAGES = {315-326},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {galois group, invariant, representation, algorithm},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001921},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Alcazar/12,
AUTHOR = {Alcazar, Juan G.},
TITLE = {Local shape of generalized offsets to algebraic curves},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {3},
PAGES = {327-341},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {offsets, generalized offsets, local shape, offset topology},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001933},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gonzalez-Sanchez-Harrison-Polo-Blanco-Schicho/12,
AUTHOR = {Gonz{\'a}lez-S{\'a}nchez, Jon and Harrison, Michael and Polo-Blanco, Irene and Schicho, Josef},
TITLE = {Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization)},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {3},
PAGES = {342-353},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {del pezzo surfaces, rational points, rational parametrisation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001945},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ling-Shparlinski-Steinfeld-Wang/12,
AUTHOR = {Ling, San and Shparlinski, Igor E. and Steinfeld, Ron and Wang, Huaxiong},
TITLE = {On the modular inversion hidden number problem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {4},
PAGES = {358-367},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {hidden number problem, inversion, pseudorandom generators},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001374},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gaudry-Schost/12,
AUTHOR = {Gaudry, Pierrick and Schost, {\'E}ric},
TITLE = {Genus 2 point counting over prime fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {4},
PAGES = {368-400},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {point counting, hyperelliptic curves, schoof-pila algorithm},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001386},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Prest-Zimmermann/12,
AUTHOR = {Prest, Thomas and Zimmermann, Paul},
TITLE = {Non-linear polynomial selection for the number field sieve},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {4},
PAGES = {401-409},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {integer factorization, number field sieve, polynomial selection},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001398},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Elkadi-Galligo-Ba/12,
AUTHOR = {Elkadi, Mohamed and Galligo, Andr{\'e} and Ba, Thang Luu},
TITLE = {Approximate GCD of several univariate polynomials with small degree perturbations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {4},
PAGES = {410-421},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {gcd of univariate polynomials, eea, normal degree sequence, approximate computation, minimal syzygies, $\mu$ -basis, generic initial ideal, groebner basis},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001404},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gupta-Sarkar-Storjohann-Valeriote/12,
AUTHOR = {Gupta, Somit and Sarkar, Soumojit and Storjohann, Arne and Valeriote, Johnny},
TITLE = {Triangular $x$-basis decompositions and derandomization of linear algebra algorithms over $K[x]$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {4},
PAGES = {422-453},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial matrices, linear system solving, row reduction, derandomization},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001416},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Avendano-Ibrahim-Rojas-Rusek/12,
AUTHOR = {Avenda{\~n}o, Mart{\'{i}}n and Ibrahim, Ashraf and Rojas, J. Maurice and Rusek, Korben},
TITLE = {Faster $P$-adic feasibility for certain multivariate sparse polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {4},
PAGES = {454-479},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {feasibility, p -adic rational, fewnomial, complexity, short certficate, np -completeness, sparse, trinomial, multivariate},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001428},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Comer-Kaltofen/12,
AUTHOR = {Comer, Matthew T. and Kaltofen, Erich L.},
TITLE = {On the Berlekamp/Massey algorithm and counting singular Hankel matrices over a finite field},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {4},
PAGES = {480-491},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {toeplitz matrix, hankel matrix, block matrix, finite field, singularity counts, fixed entry, berlekamp/massey algorithm},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711100143X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gallardo-Rahavandrainy/12,
AUTHOR = {Gallardo, Luis H. and Rahavandrainy, Olivier},
TITLE = {All unitary perfect polynomials over $\mathbb F_2$ with at most four distinct irreducible factors},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {4},
PAGES = {492-502},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {sum of divisors, unitary divisors, polynomials, finite fields, characteristic 2},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001441},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Greuet-Guo-Din-Zhi/12,
AUTHOR = {Greuet, Aur{\'e}lien and Guo, Feng and Din, Mohab Safey El and Zhi, Lihong},
TITLE = {Global optimization of polynomials restricted to a smooth variety using sums of squares},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {5},
PAGES = {503-518},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {global constrained optimization, polynomials, sum of squares, polar varieties},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001957},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sprenger-Koepf/12,
AUTHOR = {Sprenger, Torsten and Koepf, Wolfram},
TITLE = {Algorithmic determination of $q$-power series for $q$-holonomic functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {5},
PAGES = {519-535},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {q -calculus, q -hypergeometric series, q -holonomic functions},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001969},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Abbott/12,
AUTHOR = {Abbott, John},
TITLE = {Twin-float arithmetic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {5},
PAGES = {536-551},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {heuristically guaranteed finite-precision arithmetic},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001970},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sutherland/12,
AUTHOR = {Sutherland, Nicole},
TITLE = {Efficient computation of maximal orders in radical (including Kummer) extensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {5},
PAGES = {552-567},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {maximal orders, kummer extensions, radical extensions},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002562},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ahn-Kwak-Song/12,
AUTHOR = {Ahn, Jeaman and Kwak, Sijong and Song, Yeongseok},
TITLE = {The degree complexity of smooth surfaces of codimension 2},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {5},
PAGES = {568-581},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {degree complexity, graded lexicographic order, generic initial ideal, partial elimination ideal, algebraic surfaces of codimension 2},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000028},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Buchberger-Rosenkranz/12,
AUTHOR = {Buchberger, Bruno and Rosenkranz, Markus},
TITLE = {Transforming problems from analysis to algebra: A case study in linear boundary problems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {6},
PAGES = {589-609},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {symbolic analysis, linear boundary problems, wen-tsun wu, wolfgang groebner, theorema, algorithmic functors, groebner bases, integro-differential algebras, baxter algebras},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711100215X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chen-Maza/12,
AUTHOR = {Chen, Changbo and Maza, Marc Moreno},
TITLE = {Algorithms for computing triangular decomposition of polynomial systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {6},
PAGES = {610-642},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {characteristic set, triangular decomposition, regular chain, resultant, gcd},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002161},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chen-Hou-Mu/12,
AUTHOR = {Chen, William Y.C. and Hou, Qing-Hu and Mu, Yan-Ping},
TITLE = {The extended Zeilberger algorithm with parameters},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {6},
PAGES = {643-654},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {zeilberger's algorithm, the extended zeilberger algorithm, the gosper algorithm, hypergeometric series, orthogonal polynomials},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002173},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gao-Huang/12,
AUTHOR = {Gao, Xiao-Shan and Huang, Zhenyu},
TITLE = {Characteristic set algorithms for equation solving in finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {6},
PAGES = {655-679},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {characteristic set, finite field, boolean polynomial, proper triangular set, single exponential algorithm, stream cipher},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002185},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hubert-Cani/12,
AUTHOR = {Hubert, Evelyne and Cani, Marie-Paule},
TITLE = {Convolution surfaces based on polygonal curve skeletons},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {6},
PAGES = {680-699},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {integration, recurrences, geometric modeling, computer graphics},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002197},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Li-Zhi/12,
AUTHOR = {Li, Nan and Zhi, Lihong},
TITLE = {Computing the multiplicity structure of an isolated singular solution: Case of breadth one},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {6},
PAGES = {700-710},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial system, isolated singular solution, multiplicity structure, local dual space, corank one},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002203},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Li-Wu/12,
AUTHOR = {Li, Ziming and Wu, Min},
TITLE = {Transforming linear functional systems into fully integrable systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {6},
PAGES = {711-732},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {linear functional systems, (fully) integrable systems, reflexive closures, localizations, ore modules, laurent-ore modules},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002215},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Wang-Chen/12,
AUTHOR = {Wang, Xuhui and Chen, Falai},
TITLE = {Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {6},
PAGES = {733-750},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {implicitization, parameterization, singularity, inversion formula, moving surface, steiner surface},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002227},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Romero-Rubio/12,
AUTHOR = {Romero, Ana and Rubio, Julio},
TITLE = {Computing the homology of groups: The geometric way},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {7},
PAGES = {752-770},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {group homology, algebraic topology, effective homology, common lisp},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001994},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{De_Feo-Schost/12,
AUTHOR = {De Feo, Luca and Schost, {\'E}ric},
TITLE = {Fast arithmetics in Artin-Schreier towers over finite fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {7},
PAGES = {771-792},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {algorithms, complexity, artin-schreier},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002008},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Zhou-Labahn/12,
AUTHOR = {Zhou, Wei and Labahn, George},
TITLE = {Efficient algorithms for order basis computation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {7},
PAGES = {793-819},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {order basis, module basis, pad{\'e} approximation},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711100201X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Emiris-Mantzaflaris/12,
AUTHOR = {Emiris, Ioannis Z. and Mantzaflaris, Angelos},
TITLE = {Multihomogeneous resultant formulae for systems with scaled support},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {7},
PAGES = {820-842},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {multihomogeneous system, resultant matrix, sylvester, b{\'e}zout, determinantal formula, mapleimplementation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002021},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cheng-Gao-Guo/12,
AUTHOR = {Cheng, Jin-San and Gao, Xiao-Shan and Guo, Leilei},
TITLE = {Root isolation of zero-dimensional polynomial systems with linear univariate representation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {7},
PAGES = {843-858},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {zero-dimensional polynomial system, linear univariate representation, local generic position, root isolation, gr{\"o}bner basis},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002033},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Brown/12,
AUTHOR = {Brown, Christopher W.},
TITLE = {Fast simplifications for Tarski formulas based on monomial inequalities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {7},
PAGES = {859-882},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {tarski formulas, formula simplification, complexity, quantifier elimination},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002045},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hong-Din/12,
AUTHOR = {Hong, Hoon and Din, Mohab Safey El},
TITLE = {Variant quantifier elimination},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {7},
PAGES = {883-901},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {quantifier elimination, computational real algebraic geometry, stability analysis},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002057},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Diatta-Mourrain-Ruatta/12,
AUTHOR = {Diatta, Daouda Niang and Mourrain, Bernard and Ruatta, Olivier},
TITLE = {On the isotopic meshing of an algebraic implicit surface},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {8},
PAGES = {903-925},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {real algebraic surafces, topology, resultants, triangulation, singularities},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111001453},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Albrecht-Cid-Faugere-Perret/12,
AUTHOR = {Albrecht, Martin R. and Cid, Carlos and Faug{\`e}re, Jean-Charles and Perret, Ludovic},
TITLE = {On the relation between the MXL family of algorithms and Gr{\"o}bner basis algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {8},
PAGES = {926-941},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\"o}bner bases, polynomial system solving, mutants},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711200003X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Krick-Szanto/12,
AUTHOR = {Krick, Teresa and Szanto, Agnes},
TITLE = {Sylvester's double sums: An inductive proof of the general case},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {8},
PAGES = {942-953},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {sylvester's double sums, subresultants},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000041},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Harvey/12,
AUTHOR = {Harvey, David},
TITLE = {The Karatsuba integer middle product},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {8},
PAGES = {954-967},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {middle product, integer arithmetic, efficient algorithm},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000053},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chen-Kauers/12a,
AUTHOR = {Chen, Shaoshi and Kauers, Manuel},
TITLE = {Trading order for degree in creative telescoping},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {8},
PAGES = {968-995},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {definite integration, hyperexponential terms, zeilberger's algorithm},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000168},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Katzman-Schwede/12,
AUTHOR = {Katzman, Mordechai and Schwede, Karl},
TITLE = {An algorithm for computing compatibly Frobenius split subvarieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {8},
PAGES = {996-1008},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {frobenius map, frobenius splitting, compatibly split, test ideal, algorithm, prime characteristic},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000260},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Peltier-Sofronie-Stokkermans/12,
AUTHOR = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica},
TITLE = {First-order theorem proving: Foreword},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {9},
PAGES = {1009-1010},
YEAR = {2012},
EDITOR = {Hong, Hoon},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002239},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Baumgartner-Pelzer-Tinelli/12,
AUTHOR = {Baumgartner, Peter and Pelzer, Bj{\"o}rn and Tinelli, Cesare},
TITLE = {Model evolution with equality --- Revised and implemented},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {9},
PAGES = {1011-1045},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {automated theorem proving, instance-based methods},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002240},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hansen-Antonsen-Giese-Waaler/12,
AUTHOR = {Hansen, Christian Mahesh and Antonsen, Roger and Giese, Martin and Waaler, Arild},
TITLE = {Incremental variable splitting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {9},
PAGES = {1046-1065},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {theorem proving, tableaux, incremental closure, variable splitting},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002252},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ranise/12,
AUTHOR = {Ranise, Silvio},
TITLE = {On the verification of security-aware E-services},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {9},
PAGES = {1066-1088},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {relational transducers, access control policies, constraint logic programs, bernays-sh{\"o}nfinkel-ramsey class, model completeness},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002264},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Wernhard/12,
AUTHOR = {Wernhard, Christoph},
TITLE = {Projection and scope-determined circumscription},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {9},
PAGES = {1089-1108},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {circumscription, second-order quantifier elimination, projection, forgetting, strongest necessary and weakest sufficient condition},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002276},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Wirth/12,
AUTHOR = {Wirth, Claus-Peter},
TITLE = {$\lim+\delta^+$, and Non-Permutability of $\beta$-steps},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {9},
PAGES = {1109-1135},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {mathematics assistance systems, automated theorem proving, human-oriented computer-assisted proof construction, formal proofs of standard theorems, reductive calculi (sequent, tableau, matrix, indexed formula tree), non-permutabilityof reductive inference rules, liberalized $\delta$ -rules, $\delta$ + -rule, free-variable calculi},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002288},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Shafer/12,
AUTHOR = {Shafer, Douglas S.},
TITLE = {Symbolic computation and the cyclicity problem for singularities},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {10},
PAGES = {1140-1153},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {cyclicity problem, polynomial systems of nonlinear differential equations, bautin ideal, computational commutative algebra},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002306},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Yu-Yang-Zhang/12,
AUTHOR = {Yu, Zhiheng and Yang, Lu and Zhang, Weinian},
TITLE = {Discussion on polynomials having polynomial iterative roots},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {10},
PAGES = {1154-1162},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {iterative root, polynomial mapping, algebraic variety, decomposition},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002318},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Han-Romanovski/12,
AUTHOR = {Han, Maoan and Romanovski, Valery G.},
TITLE = {Isochronicity and normal forms of polynomial systems of ODEs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {10},
PAGES = {1163-1174},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial systems of ode's, isochronicity, linearizability, normal forms},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711100232X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Klin-Lauri-Ziv-Av/12,
AUTHOR = {Klin, Mikhail and Lauri, Josef and Ziv-Av, Matan},
TITLE = {Links between two semisymmetric graphs on 112 vertices via association schemes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {10},
PAGES = {1175-1191},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {nikolaev graph, dejter graph, semisymmetric graph, ljubljana graph, double cover, association scheme, computer algebra, deza graph, overlarge set of designs},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002331},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cluzeau-Quadrat/12,
AUTHOR = {Cluzeau, Thomas and Quadrat, Alban},
TITLE = {Serre's reduction of linear partial differential systems with holonomic adjoints},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {10},
PAGES = {1192-1213},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {serre's reduction, underdetermined linear systems of partial differential equations, holonomic d -modules, constructive module theory, mathematical system theory},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002343},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Levandovskyy-Schindelar/12,
AUTHOR = {Levandovskyy, Viktor and Schindelar, Kristina},
TITLE = {Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {10},
PAGES = {1214-1232},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {matrix normal form, matrix diagonalization over rings, ore localization, non-commutative gr{\"o}bner basis, decoupling of systems of functional equations},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002458},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bachler-Gerdt-Lange-Hegermann-Robertz/12,
AUTHOR = {B{\"a}chler, Thomas and Gerdt, Vladimir and Lange-Hegermann, Markus and Robertz, Daniel},
TITLE = {Algorithmic Thomas decomposition of algebraic and differential systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {10},
PAGES = {1233-1266},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {disjoint triangular decomposition, simple systems, polynomial systems, differential systems, involutivity},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711100246X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Blumlein-Klein-Schneider-Stan/12,
AUTHOR = {Bl{\"u}mlein, Johannes and Klein, Sebastian and Schneider, Carsten and Stan, Flavia},
TITLE = {A symbolic summation approach to Feynman integral calculus},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {10},
PAGES = {1267-1289},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {feynman integrals, multi-summation, recurrence solving, formal laurent series},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002471},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Raab/12,
AUTHOR = {Raab, Clemens G.},
TITLE = {Using Gr{\"o}bner bases for finding the logarithmic part of the integral of transcendental functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {10},
PAGES = {1290-1296},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {symbolic integration, elementary integral, differential algebra, gr{\"o}bner basis, special functions},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002483},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Boffi-Logar/12,
AUTHOR = {Boffi, Giandomenico and Logar, Alessandro},
TITLE = {Computing Gr{\"o}bner bases of pure binomial ideals via submodules of $\mathbb Z^n$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {10},
PAGES = {1297-1308},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {binomial ideal, gr{\"o}bner basis, polyhedral cone, buchberger algorithm, smith normal form, hilbert basis},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002495},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ellis-Luyen/12,
AUTHOR = {Ellis, Graham and Luyen, Le Van},
TITLE = {Computational homology of $n$-types},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {11},
PAGES = {1309-1317},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {homology, n -types, crossed modules, simplicial groups},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711200017X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Guardia-Nart-Pauli/12,
AUTHOR = {Gu{\`a}rdia, Jordi and Nart, Enric and Pauli, Sebastian},
TITLE = {Single-factor lifting and factorization of polynomials over local fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {11},
PAGES = {1318-1346},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {local field, montes algorithm, montes approximation, newton polygon, okutsu approximation, polynomial factorization},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000363},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Foupouagnigni-Koepf-Tcheutia-Sadjang/12,
AUTHOR = {Foupouagnigni, M. and Koepf, W. and Tcheutia, D.D. and Sadjang, P. Njionou},
TITLE = {Representations of $q$-orthogonal polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {11},
PAGES = {1347-1371},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {orthogonal polynomials of q -hahn tableau, structure formulas, q -hypergeometric representation, inversion coefficients, connection coefficients, linearization coefficients},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000375},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Collins-Krandick/12,
AUTHOR = {Collins, George E. and Krandick, Werner},
TITLE = {On the computing time of the continued fractions method},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {11},
PAGES = {1372-1412},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {polynomial real root isolation, computing time lower bounds, symmetric functions, subadditivity, fibonacci numbers, mignotte polynomials, loxodromic transformations},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000387},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gawlitza-Seidl-Adje-Gaubert-Goubault/12,
AUTHOR = {Gawlitza, Thomas Martin and Seidl, Helmut and Adj{\'e}, Assal{\'e} and Gaubert, St{\'e}phane and Goubault, {\'E}ric},
TITLE = {Abstract interpretation meets convex},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {12},
PAGES = {1416-1446},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {static analysis, abstract interpretation, fixpoint equations, convex optimization, strategy improvement algorithms, semi-definite relaxation},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002513},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gaubert-Katz-Sergeev/12,
AUTHOR = {Gaubert, St{\'e}phane and Katz, Ricardo D. and Sergeev, Serge{\u{\i}}},
TITLE = {Tropical linear-fractional programming and parametric mean payoff games},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {12},
PAGES = {1447-1478},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {mean payoff games, tropical algebra, linear programming, linear-fractional programming, newton iterations, lagrange multipliers, optimal strategies},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002525},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bouissou-Seladji-Chapoutot/12,
AUTHOR = {Bouissou, Olivier and Seladji, Yassamine and Chapoutot, Alexandre},
TITLE = {Acceleration of the abstract fixpoint computation in numerical program analysis},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {12},
PAGES = {1479-1511},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {abstract numerical domains, acceleration of convergence, numerical sequence transformation, widening operator with thresholds},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002537},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Schrammel-Jeannet/12,
AUTHOR = {Schrammel, Peter and Jeannet, Bertrand},
TITLE = {Applying abstract acceleration to (co-)reachability analysis of reactive programs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {12},
PAGES = {1512-1532},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {static analysis, acceleration, abstract interpretation, linear relation analysis},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002549},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Amato-Parton-Scozzari/12,
AUTHOR = {Amato, Gianluca and Parton, Maurizio and Scozzari, Francesca},
TITLE = {Discovering invariants via simple component analysis},
JOURNAL = {J. Symbolic Computation},
VOLUME = {47},
NUMBER = {12},
PAGES = {1533-1560},
YEAR = {2012},
EDITOR = {Hong, Hoon},
KEYWORDS = {static analysis, abstract interpretation, simple component analysis, intervals, interval arithmetic},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717111002550},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}