Symbolic Computation

Authors and titles for August 2008

[1] arXiv:0808.0753 [pdf, other]

Title: Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes

Paul Tarau

Comments: unpublished draft

Subjects: Symbolic Computation (cs.SC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[2] arXiv:0808.2543 [pdf, other]

Title: A Refined Difference Field Theory for Symbolic Summation

Carsten Schneider

Comments: Uses this http URL and this http URL

Journal-ref: J. Symbolic Comput. 43(9), pp. 611-644. 2008

Subjects: Symbolic Computation (cs.SC); Mathematical Physics (math-ph); Combinatorics (math.CO)

[3] arXiv:0808.2596 [pdf, other]

Title: Parameterized Telescoping Proves Algebraic Independence of Sums

Carsten Schneider

Comments: To appear in Annals of Combinatorics

Subjects: Symbolic Computation (cs.SC); Combinatorics (math.CO); Number Theory (math.NT)

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

Title: Executable Set Theory and Arithmetic Encodings in Prolog

Paul Tarau

Comments: Unpublished draft

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)

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

Title: Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog

Paul Tarau

Comments: also in the informal proceedings of CICLOPS 2008 workshop at: this http URL

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

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

Title: A Novel Symbolic Type Neural Network Model- Application to River Flow Forecasting

George S. Eskander, Amir F. Atiya

Comments: Published in ICENCO2007, Cairo, December 2007

Subjects: Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)

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

Title: Tschirnhaus-Weierstrass curves

Josef Schicho, David Sevilla

Comments: v2: 10 pages, major revision due to errors in the main result. v1: 14 pages, submitted to Mathematics of Computation

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