Symbolic Computation

Authors and titles for October 2009

[1] arXiv:0910.1926 [pdf, other]

Title: Faster algorithms for the square root and reciprocal of power series

David Harvey

Comments: 6 pages, 1 figure, requires algorithm2e package

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

[2] arXiv:0910.2973 [pdf, other]

Title: Computing rational points in convex semi-algebraic sets and SOS decompositions

Mohab Safey El Din (LIP6, INRIA Rocquencourt), Lihong Zhi (KLMM)

Subjects: Symbolic Computation (cs.SC); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)

[3] arXiv:0910.4668 [pdf, other]

Title: Computing modular correspondences for abelian varieties

Jean-Charles Faugère (INRIA Rocquencourt), David Lubicz (IRMAR), Damien Robert (INRIA Lorraine - LORIA)

Subjects: Symbolic Computation (cs.SC)

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

Title: Decreasing Diagrams and Relative Termination

Nao Hirokawa, Aart Middeldorp

Comments: v3: missing references added

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