Latest threads

• Kahn算法：处理节点依赖实现排序
• 数列裂项有一般的方法吗
• 有限域正规基：可对角化与不可对角化情形
• 证明指数函数线性无关
• 推广Eisenstein判别法
• 探索数学定理依赖网站：TheoremDep
• 从模 $m$ 不可约性推出整数环上的不可约性
• 这个结论是错的吧
• any finite p-group is nilpotent
• 2025年“剑邑杯”中国东南地区数学夏令营