Hoon Hong

• Automated deduction in geometry
• Mathematical Software -- ICMS 2014