@article{Borwein-Straub/13,
AUTHOR = {Borwein, Jonathan M. and Straub, Armin},
TITLE = {Mahler measures, short walks and log-sine integrals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {4-21},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009462},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Nuel-Dumas/13,
AUTHOR = {Nuel, Gregory and Dumas, Jean-Guillaume},
TITLE = {Sparse approaches for the exact distribution of patterns in long state sequences generated by a markov source},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {22-42},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {markov chain embedding, rational reconstruction, transcription factors, prosite signatures},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009401},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Iwane-Yanami-Anai-Yokoyama/13,
AUTHOR = {Iwane, Hidenao and Yanami, Hitoshi and Anai, Hirokazu and Yokoyama, Kazuhiro},
TITLE = {An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {43-69},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {quantifier elimination, cylindrical algebraic decomposition, symbolic-numeric computation},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009413},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Corless/13,
AUTHOR = {Corless, Robert M.},
TITLE = {Pseudospectra of exponential matrix polynomials},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {70-80},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009425},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Emiris-Kalinka-Konaxis-Ba/13,
AUTHOR = {Emiris, Ioannis Z. and Kalinka, Tatjana and Konaxis, Christos and Ba, Thang Luu},
TITLE = {Implicitization of curves and (hyper)surfaces using predicted support},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {81-98},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009395},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hodorog-Schicho/13,
AUTHOR = {Hodorog, M{\v{a}}d{\v{a}}lina and Schicho, Josef},
TITLE = {A regularization approach for estimating the type of a plane curve singularity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {99-119},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {plane curve singularity, local topological type, ill-posed problem, regularization, symbolic-numeric algorithm, link of a singularity, alexander polynomial, delta-invariant, genus},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009474},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Tsigaridas/13,
AUTHOR = {Tsigaridas, Elias P.},
TITLE = {Improved bounds for the cf algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {120-126},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009437},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Terui/13a,
AUTHOR = {Terui, Akira},
TITLE = {Gpgcd: An iterative method for calculating approximate gcd of univariate polynomials},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {127-149},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {approximate polynomial gcd, gradient-projection method, ill-conditioned problem, optimization},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009449},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Li-Zhi/13,
AUTHOR = {Li, Zijia and Zhi, Lihong},
TITLE = {Computing the nearest singular univariate polynomials with given root multiplicities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {150-162},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {multiplicity structure, nearest singular polynomial, multiple roots},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009486},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Li-Zhi/13a,
AUTHOR = {Li, Nan and Zhi, Lihong},
TITLE = {Verified error bounds for isolated singular solutions of polynomial systems: Case of breadth one},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {163-173},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {polynomial systems, isolated singular solutions, multiplicity structure, verification, error bounds},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009498},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fassino-Torrente/13,
AUTHOR = {Fassino, Claudia and Torrente, Maria-Laura},
TITLE = {Simple varieties for limited precision points},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {479},
PAGES = {174-186},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {empirical points, affine variety, symbolic-numerical algorithms},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512009450},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}