Bottest9 for Maple 8 and 9,  not for 17 or later, developed by Lu Yang and his collaborators(Shihong Xia, etc.), is a very powerful automated proving tool for geometric and algebraic inequalities.

    This rar file includes Bottest9.txt and a simple manual. The following is my experience, assuming that the bottest9.txt is saved in "D:\"

    1. run the Maple software v8. or v9.

    2. input: read "d:/bottest9.txt";

    3. xprove(...>=0);