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

Symbolic Computation

Authors and titles for recent submissions

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

Thu, 5 Dec 2019

[1]  arXiv:1912.01848 [pdf, other]
Title: Computing syzygies in finite dimension using fast linear algebra
Comments: 34 pages, 7 algorithms
Subjects: Symbolic Computation (cs.SC)
[2]  arXiv:1912.01746 (cross-list from math.DG) [pdf, ps, other]
Title: On Computational Poisson Geometry I: Symbolic Foundations
Comments: 21 pages, 19 Algorithms; Our code repository is found at this https URL
Subjects: Differential Geometry (math.DG); Symbolic Computation (cs.SC); Dynamical Systems (math.DS); Symplectic Geometry (math.SG)

Wed, 4 Dec 2019

[3]  arXiv:1912.01412 [pdf, other]
Title: Deep Learning for Symbolic Mathematics
Subjects: Symbolic Computation (cs.SC); Machine Learning (cs.LG)

Tue, 3 Dec 2019

[4]  arXiv:1912.00212 [pdf, ps, other]
Title: Counting invariant subspaces and decompositions of additive polynomials
Subjects: Symbolic Computation (cs.SC)
[5]  arXiv:1912.00396 (cross-list from math.ST) [pdf, other]
Title: Algebraic Analysis of Rotation Data
Comments: 21 pages
Subjects: Statistics Theory (math.ST); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Optimization and Control (math.OC)

Mon, 2 Dec 2019

[6]  arXiv:1911.13292 [pdf, ps, other]
Title: Chain Rules for Hessian and Higher Derivatives Made Easy by Tensor Calculus
Authors: Maciej Skorski
Subjects: Symbolic Computation (cs.SC)
[7]  arXiv:1911.12672 [pdf, ps, other]
Title: Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness
Comments: 16 pages. Accepted into the Proceedings of MACIS 2019. arXiv admin note: text overlap with arXiv:1906.01455
Subjects: Symbolic Computation (cs.SC); Machine Learning (cs.LG)
[8]  arXiv:1911.12884 (cross-list from cs.LO) [pdf, other]
Title: Efficient Recognition of Graph Languages
Comments: Project Report, Department of Computer Science, University of York, 83 pages, 2019
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Symbolic Computation (cs.SC)
[9]  arXiv:1911.12520 (cross-list from cs.CC) [pdf, ps, other]
Title: Schur Polynomials do not have small formulas if the Determinant doesn't!
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Symbolic Computation (cs.SC)

Tue, 26 Nov 2019

[10]  arXiv:1911.10288 (cross-list from math.CO) [pdf, ps, other]
Title: On sequences associated to the invariant theory of rank two simple Lie algebras
Comments: 12 pages
Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC)
[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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