CHEN Xiaoyu 陈肖宇
my cv
Address:
School of Mathematics and Systems Science Beihang University Xueyuan Road No.37, Haidian District Beijing 100191, China E-mail: chenxiaoyu[at]buaa.edu.cn |

Talks

- Invited Track Speaker: The 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018), Suzhou, China

Title: Towards Intelligent Mathematical Documents - The 4th International Congress on Mathematical Software (ICMS 2014), Seoul, Korea

Title: OpenGeo: An Open Geometric Knowledge Base [slide] - The 3rd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2014), Vienna, Austria

Title: RCK: A Software Toolkit for R-calculus - The 5th Chinese Conference on Computer Mathematics (CM 2013), Changchun, China

Title: An Open Platform for Sharing Mathematical Knowledge Resources (in Chinese) [slide] - The 9th International Workshop on Automated Deduction in Geometry (ADG 2012), Edinburgh, UK

Title: Interfacing Euclidean Geometry Discourse with Diverse Geometry Software [slide][demo] - The 37th International Symposium on Symbolic and Algebraic Computation (ISSAC 2012), Software Presentation Track, Grenoble, France

Title: GeoText: An Intelligent Dynamic Geometry Textbook [intro] - Conferences on Intelligent Computer Mathematics (CICM 2012), System & Projects Track, Breman, Germany

Title: Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence [poster] [intro] - The 8th International Workshop on Automated Deduction in Geometry (ADG 2010), Munich, Germany

Title: Formal Representation and Automated Transformation of Geometric Statements - The 9th International Conference on Mathematical Knowledge Management (MKM 2010), Paris, France

Title: Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System - RISC Colloquium (2010), Linz, Austria

Title: Formalization and Management of Geometric Knowledge (with Dongming Wang) - The 5th Asian Workshop on Foundations of Software (AWFS 2007), Xiamen, China

Title: Towards a Dynamic Environment for Geometry Research & Education - The 6th International Workshop on Automated Deduction in Geometry (ADG 2006), Vigo, Spain

Title: Towards an Electronic Geometry Textbook - International Seminar on Symbolic Computation in Education 2006 (SCE 2006), Beijing, China

Title: The Electronic Geometry Textbook Project

Activities

Local Co-organizer

- International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2015, 2013, 2012)
- The 4th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011)
- The 8th International Conference in Artificial Intelligence and Symbolic Computation (AISC 2006)

Participation