Automated deduction in geometry by Hoon Hong | Menrva Books | MenrvaBooks