这里的条目一般都是不适合成文的小段证明或者算法,其中有些和我的研究方向有关,有些则纯粹是兴趣。因为我个人不喜欢TeX,所以都是HTML页面。视具体情况,可能会用英文。顺便说一句,虽然标题写的是「算法与证明」,但这两者其实是一回事。

下面是一个简要的目录,我尝试着在标题中把证明或者算法的内容简短地表达出来,但看上去这是一件相当困难的任务。

线性代数

形式语言与自动机

逻辑