Bijective Proof of a Symplectic Dual Pair Identity.

Angèle M. Hamel Ronald C. King

Published in: SIAM J. Discret. Math. (2011)

Keyphrases

pairwise
theorem proving
theorem prover
proof theory
candidate pairs
databases
real world
genetic algorithm
data structure
identity management