A Combinatorial Proof of Vandermonde's Determinant.

Arthur T. Benjamin Gregory P. Dresden

Published in: Am. Math. Mon. (2007)

Keyphrases

theorem prover
theorem proving
automated theorem proving
data mining
artificial intelligence
high level
image sequences
video sequences
end users
proof planning
geometry theorem proving