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 ]

Fri, 23 Oct 2020

[1]  arXiv:2010.11328 (cross-list from cs.NE) [pdf, other]
Title: Logic Guided Genetic Algorithms
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

Wed, 21 Oct 2020

[2]  arXiv:2010.10503 (cross-list from cs.PL) [pdf, ps, other]
Title: Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations
Comments: An earlier version of this paper appeared at WRLA 2020
Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC)
[3]  arXiv:2010.10129 (cross-list from q-bio.MN) [pdf, other]
Title: Algorithmic Reduction of Biological Networks With Multiple Time Scales
Subjects: Molecular Networks (q-bio.MN); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Dynamical Systems (math.DS)

Tue, 20 Oct 2020

[4]  arXiv:2010.08889 [pdf, other]
Title: Creative Telescoping on Multiple Sums
Comments: 16 pages; Supplementary material at this https URL
Subjects: Symbolic Computation (cs.SC)
[5]  arXiv:2010.09165 (cross-list from math.AG) [pdf, other]
Title: Optimal Descartes' Rule of Signs for Circuits
Comments: 20 pages, 5 figures
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)

Mon, 19 Oct 2020

[6]  arXiv:2010.08393 (cross-list from math.AG) [pdf, ps, other]
Title: Projective isomorphisms between rational surfaces
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)

Thu, 15 Oct 2020

[7]  arXiv:2010.07088 [pdf, ps, other]
Title: New Remarks on the Factorization and Equivalence Problems for a Class of Multivariate Polynomial Matrices
Subjects: Symbolic Computation (cs.SC)
[8]  arXiv:2010.07007 [pdf, ps, other]
Title: On Factor Left Prime Factorization Problems for Multivariate Polynomial Matrices
Subjects: Symbolic Computation (cs.SC)
[9]  arXiv:2010.06998 [pdf, ps, other]
Title: On Minor Left Prime Factorization Problem for Multivariate Polynomial Matrices
Subjects: 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, 2010, contact, help  (Access key information)