课程中的严格推导，比赛中的算法实现，研究中的阅读记录。
用上下和控制所有黎曼和：分割加细、可积判别的完整证明，以及例题、反例与练习。
比较三种线性表和两种双端队列的表示，实践栈、表达式与基数排序；附 C++17 参考实现、契约和边界测试。
从群作用出发整理轨道、稳定子、类方程与 Burnside 引理之间的关系。
系统整理图像滤波、特征提取、分割、几何与深度学习等计算机视觉核心主题。
输入关键词开始搜索。