q-derivative operator proof for a conjecture of Melham.

Nadia N. Li Wenchang Chu

Published in: Discret. Appl. Math. (2014)

Keyphrases

real world
theorem proving
laplacian operator
neural network
theorem prover
data sets
databases
computer vision
evolutionary algorithm
multiresolution
linear logic
gaussian function