A Combinatorial View of Andrews' Proof of the L-M-W Conjectures.

Adriano M. Garsia Jeffrey B. Remmel

Published in: Eur. J. Comb. (1985)

Keyphrases

theorem prover
theorem proving
geometry theorem proving
multiple views
automated theorem proving
databases
computer vision
case study
multiscale
information technology
relational databases
viewpoint
query processing