可靠计算系统 - 基本概念
可靠计算系统设计分析与验证（Design, Analysis and Validation of Reliable Computing Systems）课程笔记，内容对应 Sessions 1-2：Basic Concepts
密码学数学基础 - 整数模与算术基本定理
密码学数学基础 笔记 3：从对加减法封闭的整数集合出发，证明素因数分解的唯一性，再讨论最大公因数与最小公倍数
密码学数学基础 - 欧几里得算法
密码学数学基础 笔记 2：欧几里得算法及其变形、Bézout 等式，以及线性丢番图方程的求解
密码学数学基础 - 整除与素数
密码学数学基础 笔记 1：从带余除法出发，讨论整除、素因数分解的存在性，以及素数的数量与筛法
数值分析 - 常微分方程
数值分析 笔记 8
数值分析 - 数值微分与数值积分
数值分析 笔记 7
数值分析 - 函数逼近与函数插值
数值分析 笔记 6
数值分析 - 特征值
数值分析 笔记 5
数值分析 - 迭代解方程组
数值分析 笔记 4
数值分析 - 线性方程组
数值分析 笔记 3