We gratefully acknowledge support from
the Simons Foundation
and member institutions

Symbolic Computation

Authors and titles for recent submissions

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

Mon, 18 Sep 2017

[1]  arXiv:1709.05051 (cross-list from math.CO) [pdf, other]
Title: Analytic Combinatorics in Several Variables: Effective Asymptotics and Lattice Path Enumeration
Authors: Stephen Melczer
Comments: PhD thesis, University of Waterloo and ENS Lyon - 259 pages
Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC)

Thu, 14 Sep 2017

[2]  arXiv:1709.04174 [pdf, ps, other]
Title: Laurent Series Solutions of Algebraic Ordinary Differential Equations
Authors: N. Thieu Vo, Yi Zhang
Subjects: Symbolic Computation (cs.SC)

Tue, 12 Sep 2017

[3]  arXiv:1709.03294 [pdf, ps, other]
Title: Root Separation for Trinomials
Authors: Pascal Koiran (LIP)
Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Number Theory (math.NT)

Mon, 11 Sep 2017

[4]  arXiv:1709.02616 (cross-list from math.CO) [pdf, other]
Title: A Curious Family of Binomial Determinants That Count Rhombus Tilings of a Holey Hexagon
Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC)

Wed, 6 Sep 2017

[5]  arXiv:1709.01122 (cross-list from cs.AI) [pdf, ps, other]
Title: Exact Inference for Relational Graphical Models with Interpreted Functions: Lifted Probabilistic Inference Modulo Theories
Comments: Appeared in the Uncertainty in Artificial Intelligence Conference, August 2017
Subjects: Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)
[ total of 5 entries: 1-5 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)