cicyt UNIZAR

Symbolic Computation

Authors and titles for recent submissions

[ total of 8 entries: 1-8 ]
[ showing up to 25 entries per page: fewer | more ]

Wed, 14 Mar 2018

[1]  arXiv:1803.04731 [pdf, other]
Title: Formal Power Series Solutions of First Order Autonomous Algebraic Ordinary Differential Equations
Subjects: Symbolic Computation (cs.SC)

Tue, 13 Mar 2018

[2]  arXiv:1803.03864 [pdf, other]
Title: Probabilistic Analysis of Block Wiedemann for Leading Invariant Factors
Comments: 17 pages
Subjects: Symbolic Computation (cs.SC)
[3]  arXiv:1803.04029 (cross-list from math.AG) [pdf, ps, other]
Title: Regular cylindrical algebraic decomposition
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); Algebraic Topology (math.AT)

Thu, 1 Mar 2018

[4]  arXiv:1802.10409 [pdf, other]
Title: Solving determinantal systems using homotopy techniques
Authors: Jonathan D. Hauenstein, Mohab Safey El Din (PolSys), Éric Schost (CS), Thi Xuan Vu (PolSys, CS)
Subjects: Symbolic Computation (cs.SC)
[5]  arXiv:1802.10339 [pdf, ps, other]
Title: On Exact Polya and Putinar's Representations
Comments: 19 pages, 4 algorithms, 3 tables
Subjects: Symbolic Computation (cs.SC)

Wed, 28 Feb 2018

[6]  arXiv:1802.09774 [pdf, ps, other]
Title: On Probabilistic Term Rewriting
Comments: Technical Report of our FLOPS'18 paper
Subjects: Symbolic Computation (cs.SC)
[7]  arXiv:1802.09798 (cross-list from math.CO) [pdf, ps, other]
Title: How to generate all possible rational Wilf-Zeilberger pairs?
Authors: Shaoshi Chen
Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC)

Mon, 26 Feb 2018

[8]  arXiv:1802.08532 (cross-list from math.NT) [pdf, ps, other]
Title: ZpL: a p-adic precision package
Authors: Xavier Caruso (LAGA), David Roe (MIT), Tristan Vaccon (XLIM-MATHIS)
Subjects: Number Theory (math.NT); Numerical Analysis (cs.NA); Symbolic Computation (cs.SC)
[ total of 8 entries: 1-8 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)