語系
Hong, Hoon.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
Mathematical software - ICMS 20144th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
by:
(1998 :); Hong, Hoon.; SpringerLink (Online service); Yap, Chee.
(書目-電子資源)
主題
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.