A Bijective Proof of Borchardt's Identity.

Published in: Electron. J. Comb. (2004)

Keyphrases

theorem proving
linear logic
multiresolution
identity management
logical rules
decision trees
three dimensional
database systems
multiscale
user interface