Symbolic Computation

Authors and titles for February 2009

[1] arXiv:0902.0239 [pdf, other]

Title: The acoustic wave equation in the expanding universe. Sachs-Wolfe theorem

Wojciech Czaja, Zdzislaw A. Golda, Andrzej Woszczyna

Comments: 5 pages LaTeX, Some minor changes introduced

Subjects: Symbolic Computation (cs.SC); General Relativity and Quantum Cosmology (gr-qc); Computational Physics (physics.comp-ph)

[2] arXiv:0902.0514 [pdf, other]

Title: Graphical Reasoning in Compact Closed Categories for Quantum Computation

Lucas Dixon, Ross Duncan

Comments: 21 pages, 9 figures. This is the journal version of the paper published at AISC

Subjects: Symbolic Computation (cs.SC); Artificial Intelligence (cs.AI)

[3] arXiv:0902.1612 [pdf, other]

Title: A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces

Mohab Safey El Din (LIP6, INRIA Rocquencourt), Éric Schost

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:0902.2853 [pdf, other]

Title: A formal calculus on the Riordan near algebra

Laurent Poinsot (LIPN), Gérard Duchamp (LIPN)

Comments: 29 p

Journal-ref: Advances and Applications in Discrete Mathematics 6, 1 (2010) 11-44

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

[5] arXiv:0902.3304 [pdf, other]

Title: A bound on the minimum of a real positive polynomial over the standard simplex

Saugata Basu, Richard Leroy, Marie-Francoise Roy

Subjects: Symbolic Computation (cs.SC)

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

Title: Finding Exact Minimal Polynomial by Approximations

Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

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

Title: Abstraction and Refinement in Static Model-Checking

Kaninda Musumbu (LaBRI)

Journal-ref: IEEE-Computer Society International Conference on Computer Science and Information Technology, ICCSIT-2008 (2008) 107 - 112

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

[8] arXiv:0902.2407 (cross-list from cs.CC) [pdf, other]

Title: Group-Theoretic Partial Matrix Multiplication

Richard Strong Bowen, Bo Chen, Hendrik Orem, Martijn van Schaardenburg

Comments: 14 pages, 3 figures

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

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

Title: ASF+ --- eine ASF-aehnliche Spezifikationssprache

Ruediger Lunde, Claus-Peter Wirth

Comments: iv + 58 pages

Subjects: Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

[10] arXiv:0902.4091 (cross-list from hep-ph) [pdf, other]

Title: Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra

J. Blümlein, M. Kauers, S. Klein, C. Schneider

Comments: 38 pages, 1 style file, 2 FORM files, 2 Mathematica files

Journal-ref: Comput.Phys.Commun.180:2143-2165,2009

Subjects: High Energy Physics - Phenomenology (hep-ph); Symbolic Computation (cs.SC); Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Combinatorics (math.CO)

[11] arXiv:0902.4095 (cross-list from hep-ph) [pdf, other]

Title: From Moments to Functions in Quantum Chromodynamics

J. Blümlein, M. Kauers, S. Klein, C. Schneider

Comments: 7 pages, 2 subsidiary files

Journal-ref: PoS ACAT08:106,2008

Subjects: High Energy Physics - Phenomenology (hep-ph); Symbolic Computation (cs.SC); Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Combinatorics (math.CO)