@inproceedings{e4141eda99d14b4891469a6aff08b515,
title = "A Zero Test for σ-algebraic Power Series",
abstract = "One fundamental problem in symbolic computation is zero testing of expressions that involve special functions. Several such zero tests have been designed for the case when such special functions satisfy algebraic differential equations or linear difference equations. In this paper, we present an algorithm for the case of power series solutions to certain non-linear difference equations.",
keywords = "algorithm, zero test",
author = "\{Van Der Hoeven\}, Joris and Gleb Pogudin",
note = "Publisher Copyright: {\textcopyright} 2021 ACM.; 46th International Symposium on Symbolic and Algebraic Computation, ISSAC 2021 ; Conference date: 18-07-2021 Through 23-07-2021",
year = "2021",
month = jul,
day = "18",
doi = "10.1145/3452143.3465549",
language = "English",
series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",
publisher = "Association for Computing Machinery",
pages = "187--192",
booktitle = "ISSAC 2021 - Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation",
}