Aixuan Wu

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Algebraic Properties

Singular Value Decomposition

Higher Order Logic

Theoretical Framework

Top Venues

Formal Aspects Comput.

计算机科学

Publications