3 papers
cs.AI2014
The Spaces of Data, Information, and Knowledge
Xiaoyu Chen, Dongming Wang
We study the data space of any given data set and explain how functions and relations are defined over . From and for a specific domain we construct the informat…
cs.AI2014
Automated Generation of Geometric Theorems from Images of Diagrams
Xiaoyu Chen, Dan Song, Dongming Wang
We propose an approach to generate geometric theorems from electronic images of diagrams automatically. The approach makes use of techniques of Hough transform to recognize geometr…
cs.AI2010
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
Xiaoyu Chen
Electronic Geometry Textbook is a knowledge management system that manages geometric textbook knowledge to enable users to construct and share dynamic geometry textbooks interactiv…