Symbolic Computation

Authors and titles for May 2014

[1] arXiv:1405.0320 [pdf, other]

Title: Computing all Affine Solution Sets of Binomial Systems

Danko Adrovic, Jan Verschelde

Comments: 4 page extended abstract accepted by EACA 2014, a conference on Computer Algebra and its Applications

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

[2] arXiv:1405.0472 [pdf, other]

Title: Border Bases for Polynomial Rings over Noetherian Rings

Ambedkar Dukkipati, Nithish Pai, Maria Francis

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

[3] arXiv:1405.3461 [pdf, other]

Title: Formulating problems for real algebraic geometry

Matthew England

Comments: To be presented at The "Encuentros de Álgebra Computacional y Aplicaciones, EACA 2014" (Meetings on Computer Algebra and Applications) in Barcelona

Journal-ref: Proceedings XIV Encuentros de \'Algebra Computacional y Aplicaciones (EACA '14), pp. 107-110, 2014

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:1405.4596 [pdf, other]

Title: On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method

Zhenyu Huang, Yao Sun, Dongdai Lin

Subjects: Symbolic Computation (cs.SC)

[5] arXiv:1405.4779 [pdf, other]

Title: Una metodología para realizar Diferenciación Automática Anidada

Juan Luis Valerdi, Fernando Raul Rodriguez

Comments: 11 pages, in Spanish

Subjects: Symbolic Computation (cs.SC)

[6] arXiv:1405.4925 [pdf, other]

Title: Cylindrical Algebraic Decomposition Using Local Projections

Adam Strzebonski

Subjects: Symbolic Computation (cs.SC)

[7] arXiv:1405.5341 [pdf, other]

Title: A fast algorithm for computing the characteristic polynomial of the p-curvature

Alin Bostan (INRIA Saclay - Ile de France), Xavier Caruso (IRMAR), Éric Schost

Comments: ISSAC - 39th International Symposium on Symbolic and Algebraic Computation (2014)

Subjects: Symbolic Computation (cs.SC)

[8] arXiv:1405.5342 [pdf, other]

Title: Computing necessary integrability conditions for planar parametrized homogeneous potentials

Alin Bostan (INRIA Saclay - Ile de France), Thierry Combot (IMB), Safey El Din Mohab (UPMC)

Comments: ISSAC'14 - International Symposium on Symbolic and Algebraic Computation (2014)

Subjects: Symbolic Computation (cs.SC)

[9] arXiv:1405.5854 [pdf, other]

Title: Diferenciación Automática Anidada. Un enfoque algebraico

Juan Luis Valerdi

Comments: 51 pages, in Spanish, bachelor thesis

Subjects: Symbolic Computation (cs.SC)

[10] arXiv:1405.6082 [pdf, other]

Title: A comparison of three heuristics to choose the variable ordering for CAD

Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson

Journal-ref: ACM Communications in Computer Algebra 48:3 (issue 189), pp. 121-123, ACM, 2014

Subjects: Symbolic Computation (cs.SC)

[11] arXiv:1405.6090 [pdf, other]

Title: Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting

Matthew England, David Wilson, Russell Bradford, James H. Davenport

Journal-ref: H. Hong and C. Yap, eds. Mathematical Software - ICMS 2014, pp. 458-465. (Lecture Notes in Computer Science, 8592). Springer, 2014

Subjects: Symbolic Computation (cs.SC)

[12] arXiv:1405.6094 [pdf, other]

Title: Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

Matthew England, Russell Bradford, James H. Davenport, David Wilson

Journal-ref: H. Hong and C. Yap, eds. Mathematical Software - ICMS 2014, pp. 450-457. (Lecture Notes in Computer Science, 8592). Springer, 2014

Subjects: Symbolic Computation (cs.SC)

[13] arXiv:1405.6885 [pdf, other]

Title: On the design of an expert help system for computer algebra systems

Renato P. dos Santos, Waldir L. Roque

Comments: 4 pages; fixed author names

Journal-ref: ACM SIGSAM Bulletin (1990) 24(4):22-25

Subjects: Symbolic Computation (cs.SC); General Relativity and Quantum Cosmology (gr-qc)

[14] arXiv:1405.4740 (cross-list from cs.CG) [pdf, other]

Title: Improved algorithm for computing separating linear forms for bivariate systems

Yacine Bouzidi (INRIA Nancy - Grand Est / LORIA), Sylvain Lazard (INRIA Nancy - Grand Est / LORIA), Guillaume Moroz (INRIA Nancy - Grand Est / LORIA), Marc Pouget (INRIA Sophia Antipolis), Fabrice Rouillier (IMJ, INRIA Paris-Rocquencourt)

Comments: ISSAC - 39th International Symposium on Symbolic and Algebraic Computation (2014)

Subjects: Computational Geometry (cs.CG); Symbolic Computation (cs.SC)

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

Title: Numerical Hilbert functions for Macaulay2

Robert Krone

Comments: 5 pages

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

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

Title: Geometric involutive bases for positive dimensional polynomial ideals and SDP methods

Greg Reid, Fei Wang, Wenyuan Wu

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