algorithms Talk about Tree Chain Partition  /  Solution of HNOI2008 “玩具装箱”(P3195)  /  Solution of Codeforces372 C  /  Solution of USACO12OPEN G(P3067)
mit 18.x 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)  /  ……
program verification Theorem Proving & Program Verification by Coq