Languages
Hong, Hoon.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated Deduction in Geometry5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
by:
(1998 :); Hong, Hoon.; SpringerLink (Online service); Wang, Dongming.
(Electronic resources)
Mathematical software - ICMS 20144th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
by:
(1998 :); Hong, Hoon.; SpringerLink (Online service); Yap, Chee.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Pattern Recognition.
Mathematics
Software Engineering/Programming and Operating Systems.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer Graphics.
Computer software
Algorithm Analysis and Problem Complexity.
Geometry
Convex and Discrete Geometry.
Numeric Computing.
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.