An efficient procedure deciding positivity for a class of holonomic functions

Abstract

We present an efficient decision procedure for positivity on a class of holonomic sequences satisfying recurrences of arbitrary order.

DOI: 10.1145/2850449.2850458

Cite this paper

@article{Pillwein2015AnEP, title={An efficient procedure deciding positivity for a class of holonomic functions}, author={Veronika Pillwein and Miriam Schussler}, journal={ACM Comm. Computer Algebra}, year={2015}, volume={49}, pages={90-93} }