We gratefully acknowledge support from
the Simons Foundation and member institutions.

Symbolic Computation

Authors and titles for cs.SC in Feb 2020

[ total of 21 entries: 1-21 ]
[ showing up to 25 entries per page: fewer | more ]
[1]  arXiv:2002.00124 [pdf, ps, other]
Title: Efficient q-Integer Linear Decomposition of Multivariate Polynomials
Subjects: Symbolic Computation (cs.SC); Rings and Algebras (math.RA)
[2]  arXiv:2002.01541 [pdf, ps, other]
Title: Separating Variables in Bivariate Polynomial Ideals
Subjects: Symbolic Computation (cs.SC); Commutative Algebra (math.AC)
[3]  arXiv:2002.02355 [pdf, ps, other]
Title: An Additive Decomposition in S-Primitive Towers
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
Comments: 20 pages
Subjects: Symbolic Computation (cs.SC); Number Theory (math.NT)
[5]  arXiv:2002.03586 [pdf, other]
Title: First-Order Tests for Toricity
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
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
Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Numerical Analysis (math.NA)
[11]  arXiv:2002.06404 [pdf, other]
Title: A divide-and-conquer algorithm for computing Gröbner bases of syzygies in finite dimension
Comments: ISSAC 2020. 8 pages, 4 algorithms
Subjects: Symbolic Computation (cs.SC)
[12]  arXiv:2002.08748 [pdf, ps, other]
Title: On the Uniqueness of Simultaneous Rational Function Reconstruction
Subjects: Symbolic Computation (cs.SC)
[13]  arXiv:2002.10304 [pdf, other]
Title: Fast In-place Algorithms for Polynomial Operations: Division, Evaluation, Interpolation
Journal-ref: Proc. ISSAC'20, pp 210-217, ACM, 2020
Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)
[14]  arXiv:2002.12693 [pdf, other]
Title: A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks
Journal-ref: Proc. CASC 2020, LNCS 12291, pp.492-509, Springer 2020
Subjects: Symbolic Computation (cs.SC); Molecular Networks (q-bio.MN)
[15]  arXiv:2002.00818 (cross-list from cs.LG) [pdf, other]
Title: Linearly Constrained Gaussian Processes with Boundary Conditions
Subjects: Machine Learning (cs.LG); Symbolic Computation (cs.SC); Commutative Algebra (math.AC); Machine Learning (stat.ML)
[16]  arXiv:2002.01673 (cross-list from cs.NE) [pdf, other]
Title: Convergence analysis of particle swarm optimization using stochastic Lyapunov functions and quantifier elimination
Subjects: Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC); Dynamical Systems (math.DS)
[17]  arXiv:2002.05406 (cross-list from cs.AI) [pdf, other]
Title: ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)
[18]  arXiv:2002.09504 (cross-list from math.NA) [pdf, other]
Title: Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers
Comments: Accepted for publication in the proceedings of CASC 2020 (Computer Algebra in Scientific Computing)
Subjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC); Symbolic Computation (cs.SC)
[19]  arXiv:2002.11391 (cross-list from cs.DS) [pdf, other]
Title: Space Efficient Representations of Finite Groups
Subjects: Data Structures and Algorithms (cs.DS); Symbolic Computation (cs.SC)
[20]  arXiv:2002.12690 (cross-list from cs.DM) [pdf, other]
Title: Criteria for the numerical constant recognition
Comments: 20 pages + Supplemental Material
Subjects: Discrete Mathematics (cs.DM); Symbolic Computation (cs.SC); Other Statistics (stat.OT)
[21]  arXiv:2002.03041 (cross-list from math.AG) [pdf, other]
Title: The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry
Comments: 20 pages, 2 figures. Submitted to ISSAC 2020
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)
[ total of 21 entries: 1-21 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2201, contact, help  (Access key information)