Login / Signup
Danwen Mao
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Theorem Prover
Nearest Neighbor Search
Higher Order Logic
Linear Space
Top Venues
J. Appl. Math.
</>
Publications
</>
Jie Zhang
,
Danwen Mao
,
Yong Guan
Formalization of Linear Space Theory in the Higher-Order Logic Proving System.
J. Appl. Math.
2013 (2013)