Motivic Proof of a Character Formula for SL(2).

Clifton Cunningham Julia Gordon

Published in: Exp. Math. (2009)

Keyphrases

theorem prover
handwritten characters
linear logic
data sets
relational databases
theorem proving
natural deduction
scene images
artificial intelligence
image sequences
handwritten word recognition