Symbolic Computation

Authors and titles for July 2009

[1] arXiv:0907.0291 [pdf, other]

Title: Generating functions of Chebyshev-like polynomials

Alin Bostan (INRIA Rocquencourt), Bruno Salvy (INRIA Rocquencourt), Khang Tran

Subjects: Symbolic Computation (cs.SC)

[2] arXiv:0907.2076 [pdf, other]

Title: The Piranha algebraic manipulator

Francesco Biscani

Comments: 24 pages, 2 figures

Subjects: Symbolic Computation (cs.SC)

[3] arXiv:0907.2300 [pdf, other]

Title: An Efficient Algorithm for Factoring Polynomials over Algebraic Extension Field

Yao Sun, Dingkang Wang

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:0907.5038 [pdf, other]

Title: An Explicit Construction of Gauss-Jordan Elimination Matrix

Yi Li

Subjects: Symbolic Computation (cs.SC); Numerical Analysis (math.NA)

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

Title: Proof Theory at Work: Complexity Analysis of Term Rewrite Systems

Georg Moser

Comments: Cumulative Habilitation Thesis, submitted to the University of Innsbruck

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Software Engineering (cs.SE)