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, 14 Jan 2020

[1]  arXiv:2001.04109 [pdf, other]
Title: On fast multiplication of a matrix by its transpose
Authors: Jean-Guillaume Dumas (CASC), Clement Pernet (CASC), Alexandre Sedoglavic (CRIStAL)
Subjects: Symbolic Computation (cs.SC)

Thu, 9 Jan 2020

[2]  arXiv:2001.02388 [pdf, ps, other]
Title: A Condition for Multiplicity Structure of Univariate Polynomials
Authors: Hoon Hong, Jing Yang
Subjects: Symbolic Computation (cs.SC)

Fri, 3 Jan 2020

[3]  arXiv:2001.00393 (cross-list from math.CO) [pdf, other]
Title: Stieltjes moment sequences for pattern-avoiding permutations
Comments: 44 pages, 8 figures
Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC)
[4]  arXiv:2001.00016 (cross-list from math.RT) [pdf]
Title: Proof of the tree module property for exceptional representations of the quiver $\widetilde{\mathbb{E}}_6$
Comments: 3091 pages, (partially) computer generated proof
Subjects: Representation Theory (math.RT); Symbolic Computation (cs.SC)

Wed, 1 Jan 2020

[5]  arXiv:1912.12893 (cross-list from cs.LO) [pdf, ps, other]
Title: Intuitionistic Linear Temporal Logics
Comments: arXiv admin note: text overlap with arXiv:1704.02847, arXiv:1803.05078
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)
[6]  arXiv:1912.12820 (cross-list from math.OC) [pdf, other]
Title: Linear Programming using Limited-Precision Oracles
Journal-ref: Mathematical Programming, 2019
Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Numerical Analysis (math.NA)

Mon, 30 Dec 2019

[7]  arXiv:1912.12181 [pdf]
Title: Differentiable Set Operations for Algebraic Expressions
Comments: 11 pages, 12 figures
Subjects: Symbolic Computation (cs.SC)
[8]  arXiv:1912.12126 [pdf]
Title: Towards identification of explicit solutions to overdetermined systems of differential equations
Subjects: Symbolic Computation (cs.SC)
[9]  arXiv:1912.11617 (cross-list from cs.CR) [pdf, ps, other]
Title: Efficient Algorithm for the Linear Complexity of Sequences and Some Related Consequences
Subjects: Cryptography and Security (cs.CR); 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, 2001, contact, help  (Access key information)