A combinatorial proof of a Chevyshev polynomial identity.

Louis W. Shapiro

Published in: Discret. Math. (1981)

Keyphrases

theorem proving
mathematical proofs
number of queries needed
linear logic
data mining
low order
identity management
information systems
multiscale
data structure
proof search