  In this article, dedicated to the memory of Ron Graham, we fully automate
John P. D'Angelo's method for studying complete polynomial sequences, for which
Ron Graham, back in 1964, gave a beautiful necessary and sufficient conditions.
D'Angelo found surprising connection of these elementary (but deep)
number-theoretic questions to determining certain critical dimensions in
complex geometry.
