How to Use CAS to Solve Certain Minmax Problems
Seon-Hong Kim · Journal of the Chosun Natural Science · 2010
In this paper, we study how to use CAS to solve certain minmax problems. More specifically, we reduce some to the problems about the packing of certain convex sets in the plane, and use Recognize algorithm to obtain good hypotheses for results. This method can be widely used to solve same types of mathematical problems.