A combinatorial proof of the parity unimodality of the (m, n)-rational q-Catalan polynomial for m=3.

Yue Zhou Yueming Zhong

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

Keyphrases

error correction
decision making
higher order
social networks
theorem prover
theorem proving
low order
linear logic
natural deduction
polynomial equations