Symbolic Computation

Authors and titles for cs.SC in Feb 2020

[1]  arXiv:2002.00124 [pdf, ps, other]

Title: Efficient q-Integer Linear Decomposition of Multivariate Polynomials

Authors: Mark Giesbrecht, Hui Huang, George Labahn, Eugene Zima

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

[2]  arXiv:2002.01541 [pdf, ps, other]

Title: Separating Variables in Bivariate Polynomial Ideals

Authors: Manfred Buchacher, Manuel Kauers, Gleb Pogudin

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

[3]  arXiv:2002.02355 [pdf, ps, other]

Title: An Additive Decomposition in S-Primitive Towers

Authors: Hao Du, Jing Guo, Ziming Li, Elaine Wong

Comments: This article has been submitted to ISSAC2020 for review. Supplementary material at this https URL

Journal-ref: ISSAC 2020: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, July 2020, Pages 146-153

Subjects: Symbolic Computation (cs.SC)

[4]  arXiv:2002.02783 [pdf, ps, other]

Title: Integral P-Recursive Sequences

Authors: Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron

Comments: 20 pages

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

[5]  arXiv:2002.03586 [pdf, other]

Title: First-Order Tests for Toricity

Authors: Hamid Rahkooy, Thomas Sturm

Journal-ref: Proc. CASC 2020, LNCS 12291, pp.510-527, Springer 2020

Subjects: Symbolic Computation (cs.SC); Molecular Networks (q-bio.MN)

[6]  arXiv:2002.03626 [pdf, ps, other]

Title: Compatible rewriting of noncommutative polynomials for proving operator identities

Authors: Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger

Comments: 17 pages

Subjects: Symbolic Computation (cs.SC); Representation Theory (math.RT)

[7]  arXiv:2002.03706 [pdf, other]

Title: Sparse Polynomial Interpolation Based on Diversification

Authors: Qiao-Long Huang

Comments: 17 pages, 3 figures, 2 tables

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

[8]  arXiv:2002.03708 [pdf, ps, other]

Title: Sparse Polynomial Interpolation Based on Derivative

Authors: Qiao-Long Huang

Comments: 15 pages

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

[9]  arXiv:2002.04491 [pdf, ps, other]

Title: Signature-based algorithms for Gr{ö}bner bases over Tate algebras

Authors: Xavier Caruso (LFANT), Tristan Vaccon (XLIM-MATHIS), Thibaut Verron (JKU)

Comments: ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece

Subjects: Symbolic Computation (cs.SC)

[10]  arXiv:2002.04707 [pdf, other]

Title: Smooth Points on Semi-algebraic Sets

Authors: Katherine Harris, Jonathan D. Hauenstein, Agnes Szanto

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