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

Symbolic Computation

Authors and titles for recent submissions

[ total of 9 entries: 1-9 ]
[ showing up to 25 entries per page: fewer | more ]

Tue, 18 Feb 2020

[1]  arXiv:2002.06404 [pdf, other]
Title: A divide-and-conquer algorithm for computing Gröbner bases of syzygies in finite dimension
Subjects: Symbolic Computation (cs.SC)

Fri, 14 Feb 2020

[2]  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)

Thu, 13 Feb 2020

[3]  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)

Wed, 12 Feb 2020

[4]  arXiv:2002.04491 [pdf, other]
Title: Signature-based algorithms for Gr{ö}bner bases over Tate algebras
Authors: Xavier Caruso (LAGA), Tristan Vaccon (XLIM-MATHIS), Thibaut Verron
Subjects: Symbolic Computation (cs.SC)

Tue, 11 Feb 2020

[5]  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)
[6]  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)
[7]  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)
[8]  arXiv:2002.03586 [pdf, other]
Title: First-Order Tests for Toricity
Subjects: Symbolic Computation (cs.SC); Molecular Networks (q-bio.MN)
[9]  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 9 entries: 1-9 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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