Proving some conjectures on Kekulé numbers for certain benzenoids by using Chebyshev polynomials.

Guoce Xin Yueming Zhong

Published in: Adv. Appl. Math. (2023)

Keyphrases

theorem prover
krawtchouk moments
input output
low order
real time
data structure
lower bound
high order
orthogonal polynomials
lagrange interpolation