We gratefully acknowledge support from
the Simons Foundation
and member institutions

Symbolic Computation

Authors and titles for recent submissions

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

Fri, 20 Oct 2017

[1]  arXiv:1710.06915 (cross-list from cs.PL) [pdf, other]
Title: MatchPy: A Pattern Matching Library
Comments: arXiv admin note: substantial text overlap with arXiv:1710.00077
Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC)

Wed, 18 Oct 2017

[2]  arXiv:1710.06396 [pdf, ps, other]
Title: On the bit-size of non-radical triangular sets
Authors: Xavier Dahan
Comments: Extended abstract
Subjects: Symbolic Computation (cs.SC)

Mon, 16 Oct 2017

[3]  arXiv:1710.04856 (cross-list from cs.CC) [pdf, ps, other]
Title: Compact Formulae in Sparse Elimination
Authors: Ioannis Emiris (Athens, AROMATH)
Journal-ref: ISSAC 2016 - International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.1 - 8, 2016, ISSAC '16 - Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation
Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Symbolic Computation (cs.SC)

Wed, 11 Oct 2017

[4]  arXiv:1710.03448 (cross-list from math.NT) [pdf, ps, other]
Title: Improved Complexity Bounds for Counting Points on Hyperelliptic Curves
Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)

Thu, 5 Oct 2017

[5]  arXiv:1710.01301 [pdf, other]
Title: Sparse Interpolation of Black-box Multivariate Polynomials using Kronecker Type Substitutions
Comments: arXiv admin note: text overlap with arXiv:1709.08979
Subjects: Symbolic Computation (cs.SC)
[ total of 5 entries: 1-5 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)