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

Symbolic Computation

Authors and titles for recent submissions

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

Fri, 15 Nov 2019

[1]  arXiv:1911.05837 [pdf, ps, other]
Title: A Root-Free Splitting-Lemma for Systems of Linear Differential Equations
Authors: Eckhard Pflügel
Subjects: Symbolic Computation (cs.SC)

Wed, 13 Nov 2019

[2]  arXiv:1911.04837 [pdf, ps, other]
Title: Minimal representations and algebraic relations for single nested products
Subjects: Symbolic Computation (cs.SC)

Tue, 12 Nov 2019

[3]  arXiv:1911.04032 (cross-list from cs.DM) [pdf, other]
Title: A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Combinatorics (math.CO)

Thu, 7 Nov 2019

[4]  arXiv:1911.02313 [pdf, other]
Title: Entropy supplementary conservation law for non-linear systems of PDEs with non-conservative terms: application to the modelling and analysis of complex fluid flows using computer algebra
Authors: Pierre Cordesse (CMAP), Marc Massot (CMAP)
Subjects: Symbolic Computation (cs.SC)
[5]  arXiv:1911.02235 [pdf, other]
Title: Fast Derivatives for Multilinear Polynomials
Authors: Valeri Aronov
Comments: 7 pages, 3 figures
Subjects: Symbolic Computation (cs.SC)

Tue, 5 Nov 2019

[6]  arXiv:1911.00608 (cross-list from cs.FL) [pdf, other]
Title: Multi-Agent Safety Verification using Symmetry Transformations
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Systems and Control (eess.SY)
[ total of 6 entries: 1-6 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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