Xiaoyu Chen

17 papers Misc 2Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2020 J jnl
On n-sectors of the Angles of an Arbitrary Triangle.
Math. Comput. Sci.
Dongming Wang, Bo Huang, Xiaoyu Chen
2018 Misc conf
A Chinese New Word Detection Approach Based on Independence Testing.
AISC
Dongchen Jiang, Xiaoyu Chen, Xin Yang
2018 Misc conf
LaTEX: A Linear Algebra Textbook System.
AISC
Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang
2017 J jnl
Retrieving geometric information from images: the case of hand-drawn diagrams.
Data Min. Knowl. Discov.
Dan Song, Dongming Wang, Xiaoyu Chen
2015 J jnl
Automated generation of geometric theorems from images of diagrams.
Ann. Math. Artif. Intell.
Xiaoyu Chen, Dan Song, Dongming Wang
2015 — conf
Searching for Geometric Theorems Using Features Retrieved from Diagrams.
MACIS
Wenya An, Xiaoyu Chen, Dongming Wang
2014 J jnl
Automated Generation of Geometric Theorems from Images of Diagrams.
CoRR
Xiaoyu Chen, Dan Song, Dongming Wang
2014 — conf
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.
ADG
Dan Song, Dongming Wang, Xiaoyu Chen
2014 — conf
OpenGeo: An Open Geometric Knowledge Base.
ICMS
Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song
2014 J jnl
The Spaces of Data, Information, and Knowledge.
CoRR
Xiaoyu Chen, Dongming Wang
2013 J jnl
Foreword to the Special Focus on Mathematics, Data and Knowledge.
Math. Comput. Sci.
Xiaoyu Chen, Dongming Wang, Xiangliang Zhang
2013 J jnl
Formalization and Specification of Geometric Knowledge Objects.
Math. Comput. Sci.
Xiaoyu Chen, Dongming Wang
2012 J jnl
GeoText: an intelligent dynamic geometry textbook.
ACM Commun. Comput. Algebra
Xiaoyu Chen, Dongming Wang, Ting Zhao
2012 J jnl
Management of geometric knowledge in textbooks.
Data Knowl. Eng.
Xiaoyu Chen, Dongming Wang
2012 — conf
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description).
AISC/MKM/Calculemus
Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang
2008 — conf
On the Design and Implementation of a Geometric Knowledge Base.
Automated Deduction in Geometry
Xiaoyu Chen, Ying Huang, Dongming Wang
2006 — conf
Towards an Electronic Geometry Textbook.
Automated Deduction in Geometry
Xiaoyu Chen, Dongming Wang