And a dynamic searching system of geometric theorem has been implemented, which can solve elementary geometric problems efficiently, including some non-constructive problems.