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 ℤ