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

Symbolic Computation

Authors and titles for recent submissions

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

Wed, 15 Jul 2020

[1]  arXiv:2007.06981 (cross-list from math.NT) [pdf, ps, other]
Title: Algorithmic applications of the corestriction of central simple algebras
Comments: 22 pages
Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC); Rings and Algebras (math.RA)

Tue, 14 Jul 2020

[2]  arXiv:2007.06477 (cross-list from cs.AI) [pdf, other]
Title: Learning Reasoning Strategies in End-to-End Differentiable Proving
Comments: Proceedings of the 37th International Conference on Machine Learning (ICML 2020)
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)

Mon, 13 Jul 2020

[3]  arXiv:2007.05094 (cross-list from cs.MS) [pdf, other]
Title: ACORNS: An Easy-To-Use Code Generator for Gradients and Hessians
Subjects: Mathematical Software (cs.MS); Symbolic Computation (cs.SC)

Tue, 7 Jul 2020

[4]  arXiv:2007.02926 [pdf, ps, other]
Title: A Family of Denominator Bounds for First Order Linear Recurrence Systems
Comments: 13 pages
Subjects: Symbolic Computation (cs.SC)

Thu, 2 Jul 2020

[5]  arXiv:2007.00445 [pdf, ps, other]
Title: Error Correcting Codes, finding polynomials of bounded degree agreeing on a dense fraction of a set of points
Subjects: Symbolic Computation (cs.SC); Data Structures and Algorithms (cs.DS)
[6]  arXiv:2007.00451 (cross-list from q-bio.PE) [pdf]
Title: Improvement on Extrapolation of Species Abundance Distribution Across Scales from Moments Across Scales
Subjects: Populations and Evolution (q-bio.PE); Symbolic Computation (cs.SC)
[7]  arXiv:2007.00204 (cross-list from stat.ML) [pdf, other]
Title: Learning an arbitrary mixture of two multinomial logits
Authors: Wenpin Tang
Comments: 12 pages
Subjects: Machine Learning (stat.ML); Computational Complexity (cs.CC); Machine Learning (cs.LG); Symbolic Computation (cs.SC)
[ total of 7 entries: 1-7 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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