New Proofs for Several Combinatorial Identities.

Chuanan Wei Ling Wang

Published in: ISICA (2012)

Keyphrases

theorem proving
theorem prover
formal proof
cooperative
decision procedures
neural network
multimedia
multiscale
mathematical proofs
database
real world
information retrieval
social networks
web pages
support vector
formal proofs