Proof of a conjectured q, t-Schröder identity.

William J. Keith

Published in: Discret. Math. (2010)

Keyphrases

distance transform
data sets
databases
neural network
theorem prover
theorem proving
identity management
geometry theorem proving
website
clustering algorithm
shape matching
heat equation