Browsing by Author Zhao, Yuhang
Showing results 1 to 2 of 2
| Publication Date | Title | Author(s) |
|---|---|---|
| 2018 | A Machine-checked Categorial Formalisation of Term Graph Rewriting with Semantics Preservation | Zhao, Yuhang |
| Sep-2010 | SOME HIGHLY ACCURATE BASIC LINEAR ALGEBRA SUBROUTINES | Zhao, Yuhang |
