Login / Signup
Another Proof of Wright's Inequalities
Vlady Ravelomanana
Published in:
CoRR (2007)
Keyphrases
</>
sufficient conditions
theorem prover
theorem proving
linear inequalities
learning algorithm
computer vision
simulated annealing
proof planning
geometry theorem proving