discoverer, developed under Maple, is a package aiming at discovering and proving inequality-type theorems. It can discover new inequalities automatically, without requiring us to put forward any conjectures beforehand. It is also applied to the classification of the real physical solutions of geometric constraint problems. Many inequalities with various backgrounds have been discovered or re-d...