12月 21

Introduction to Type Theory and Machine Proof

12月 7

四维计算机图形学：建模篇

11月 17

Introduction to Axiomatic Set Theory

8月 25

Introduction to Googology

6月 10

Four-Dimensional World (10): Rotational Dynamics

5月 21

四维计算机图形学：旋转篇

1月 10

4D Computer Graphics: Rendering