Xiaoyu Chen

Affiliations:
  • Beihang University, Beijing, China


According to our database1, Xiaoyu Chen authored at least 16 papers between 2006 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
On n-sectors of the Angles of an Arbitrary Triangle.
Math. Comput. Sci., 2020

2018
A Chinese New Word Detection Approach Based on Independence Testing.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

LaTEX: A Linear Algebra Textbook System.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017
Retrieving geometric information from images: the case of hand-drawn diagrams.
Data Min. Knowl. Discov., 2017

2015
Automated generation of geometric theorems from images of diagrams.
Ann. Math. Artif. Intell., 2015

Searching for Geometric Theorems Using Features Retrieved from Diagrams.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

2014
The Spaces of Data, Information, and Knowledge.
CoRR, 2014

OpenGeo: An Open Geometric Knowledge Base.
Proceedings of the Mathematical Software - ICMS 2014, 2014

Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.
Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

2013
Foreword to the Special Focus on Mathematics, Data and Knowledge.
Math. Comput. Sci., 2013

Formalization and Specification of Geometric Knowledge Objects.
Math. Comput. Sci., 2013

2012
Management of geometric knowledge in textbooks.
Data Knowl. Eng., 2012

GeoText: an intelligent dynamic geometry textbook.
ACM Commun. Comput. Algebra, 2012

Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description).
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2008
On the Design and Implementation of a Geometric Knowledge Base.
Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

2006
Towards an Electronic Geometry Textbook.
Proceedings of the Automated Deduction in Geometry, 2006


  Loading...