分类

知识 ⁵³

从单形到无穷范畴理论 类型论发展与思想综述 光滑流形上的定向与积分 （椭圆）模形式基本定义与结构 Universals and Limits 习题选做 更多 >>

杂物 ¹¹

记 MarkItDown 工具试用 天使与方格吞噬者问题的策略模拟 关于怀疑论的若干衡量 推荐一个 Markdown 转 PDF 的流程 关于高性能计算的混乱感想 更多 >>

项目 ¹

基于 Lua 的模拟环境