Recent Courses

• 形式化数学：Lean 入门与应用
• An Introductory Lean Course (Lean 入门课程)
• 代数学引论 I
• 代数学引论 II

Advanced Courses

• Polynomial Algorithms in Computer Algebra
  • Syllabus
  • Assignments
• Modern Computer Algebra
  • Syllabus
  • Assignments