Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers Hong Hoon Heftet / 2006 / Engelsk
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings Hong Hoon Heftet / 2014 / Engelsk
