calculus Notes on MIT 18.01.3 Calculus IC (Unit1 Coordinate Systems)  /  Notes on MIT 18.01.2 Calculus IB (Unit4 Integration Techniques)  /  Notes on MIT 18.01.2 Calculus IB (Unit3 Application)  /  Notes on MIT 18.01.2 Calculus IB (Unit2 Integration Theory)  /  Notes on MIT 18.01.2 Calculus IB (Unit1 Integral)  /  Notes on MIT 18.01.1 Calculus IA (Unit4 Application)  /  Notes on MIT 18.01.1 Calculus IA (Unit3 Approximation)  /  Notes on MIT 18.01.1 Calculus IA (Unit2 Differentiation)  / …
codeforces Solution of Codeforces372 C
coq Theorem Proving & Program Verification by Coq
dp Solution of HNOI2008 “玩具装箱”(P3195)  /  Solution of Codeforces372 C
graph theory Talk about Tree Chain Partition
hnoi Solution of HNOI2008 “玩具装箱”(P3195)
index Posts
mathematics Notes on MIT 18.01.3 Calculus IC (Unit1 Coordinate Systems)  /  Notes on MIT 18.01.2 Calculus IB (Unit4 Integration Techniques)  /  Notes on MIT 18.01.2 Calculus IB (Unit3 Application)  /  Notes on MIT 18.01.2 Calculus IB (Unit2 Integration Theory)  /  Notes on MIT 18.01.2 Calculus IB (Unit1 Integral)  /  Notes on MIT 18.01.1 Calculus IA (Unit4 Application)  /  Notes on MIT 18.01.1 Calculus IA (Unit3 Approximation)  /  Notes on MIT 18.01.1 Calculus IA (Unit2 Differentiation)  / …
note Notes on MIT 18.01.3 Calculus IC (Unit1 Coordinate Systems)  /  Notes on MIT 18.01.2 Calculus IB (Unit4 Integration Techniques)  /  Notes on MIT 18.01.2 Calculus IB (Unit3 Application)  /  Notes on MIT 18.01.2 Calculus IB (Unit2 Integration Theory)  /  Notes on MIT 18.01.2 Calculus IB (Unit1 Integral)  /  Notes on MIT 18.01.1 Calculus IA (Unit4 Application)  /  Notes on MIT 18.01.1 Calculus IA (Unit3 Approximation)  /  Notes on MIT 18.01.1 Calculus IA (Unit2 Differentiation)  / …
solution Solution of HNOI2008 “玩具装箱”(P3195)  /  Solution of Codeforces372 C  /  Solution of USACO12OPEN G(P3067)
tutorial Talk about Tree Chain Partition  /  Theorem Proving & Program Verification by Coq
usaco Solution of USACO12OPEN G(P3067)