Hoon Hong
2 published titles
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 ; revised papers
(Contributor)
1 edition
- ISBN: 354031332X
- Springer
- 2006
- Details
Mathematical software - ICMS 2014 : 4th international conference, Seoul, South Korea, August 5-9, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783662441985
- Springer
- 2014
- Details
