Keywords for the abstract: Ascending set, geometry theorem proving, 
polynomial system, simple system, triangular system, zero decomposition