Latest threads

• LeanSearch优化用户输入的查询
• 证明过程生成层次化的 HTML 文档
• 证明乘积$\inZ$
• Geometry Center在 UBC 服务器上的资源页面
• 构造具有$n$个正实根且不可约的首一整系数$n$次多项式
• 模群 ${\rm PSL}_2 (\mathbb{Z})$ 是自动群
• Covering space of $S^1\vee S^1$
• The fundamental group of the circle is ℤ
• 已知$a^2+b≥0，a^2-b≤0$，能推导出$a=0，b=0$吗
• 一个函数极值点的等价定理证明