We gratefully acknowledge support from
the Simons Foundation
and member institutions

Symbolic Computation

Authors and titles for recent submissions

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

Fri, 16 Feb 2018

[1]  arXiv:1802.05544 (cross-list from math.NT) [pdf, ps, other]
Title: Integration in terms of exponential integrals and incomplete gamma functions I
Authors: Waldemar Hebisch
Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC)

Tue, 13 Feb 2018

[2]  arXiv:1802.04174 [pdf, other]
Title: Unbounded Software Model Checking with Incremental SAT-Solving
Subjects: Symbolic Computation (cs.SC); Programming Languages (cs.PL)
[3]  arXiv:1802.03932 [pdf, other]
Title: Frobenius Additive Fast Fourier Transform
Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)
[4]  arXiv:1802.03856 [pdf, ps, other]
Title: Quantum Algorithms for Optimization and Polynomial Systems Solving over Finite Fields
Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Quantum Physics (quant-ph)
[5]  arXiv:1802.03993 (cross-list from cs.LO) [pdf, ps, other]
Title: Symmetries of Quantified Boolean Formulas
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

Fri, 9 Feb 2018

[6]  arXiv:1802.02834 [pdf, ps, other]
Title: Exact algorithms for semidefinite programs with degenerate feasible set
Comments: 17 pages, 1 figure
Subjects: Symbolic Computation (cs.SC)

Thu, 8 Feb 2018

[7]  arXiv:1802.02329 [pdf, ps, other]
Title: Additive Decompositions in Primitive Extensions
Subjects: Symbolic Computation (cs.SC)
[8]  arXiv:1802.02270 [pdf, ps, other]
Title: Error correction in fast matrix multiplication and inverse
Authors: Daniel S. Roche
Subjects: Symbolic Computation (cs.SC); Data Structures and Algorithms (cs.DS)

Wed, 7 Feb 2018

[9]  arXiv:1802.01928 [pdf, other]
Title: Computing Popov and Hermite forms of rectangular polynomial matrices
Comments: 8 pages, 4 algorithms, acmart sigconf style
Subjects: Symbolic Computation (cs.SC)
[10]  arXiv:1802.01920 [pdf, other]
Title: Certification of minimal approximant bases
Comments: 9 pages, 3 algorithms, acmart sigconf style
Subjects: Symbolic Computation (cs.SC)
[11]  arXiv:1802.01752 [pdf, other]
Title: On the chordality of polynomial sets in triangular decomposition in top-down style
Authors: Chenqi Mou, Yang Bai
Comments: 20 pages
Subjects: Symbolic Computation (cs.SC)
[ total of 11 entries: 1-11 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)