Aixuan Wu

According to our database, Aixuan Wu authored at least 4 papers between 2016 and 2019.

Collaborative distances:

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

2019

A HOL Theory of the Differential for Matrix Functions.

Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

Formal analysis of the kinematic Jacobian in screw theory.

Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song

Formal Aspects Comput., 2018

2017

Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity.

Aixuan Wu, Zhiping Shi, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

2016

函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus).

Xiumei Yang, Yong Guan, Zhiping Shi, Aixuan Wu, Qianying Zhang, Jie Zhang

计算机科学, 2016