The Schreier-Sims Algorithm

OK! 35 posts in total. Keep on posting.

2024

08-19

The Schreier-Sims Algorithm

07-16

Machine Learning (2)（支持向量机）

07-01

Machine Learning (1)（模型选择、线性模型、决策树）

06-16

Revision | 软件科学基础

06-11

Revision | 程序设计实习

06-04

Revision | 高等数学 A II（期末）

04-21

Revision | AI 基础（期中）

03-04

Tensor Analysis (3) Tensor Calculus

02-22

Windows 下 VsCoq 配置踩坑记录（基于 wsl）

01-25

在 Agda 中定义演绎系统并进行定理证明