Latest threads

• $y=A \cos m x+B \sin m x$，$D_x^2 y+m^2 y=0$
• 将 LaTeX 宏（\lean, \leanok, \uses）与 Lean 声明关联，再由 plaTeX 渲染到 HTML
• Roth定理 存在三项成等差数列
• fat Cantor set
• 求递增函数使 $f(k+1)$ 与 $f(1),\dots,f(2k+1)$ 平均值之差的最小值最大化
• \( x^2 + 5y^2 = p \) 有整数解
• 倒演证明以fregier点相关的定角问题
• 3-variable inequality
• 齐次多项式 极化恒等式
• 两个函数有相同的导数