Polynomially Bounded Sequences and Polynomial Sequences

Hiroyuki Okazaki, Yuichi Futa. Polynomially Bounded Sequences and Polynomial Sequences. Formalized Mathematics, 23(3):205-213, 2015. [doi]

Abstract

Abstract is missing.