An example - The nine point circle theorem.
Automated Theorem Proving (To prove theorem with the full-angle method, deductive database method, etc.)
JGEX Help