Combinatorial Proofs of Hook Generating Functions for Skew Plane Partitions.

Published in: Theor. Comput. Sci. (1993)

Keyphrases

three dimensional
real time
neural network
real world
multiscale
clustering algorithm
optical flow
basis functions
theorem prover
automatically generating
formal proof
equational theories