Hoon Hong profile picture

Hoon Hong

Is this your author profile? Create an account to customize it!

Stand Alone

Automated deduction in geometry
Mathematical Software -- ICMS 2014
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Mathematical Software -- Icms 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings