Symbolic Computation

Authors and titles for December 2006

[1] arXiv:cs/0612050 [pdf, other]

Title: Explicit factors of some iterated resultants and discriminants

Laurent Busé (INRIA Sophia Antipolis), Bernard Mourrain (INRIA Sophia Antipolis)

Comments: Selected for presentation at the conference MEGA 2007 (Strobl, Austria, June 25th - 29th)

Journal-ref: Mathematics of Computation / Mathematics of Computation of the American Mathematical Society 78 (2009) 345--386

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

[2] arXiv:cs/0612094 [pdf, other]

Title: Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries

Alexandre Sedoglavic (INRIA Futurs, LIFL)

Comments: Before analysing an algebraic system (differential or not), one can generally reduce the number of parameters defining the system behavior by studying the system's Lie symmetries

Journal-ref: Dans Algebraic Biology 2007 4545 (2007) 277--291

Subjects: Symbolic Computation (cs.SC)

[3] arXiv:cs/0612119 [pdf, other]

Title: Symmetric Subresultants and Applications

Cyril Brunie (LACO), Philippe Saux Picart (LM)

Subjects: Symbolic Computation (cs.SC)

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

Title: Predicate Abstraction via Symbolic Decision Procedures

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

Comments: The final accepted paper for Logical Methods in Computer Science, special issue on CAV 2005. Editor Sriram Rajamani ([email protected]). Please perform make to build the paper. The pdf file is this http URL, and the comments for the referee's is present in referee_comments

Journal-ref: Logical Methods in Computer Science, Volume 3, Issue 2 (April 24, 2007) lmcs:2218

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

[5] arXiv:cs/0612033 (cross-list from cs.CL) [pdf, other]

Title: Acronym-Meaning Extraction from Corpora Using Multi-Tape Weighted Finite-State Machines

André Kempe

Comments: 6 pages, LaTeX

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

[6] arXiv:cs/0612041 (cross-list from cs.CL) [pdf, other]

Title: Viterbi Algorithm Generalized for n-Tape Best-Path Search

André Kempe

Comments: 12 pages, 3 figures, LaTeX (+ .eps)

Journal-ref: Proc. FSMNLP 2009, Pretoria, South Africa. July 21-24. (improved version).

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

[7] arXiv:hep-th/0612240 (cross-list from hep-th) [pdf, other]

Title: All order epsilon-expansion of Gauss hypergeometric functions with integer and half/integer values of parameters

M.Yu.Kalmykov (Baylor U. & Dubna, JINR), B.F.L.Ward, S.Yost (Baylor U.)

Comments: 18 pages, this http URL The code (FORM) is available via the www this http URL v2: Appendix and a few references added

Journal-ref: JHEP 0702:040,2007

Subjects: High Energy Physics - Theory (hep-th); Symbolic Computation (cs.SC); High Energy Physics - Phenomenology (hep-ph); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA); Computational Physics (physics.comp-ph)