What is the state of the art concerning automated geometry theorem provers (AGTP)?

I can see that a few computer algebra softwares and dynamic geometry softwares (e.g. geogebra) have embedded provers but I failed to find a comparison of these solvers nor a thorough list of AGTP.

Are there still AGTP using the quantifier elimination method of Tarski and its refinement such as cylindrical algebraic decomposition, or has it been superseded by other methods such as Wu-Ritts or Grobner bases?