Xiaoyu Chen

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 4

Top Topics

Geometric Information

Illumination Correction

Top Venues

Math. Comput. Sci.

Ann. Math. Artif. Intell.

AISC/MKM/Calculemus

Publications

Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang
LaTEX: A Linear Algebra Textbook System. AISC (2018)
Dan Song, Dongming Wang, Xiaoyu Chen
Retrieving geometric information from images: the case of hand-drawn diagrams. Data Min. Knowl. Discov. 31 (4) (2017)
Wenya An, Xiaoyu Chen, Dongming Wang
Searching for Geometric Theorems Using Features Retrieved from Diagrams. MACIS (2015)
Xiaoyu Chen, Dan Song, Dongming Wang
Automated generation of geometric theorems from images of diagrams. Ann. Math. Artif. Intell. 74 (3-4) (2015)
Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song
OpenGeo: An Open Geometric Knowledge Base. ICMS (2014)
Xiaoyu Chen, Dan Song, Dongming Wang
Automated Generation of Geometric Theorems from Images of Diagrams. CoRR (2014)
Xiaoyu Chen, Dongming Wang
The Spaces of Data, Information, and Knowledge. CoRR (2014)
Dan Song, Dongming Wang, Xiaoyu Chen
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams. ADG (2014)
Xiaoyu Chen, Dongming Wang, Xiangliang Zhang
Foreword to the Special Focus on Mathematics, Data and Knowledge. Math. Comput. Sci. 7 (4) (2013)
Xiaoyu Chen, Dongming Wang
Formalization and Specification of Geometric Knowledge Objects. Math. Comput. Sci. 7 (4) (2013)
Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). AISC/MKM/Calculemus (2012)
Xiaoyu Chen, Dongming Wang, Ting Zhao
GeoText: an intelligent dynamic geometry textbook. ACM Commun. Comput. Algebra 46 (3/4) (2012)
Xiaoyu Chen, Dongming Wang
Management of geometric knowledge in textbooks. Data Knowl. Eng. 73 (2012)
Xiaoyu Chen, Ying Huang, Dongming Wang
On the Design and Implementation of a Geometric Knowledge Base. Automated Deduction in Geometry (2008)
Xiaoyu Chen, Dongming Wang
Towards an Electronic Geometry Textbook. Automated Deduction in Geometry (2006)