Latest threads

• Brouwer不动点定理
• 地球上总有一组对跖点气温和气压都相同
• 四条一般位置的直线有两条横截线
• LeanSearch优化用户输入的查询
• 证明过程生成层次化的 HTML 文档
• 证明乘积$\inZ$
• Geometry Center在 UBC 服务器上的资源页面
• 构造具有$n$个正实根且不可约的首一整系数$n$次多项式
• 模群 ${\rm PSL}_2 (\mathbb{Z})$ 是自动群
• Covering space of $S^1\vee S^1$