Symbolic Computation

Authors and titles for February 2022

[26] arXiv:2202.06428 (cross-list from cs.CC) [pdf, other]

Title: Beyond Worst-Case Analysis for Root Isolation Algorithms

Alperen A. Ergür, Josué Tonelli-Cueto, Elias Tsigaridas

Comments: 9 pages, 2 figures. 2nd version: New title, corrections. 3rd version: Correction of typo in name

Journal-ref: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation (ISSAC 22). Association for Computing Machinery, New York, NY, USA, 139-148 (2022)

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Probability (math.PR)

[27] arXiv:2202.07416 (cross-list from cs.LO) [pdf, other]

Title: The Membership Problem for Hypergeometric Sequences with Rational Parameters

Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell

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

[28] arXiv:2202.07480 (cross-list from cs.FL) [pdf, other]

Title: Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness

Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

Journal-ref: TheoretiCS, Volume 2 (February 24, 2023) theoretics:9088

Subjects: Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC); Systems and Control (eess.SY)

[29] arXiv:2202.07961 (cross-list from cs.CC) [pdf, html, other]

Title: Identity Testing for Radical Expressions

Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell

Comments: 32 pages

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

[30] arXiv:2202.11582 (cross-list from cs.CC) [pdf, html, other]

Title: On the complexity of Chow and Hurwitz forms

Mahmut Levent Doğan, Alperen Ali Ergür, Elias Tsigaridas

Journal-ref: ACM Communications in Computer Algebra (2023) Vol. 57, No. 4

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

[31] arXiv:2202.11908 (cross-list from cs.AI) [pdf, other]

Title: Learning Program Synthesis for Integer Sequences from Scratch

Thibault Gauthier, Josef Urban

Subjects: Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)