Courses

An Introductory Lean Course (Lean 入门课程）

Polynomial Algorithms in Computer Algebra

Modern Computer Algebra

线性代数 I-A

线性代数 II-A

Go Back to Zhi's Home

lzhi@mmrc.iss.ac.cn