Towards an Electronic Geometry Textbook. - Xiaoyu Chen 001; Dongming Wang 001 (Automated Deduction in Geometry, 2006)

On the Design and Implementation of a Geometric Knowledge Base. - Xiaoyu Chen 001; Ying Huang; Dongming Wang 001 (Automated Deduction in Geometry, 2008)

Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). - Xiaoyu Chen 001; Wei Li 022; Jie Luo 004; Dongming Wang 001 (AISC/MKM/Calculemus, 2012)

GeoText: an intelligent dynamic geometry textbook. - Xiaoyu Chen 001; Dongming Wang 001; Ting Zhao (ACM Commun. Comput. Algebra, 2012)

Management of geometric knowledge in textbooks. - Xiaoyu Chen 001; Dongming Wang 001 (Data Knowl. Eng., 2012)

Formalization and Specification of Geometric Knowledge Objects. - Xiaoyu Chen 001; Dongming Wang 001 (Math. Comput. Sci., 2013)

Foreword to the Special Focus on Mathematics, Data and Knowledge. - Xiaoyu Chen 001; Dongming Wang 001; Xiangliang Zhang 001 (Math. Comput. Sci., 2013)

Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams. - Dan Song 010; Dongming Wang 001; Xiaoyu Chen 001 (ADG, 2014)

OpenGeo: An Open Geometric Knowledge Base. - Dongming Wang 001; Xiaoyu Chen 001; Wenya An; Lei Jiang; Dan Song 010 (ICMS, 2014)

The Spaces of Data, Information, and Knowledge. - Xiaoyu Chen 001; Dongming Wang 001 (CoRR, 2014)

Searching for Geometric Theorems Using Features Retrieved from Diagrams. - Wenya An; Xiaoyu Chen 001; Dongming Wang 001 (MACIS, 2015)

Automated generation of geometric theorems from images of diagrams. - Xiaoyu Chen 001; Dan Song 010; Dongming Wang 001 (Ann. Math. Artif. Intell., 2015)

Retrieving geometric information from images: the case of hand-drawn diagrams. - Dan Song 010; Dongming Wang 001; Xiaoyu Chen 001 (Data Min. Knowl. Discov., 2017)

LaTEX: A Linear Algebra Textbook System. - Xiaoyu Chen 001; Haotian Shuai; Dongming Wang 001; Jing Yang 039 (AISC, 2018)

A Chinese New Word Detection Approach Based on Independence Testing. - Dongchen Jiang; Xiaoyu Chen 001; Xin Yang (AISC, 2018)

On n-sectors of the Angles of an Arbitrary Triangle. - Dongming Wang 001; Bo Huang 015; Xiaoyu Chen 001 (Math. Comput. Sci., 2020)