Wenya An

According to our database, Wenya An authored at least 3 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Evolving concurrent systems: behavioural theory and logic.

Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang, Wenya An

Proceedings of the Australasian Computer Science Week Multiconference, 2017

2015

Searching for Geometric Theorems Using Features Retrieved from Diagrams.

Wenya An, Xiaoyu Chen, Dongming Wang

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

2014

OpenGeo: An Open Geometric Knowledge Base.

Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song

Proceedings of the Mathematical Software - ICMS 2014, 2014