Hoon Hong

Hoon Hong

2 books in the database

Books

Mathematical Software -- ICMS 2014Hoon Hong

Mathematical Software -- ICMS 2014

Hoon Hong · 2014

Automated deduction in geometryHoon Hong

Automated deduction in geometry

Hoon Hong · 2006