多变量分析组合数学的代数几何方面。

Stephen Melczer，旧金山州立大学

5月25日星期四上午11:30，K9509。

摘要在枚举研究中，求渐近解的标准方法有关感兴趣序列的信息是为了研究它的生成函数。然而，在许多有趣的应用程序中不能直接访问单变量生成函数，但它是多元幂级数展开式的一个子级数多变量有理函数。尝试确定渐近来自这种不太直接的表示的信息是新的多变量分析组合数学（ACSV）领域许多数学领域的有趣问题。本演讲将讨论出现的代数几何问题，以及详细介绍了ACSV方法的第一个严格算法在实践中经常得到满足的假设。这项工作结合了Nullstellensatz算法的有效版本以及来自的工具多项式系统求解可以追溯到克罗内克的严格设计符号-数字算法。所需假设的一般性为通过使用多元结果证明。