Login / Signup
Prove inequalities by solving maximum/minimum problems using a computer algebra system.
Michael Xue
Published in:
ACM Commun. Comput. Algebra (2015)
Keyphrases
</>
computer algebra
solving problems
solving complex
convex quadratic programming
combinatorial optimization
exact solution
resource constrained project scheduling problem
constrained problems
algebraic equations
quadratic optimization problems