Automated geometric inequalities discovering and proving. The author offers a complete theory and an efficient algorithm for solving the system TSG. Based on these results, the author implemented a prover, EXPLORER, which has discovered many geometric inequalities automatically.