Symbolic Computation

Authors and titles for January 2015

[1] arXiv:1501.00334 [pdf, other]

Title: Data-Discriminants of Likelihood Equations

Jose Israel Rodriguez, Xiaoxian Tang

Comments: 2 tables

Subjects: Symbolic Computation (cs.SC)

[2] arXiv:1501.03691 [pdf, other]

Title: Integral D-Finite Functions

Manuel Kauers, Christoph Koutschan

Journal-ref: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2015), pages 251-258, 2015. ACM, New York, USA, ISBN 978-1-4503-3435-8

Subjects: Symbolic Computation (cs.SC); Rings and Algebras (math.RA)

[3] arXiv:1501.04466 [pdf, other]

Title: Improving the use of equational constraints in cylindrical algebraic decomposition

Matthew England, Russell Bradford, James H. Davenport

Journal-ref: Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation (ISSAC '15), pp. 165--172. ACM, 2015

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:1501.04668 [pdf, other]

Title: A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms

Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li

Comments: 8 pages, ISSAC 2015 submission

Subjects: Symbolic Computation (cs.SC); Rings and Algebras (math.RA)

[5] arXiv:1501.04836 [pdf, other]

Title: Subtropical Real Root Finding

Thomas Sturm

Journal-ref: Proc. ISSAC 2015, pp.347-354, ACM 2015

Subjects: Symbolic Computation (cs.SC)

[6] arXiv:1501.05098 [pdf, other]

Title: Better Answers to Real Questions

Marek Kosta, Thomas Sturm, Andreas Dolzmann

Journal-ref: J. Symb. Comput., 74:255-275, 2016

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

[7] arXiv:1501.05239 [pdf, other]

Title: Computing the Rank Profile Matrix

Jean-Guillaume Dumas (LJK), Clément Pernet (MOAIS, ARIC), Ziad Sultan (MOAIS, LJK)

Journal-ref: ACM International Symposium on Symbolic and Algebraic Computations, pp.146--153, 2015, ISSAC 2015

Subjects: Symbolic Computation (cs.SC)

[8] arXiv:1501.05296 [pdf, other]

Title: Output-sensitive algorithms for sumset and sparse polynomial multiplication

Andrew Arnold, Daniel S. Roche

Comments: Submitted to ISSAC 2015

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[9] arXiv:1501.05385 [pdf, other]

Title: Numerically Safe Gaussian Elimination with No Pivoting

Victor Pan, Liang Zhao

Comments: 27 pages, 7 figures, the paper is in both areas of computer science (randomized algorithms) and numerical matrix computations

Subjects: Symbolic Computation (cs.SC)

[10] arXiv:1501.05390 [pdf, other]

Title: Real Polynomial Root-finding by Means of Matrix and Polynomial Iterations

Victor Y. Pan, Liang Zhao

Comments: 24 pages 12 tables. arXiv admin note: substantial text overlap with arXiv:1404.6817

Subjects: Symbolic Computation (cs.SC)

[11] arXiv:1501.05392 [pdf, other]

Title: Accelerated Approximation of the Complex Roots and Factors of a Univariate Polynomial

Victor Y. Pan, Elias P. Tsigaridas, Vitaly Zaderman, Liang Zhao

Comments: 16 pages

Subjects: Symbolic Computation (cs.SC)

[12] arXiv:1501.05826 [pdf, other]

Title: A Generalized Framework for Virtual Substitution

Marek Kosta, Thomas Sturm

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

[13] arXiv:1501.00160 (cross-list from cs.NA) [pdf, other]

Title: Accurate solution of near-colliding Prony systems via decimation and homotopy continuation

Dmitry Batenkov

Subjects: Numerical Analysis (math.NA); Symbolic Computation (cs.SC)

[14] arXiv:1501.02237 (cross-list from math.AG) [pdf, other]

Title: Parallel degree computation for solution space of binomial systems with an application to the master space of $\mathcal{N}=1$ gauge theories

Tianran Chen, Dhagash Mehta

Comments: 27 pages, 5 figures. Improved data with further computation

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

[15] arXiv:1501.02755 (cross-list from math.AG) [pdf, other]

Title: Computation of Differential Chow Forms for Prime Differential Ideals

Wei Li, Yinghong Li

Comments: 24 pages

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)

[16] arXiv:1501.04543 (cross-list from math.AC) [pdf, other]

Title: A test for monomial containment

Simon Keicher, Thomas Kremer

Comments: 15 pages

Subjects: Commutative Algebra (math.AC); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)

[17] arXiv:1501.07773 (cross-list from math.CO) [pdf, other]

Title: Polyhedral Omega: A New Algorithm for Solving Linear Diophantine Systems

Felix Breuer, Zafeirakis Zafeirakopoulos

Comments: 49 pages, 17 figures

Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC); Number Theory (math.NT)

[18] arXiv:1501.07774 (cross-list from cs.NA) [pdf, other]

Title: Near Optimal Subdivision Algorithms for Real Root Isolation

Vikram Sharma, Prashant Batra

Comments: 19 pages, 3 figures

Subjects: Numerical Analysis (math.NA); Symbolic Computation (cs.SC)