A friend gave me this program a long time ago.
It is very useful for remebering theorems and postulates and also has good solvers.
I'll attach some screen shots as well.
Title: Mathwiz v2.3
Description: Every postulate and theorem in the accelerated geometry textbook plus five math-solvers.
Author: Matthew Rose