Symbolic Computation

Authors and titles for September 2016

[1] arXiv:1609.01010 [pdf, other]

Title: Automatic Library Generation for Modular Polynomial Multiplication

Lingchuan Meng

Comments: 15 pages, 3 figures, based on the thesis work of Lingchuan Meng

Subjects: Symbolic Computation (cs.SC)

[2] arXiv:1609.03768 [pdf, other]

Title: Some Open Problems related to Creative Telescoping

Shaoshi Chen, Manuel Kauers

Subjects: Symbolic Computation (cs.SC)

[3] arXiv:1609.04259 [pdf, other]

Title: A Fast Algorithm for Computing the Truncated Resultant

Guillaume Moroz (VEGAS), Éric Schost

Journal-ref: ISSAC '16, Jul 2016, Waterloo, Canada. ACM, Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, pp.341-348, 2016

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:1609.09269 [pdf, other]

Title: Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

Matthew England, James H. Davenport

Comments: Presented at the 1st International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2016)

Journal-ref: Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (SC2 '16), E. Abraham, J.H. Davenport and P. Fontaine eds. CEUR Workshop Proceedings 1804, 2016. http://ceur-ws.org/Vol-1804/

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

[5] arXiv:1609.01277 (cross-list from cs.MS) [pdf, other]

Title: OpenSBLI: A framework for the automated derivation and parallel execution of finite difference solvers on a range of computer architectures

Christian T. Jacobs, Satya P. Jammy, Neil D. Sandham

Comments: Author accepted version, with a small amendment: the link in the "Code Availability" section has been updated, and now refers to the OpenSBLI source code repository on GitHub. Accepted for publication in the Journal of Computational Science on 8 November 2016

Journal-ref: Journal of Computational Science 18 (2017) 12-23

Subjects: Mathematical Software (cs.MS); Symbolic Computation (cs.SC); Software Engineering (cs.SE); Computational Physics (physics.comp-ph)

[6] arXiv:1609.01926 (cross-list from cs.NE) [pdf, other]

Title: A modular architecture for transparent computation in Recurrent Neural Networks

Giovanni Sirio Carmantini, Peter beim Graben, Mathieu Desroches, Serafim Rodrigues

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC)

[7] arXiv:1609.03014 (cross-list from cs.LO) [pdf, other]

Title: Proceedings 9th International Workshop on Computing with Terms and Graphs

Andrea Corradini (Pisa), Hans Zantema (Eindhoven)

Journal-ref: EPTCS 225, 2016

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[8] arXiv:1609.08712 (cross-list from math.CO) [pdf, other]

Title: Some results on counting roots of polynomials and the Sylvester resultant

Michael Monagan, Baris Tuncer

Comments: Presented at FPSAC 2016, Vancouver, Canada, 2016

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Symbolic Computation (cs.SC)

[9] arXiv:1609.09760 (cross-list from math.AG) [pdf, other]

Title: Algebraic and algorithmic aspects of radical parametrizations

J. Rafael Sendra, David Sevilla, Carlos Villarino

Comments: 26 pages; revised version accepted for publication in Computer Aided Geometric Design

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)