Proof of a conjecture on unimodality.

Yi Wang Yeong-Nan Yeh

Published in: Eur. J. Comb. (2005)

Keyphrases

theorem proving
theorem prover
formal proof
databases
data mining
genetic algorithm
information systems
decision making
multiscale
support vector
management system
mathematical proofs