Lattice Path Proofs for Determinantal Formulas for Symplectic and Orthogonal Characters.

Markus Fulmek Christian Krattenthaler

Published in: J. Comb. Theory, Ser. A (1997)

Keyphrases

point processes
formal proof
theorem prover
theorem proving
lattice structure
shortest path
formal proofs
data sets
optical character recognition
multiscale
search algorithm
endpoints
natural deduction
boolean algebra