Latest threads

• Dimension of Symmetric Matrix Space
• 凸五面体仅有两种可能——四棱锥或三棱柱
• 四面体六条棱长条件
• 两条有理二次曲线的交点均有理的条件
• $P(x)=x^4+4px^3-4qx-1$有重根的条件$(p+q)^{2/3}-(p-q)^{2/3}=1$
• 一个不定方程的求解
• 平行证切线
• 自动生成-站点的技术文档
• 椭圆及其倒焦线的定角结论
• 撰写 Lean 证明脚本