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

Symbolic Computation

Authors and titles for cs.SC in Dec 2017

[ total of 16 entries: 1-16 ]
[ showing up to 25 entries per page: fewer | more ]
[1]  arXiv:1712.01752 [pdf, other]
Title: Symbolic-Numeric Integration of Rational Functions
Comments: 25 pages, 4 figures; added a footnote and page numbers
Subjects: Symbolic Computation (cs.SC); Numerical Analysis (math.NA)
[2]  arXiv:1712.02329 [pdf, other]
Title: Rings: an efficient Java/Scala library for polynomial rings
Comments: Computer Physics Communications (2018)
Subjects: Symbolic Computation (cs.SC); Mathematical Software (cs.MS); High Energy Physics - Phenomenology (hep-ph); Commutative Algebra (math.AC); Rings and Algebras (math.RA)
[3]  arXiv:1712.03693 [pdf, ps, other]
Title: Faster integer and polynomial multiplication using cyclotomic coefficient rings
Comments: 28 pages
Subjects: Symbolic Computation (cs.SC); Data Structures and Algorithms (cs.DS); Number Theory (math.NT)
[4]  arXiv:1712.04007 [pdf, other]
Title: Computing Lower Rank Approximations of Matrix Polynomials
Comments: 31 Pages
Subjects: Symbolic Computation (cs.SC)
[5]  arXiv:1712.04177 [pdf, other]
Title: Block-Krylov techniques in the context of sparse-FGLM algorithms
Comments: 32 pages, 7 algorithms, 2 tables
Subjects: Symbolic Computation (cs.SC)
[6]  arXiv:1712.05481 [pdf, other]
Title: Revisit Sparse Polynomial Interpolation based on Randomized Kronecker Substitution
Subjects: Symbolic Computation (cs.SC)
[7]  arXiv:1712.05487 [pdf, other]
Title: Counting Solutions of a Polynomial System Locally and Exactly
Subjects: Symbolic Computation (cs.SC); Numerical Analysis (math.NA)
[8]  arXiv:1712.07474 [pdf, ps, other]
Title: Can one design a geometry engine? On the (un)decidability of affine Euclidean geometries
Authors: J.A. Makowsky
Comments: 28 pages, revised version, May 25, 2018
Subjects: Symbolic Computation (cs.SC)
[9]  arXiv:1712.07935 [pdf, ps, other]
Title: A non-commutative algorithm for multiplying (7 $\times$ 7) matrices using 250 multiplications
Authors: Alexandre Sedoglavic (CRIStAL)
Subjects: Symbolic Computation (cs.SC)
[10]  arXiv:1712.08228 [pdf, other]
Title: Automatic Generation of Bounds for Polynomial Systems with Application to the Lorenz System
Journal-ref: Chaos, Solitons and Fractals 113, 2018, 25-30
Subjects: Symbolic Computation (cs.SC); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)
[11]  arXiv:1712.00669 (cross-list from cs.CG) [pdf, ps, other]
Title: Drinfeld Modules with Complex Multiplication, Hasse Invariants and Factoring Polynomials over Finite Fields
Comments: A mistake in Lemma 3.1 is corrected
Subjects: Computational Geometry (cs.CG); Symbolic Computation (cs.SC); Number Theory (math.NT)
[12]  arXiv:1712.01734 (cross-list from cs.LO) [pdf, ps, other]
Title: Partial Predicate Abstraction and Counter-Example Guided Refinement
Authors: Tuba Yavuz
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[13]  arXiv:1712.09163 (cross-list from cs.SY) [pdf, ps, other]
Title: Computer Algebra Methods in Control Systems
Comments: 10 pages
Subjects: Systems and Control (eess.SY); Symbolic Computation (cs.SC); Optimization and Control (math.OC)
[14]  arXiv:1712.09288 (cross-list from cs.LO) [pdf, ps, other]
Title: An Extensible Ad Hoc Interface between Lean and Mathematica
Authors: Robert Y. Lewis (Carnegie Mellon University)
Comments: In Proceedings PxTP 2017, arXiv:1712.00898
Journal-ref: EPTCS 262, 2017, pp. 23-37
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[15]  arXiv:1712.01773 (cross-list from math.RA) [pdf, ps, other]
Title: Constructive Arithmetics in Ore Localizations of Domains
Comments: 24 pages
Journal-ref: Journal of Symbolic Computation 98 (2020) 23-46
Subjects: Rings and Algebras (math.RA); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)
[16]  arXiv:1712.06239 (cross-list from quant-ph) [pdf, ps, other]
Title: Quantum Algorithms for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Symbolic Computation (cs.SC)
[ total of 16 entries: 1-16 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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