An Alternative Proof of an Extremal Inequality

Sangwoo Park Erchin Serpedin Khalid A. Qaraqe

Published in: CoRR (2012)

Keyphrases

theorem prover
theorem proving
data mining
graph theory
databases
information systems
data sets
genetic algorithm
multiresolution
logic programming
proof planning
mathematical proofs