Another proof of Wright's inequalities.

Vlady Ravelomanana

Published in: Inf. Process. Lett. (2007)

Keyphrases

sufficient conditions
theorem proving
linear inequalities
proof planning
neural network
data mining
hidden markov models
theorem prover
linear logic
data sets
mixed integer
automated theorem proving
mixed integer linear programs
elementary functions