Login / Signup
New Proofs of Extremal Inequalities With Applications.
Yinfei Xu
Guojun Chen
Published in:
CoRR (2021)
Keyphrases
</>
graph theory
linear inequalities
theorem proving
mixed integer
formal proofs
sufficient conditions
theorem prover
mathematical proofs
formal proof
maximally stable
integer solution
decision procedures
e learning
natural deduction
knowledge base
computer vision
data mining