A combinatorial proof of a formula for the Lucas-Narayana polynomials.

Kristina C. Garrett Kendra Killpatrick

Published in: Discret. Math. (2022)

Keyphrases

lagrange interpolation
geometry theorem proving
theorem proving
linear logic
mathematical proofs
database
databases
artificial intelligence
search algorithm
parametric curves
logical rules