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

Symbolic Computation

Authors and titles for recent submissions

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

Fri, 13 Dec 2019

[1]  arXiv:1912.05843 [pdf, other]
Title: Evaluation of Chebyshev polynomials on intervals and application to root finding
Authors: Viviane Ledoux (GAMBLE, ENS Paris), Guillaume Moroz (GAMBLE)
Journal-ref: Mathematical Aspects of Computer and Information Sciences 2019, Nov 2019, Gebze, Turkey
Subjects: Symbolic Computation (cs.SC)
[2]  arXiv:1912.05719 [pdf, ps, other]
Title: Sparse Interpolation With Errors in Chebyshev Basis Beyond Redundant-Block Decoding
Subjects: Symbolic Computation (cs.SC)

Thu, 12 Dec 2019

[3]  arXiv:1912.05319 (cross-list from math.NT) [pdf, ps, other]
Title: A Fast Self-correcting $π$ Algorithm
Authors: Tsz-Wo Sze
Comments: 9 pages
Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC)

Wed, 11 Dec 2019

[4]  arXiv:1912.04390 [pdf, ps, other]
Title: A refined machinery to calculate large moments from coupled systems of linear differential equations
Subjects: Symbolic Computation (cs.SC); High Energy Physics - Phenomenology (hep-ph); Computational Physics (physics.comp-ph)

Tue, 10 Dec 2019

[5]  arXiv:1912.03434 [pdf, ps, other]
Title: Modular Termination Checking Theorems for Second-Order Computation
Authors: Makoto Hamana
Comments: 34 pages
Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
[6]  arXiv:1912.04051 (cross-list from cs.SE) [pdf]
Title: Building Executable Secure Design Models for Smart Contracts with Formal Methods
Comments: 6 pages
Journal-ref: The 3rd Workshop on Trusted Smart Contracts In Association with Financial Cryptography 2019, St. Kitts, Feb. 2019
Subjects: Software Engineering (cs.SE); Symbolic Computation (cs.SC)

Mon, 9 Dec 2019

[7]  arXiv:1912.02820 (cross-list from cs.DS) [pdf, other]
Title: Complexity of a Root Clustering Algorithm
Comments: 52 pages, 1 figure
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Symbolic Computation (cs.SC)
[ total of 7 entries: 1-7 ]
[ showing up to 10 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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