Symbolic Computation

Authors and titles for December 2013

[1] arXiv:1312.0453 [pdf, other]

Title: Comprehensive Border Bases for Zero Dimensional Parametric Polynomial Ideals

Abhishek Dubey, Ambedkar Dukkipati

Comments: 15 pages, 8 sections and 3 algorithms

Subjects: Symbolic Computation (cs.SC)

[2] arXiv:1312.0462 [pdf, other]

Title: A Generic Position Based Method for Real Root Isolation of Zero-Dimensional Polynomial Systems

Jin-San Cheng, Kai Jin

Comments: 24 pages, 5 figures

Subjects: Symbolic Computation (cs.SC)

[3] arXiv:1312.1655 [pdf, other]

Title: On the Complexity of the F5 Gröbner basis Algorithm

Magali Bardet, Jean-Charles Faugère, Bruno Salvy

Comments: 24 pages

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:1312.1780 [pdf, other]

Title: Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems

Hoon Hong, Xiaoxian Tang, Bican Xia

Comments: 24 pages, 5 algorithms, 10 figures

Subjects: Symbolic Computation (cs.SC)

[5] arXiv:1312.3270 [pdf, other]

Title: Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?

Antonio J. Durán, Mario Pérez, Juan L. Varona

Comments: 4 pages

Journal-ref: Notices Amer. Math. Soc. 61 (2014), 1249-1252

Subjects: Symbolic Computation (cs.SC); Mathematical Software (cs.MS)

[6] arXiv:1312.5029 [pdf, other]

Title: Hrushovski's Algorithm for Computing the Galois Group of a Linear Differential Equation

Ruyong Feng

Comments: 27 pages

Subjects: Symbolic Computation (cs.SC)

[7] arXiv:1312.3009 (cross-list from math.NT) [pdf, other]

Title: Large Galois groups with applications to Zariski density

Igor Rivin

Comments: 25 pages

Subjects: Number Theory (math.NT); Symbolic Computation (cs.SC)

[8] arXiv:1312.5777 (cross-list from math-ph) [pdf, other]

Title: HYPERDIRE: HYPERgeometric functions DIfferential REduction: MATHEMATICA based packages for differential reduction of generalized hypergeometric functions: $F_D$ and $F_S$ Horn-type hypergeometric functions of three variables

Vladimir V. Bytev, Mikhail Yu. Kalmykov, Sven-Olaf Moch

Comments: v3=v2: A new section 5 is added; published version

Journal-ref: Comput.Phys. Commun. 185 (2014) 3041-3058

Subjects: Mathematical Physics (math-ph); Symbolic Computation (cs.SC); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th)

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

Title: On modular computation of Groebner bases with integer coefficients

S. Yu. Orevkov

Comments: 3 pages

Journal-ref: J Math Sci 200, 722-724 (2014)

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

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

Title: A Quadratically Convergent Algorithm for Structured Low-Rank Approximation

Éric Schost, Pierre-Jean Spaenlehauer

Comments: 37 pages, Maple package available at this http URL

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