Hoon HongBooksAutomated deduction in geometryMathematical Software -- ICMS 2014Author data: Open Library