Symbolic Computation

Authors and titles for May 2010

[1] arXiv:1005.0600 [pdf, other]

Title: When can we decide that a P-finite sequence is positive?

Manuel Kauers, Veronika Pillwein

Subjects: Symbolic Computation (cs.SC)

[2] arXiv:1005.0602 [pdf, other]

Title: Partial Denominator Bounds for Partial Linear Difference Equations

Manuel Kauers, Carsten Schneider

Subjects: Symbolic Computation (cs.SC)

[3] arXiv:1005.0749 [pdf, other]

Title: Integrating multiple sources to answer questions in Algebraic Topology

Jonathan Heras, Vico Pascual, Ana Romero, Julio Rubio

Comments: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

Journal-ref: Lectures Notes in Artificial Intelligence, 6167: 331-335, 2010

Subjects: Symbolic Computation (cs.SC); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[4] arXiv:1005.0830 [pdf, other]

Title: Generic design of Chinese remaindering schemes

Jean-Guillaume Dumas (LJK), Thierry Gautier (INRIA Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble), Jean-Louis Roch (INRIA Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)

Comments: International Symposium on Parallel Symbolic Computation, Grenoble : France (2010)

Subjects: Symbolic Computation (cs.SC); Distributed, Parallel, and Cluster Computing (cs.DC)

[5] arXiv:1005.0990 [pdf, other]

Title: Polynomial integration on regions defined by a triangle and a conic

David Sevilla, Daniel Wachsmuth

Comments: 8 pages, accepted by ISSAC 2010

Subjects: Symbolic Computation (cs.SC); Optimization and Control (math.OC)

[6] arXiv:1005.2001 [pdf, other]

Title: Random polynomials and expected complexity of bisection methods for real solving

Ioannis Z. Emiris (DI), André Galligo (JAD), Elias Tsigaridas (DI)

Journal-ref: International Symposium on Symbolic and Algebraic Computation (ISSAC), Munich : Germany (2010)

Subjects: Symbolic Computation (cs.SC)

[7] arXiv:1005.5273 [pdf, other]

Title: Holonomic Gradient Descent and its Application to Fisher-Bingham Integral

Tomonari Sei, Nobuki Takayama, Akimichi Takemura, Hiromasa Nakayama, Kenta Nishiyama, Masayuki Noro, Katsuyoshi Ohara

Comments: 23 pages, 1 figure

Journal-ref: Advances in Applied Mathematics 47 (2011) 639-658

Subjects: Symbolic Computation (cs.SC); Optimization and Control (math.OC); Statistics Theory (math.ST)

[8] arXiv:1005.5610 [pdf, other]

Title: The DMM bound: multivariate (aggregate) separation bounds

Ioannis Z. Emiris (DI), Bernard Mourrain (INRIA Sophia Antipolis), Elias Tsigaridas

Journal-ref: International Symposium on Symbolic and Algebraic Computation (ISSAC), Munich : Germany (2010)

Subjects: Symbolic Computation (cs.SC)

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

Title: Composition collisions and projective polynomials

Joachim von zur Gathen, Mark Giesbrecht, Konstantin Ziegler

Subjects: Commutative Algebra (math.AC); Symbolic Computation (cs.SC)

[10] arXiv:1005.1475 (cross-list from cs.AI) [pdf, other]

Title: How to correctly prune tropical trees

Jean-Vincent Loddo, Luca Saiu

Comments: To appear in "Artificial Intelligence and Symbolic Computation, 2010".

Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Computer Science and Game Theory (cs.GT); Symbolic Computation (cs.SC)

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

Title: Constructive $D$-module Theory with \textsc{Singular}

Daniel Andres, Michael Brickenstein, Viktor Levandovskyy, Jorge Martín-Morales, Hans Schönemann

Comments: 32 pages

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

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

Title: Nominal Unification from a Higher-Order Perspective

Jordi Levy, Mateu Villaret

Journal-ref: ACM Transactions on Computational Logics, Vol. 13, Num. 2, pp. 10, year 2012

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

[13] arXiv:1005.5507 (cross-list from cs.GT) [pdf, other]

Title: An Algebraic Approach for Computing Equilibria of a Subclass of Finite Normal Form Games

Samaresh Chatterji, Ratnik Gandhi

Comments: 9 pages

Subjects: Computer Science and Game Theory (cs.GT); Symbolic Computation (cs.SC)