C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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