All
Articles 144,468Blog Posts 147,112Tech Tutorials 37,587Research Papers 28,007News 19,904
⚡ AI Lessons
ArXiv cs.AI
🔢 Mathematical Foundations
📄 Paper
⚡ AI Lesson
4w ago
Tangent classes of matroids and wonderful compactifications
arXiv:2607.05835v1 Announce Type: cross Abstract: For every loopless matroid $M$ and every Feichtner--Yuzvinsky building set $\mathcal{G}$ containing the top fl
ArXiv cs.AI
🔢 Mathematical Foundations
📄 Paper
⚡ AI Lesson
2mo ago
Every finite group admits a just finite presentation
arXiv:2605.10402v1 Announce Type: cross Abstract: A finite presentation of a finite group is called `just finite' if removing any relation from R results in a p
ArXiv cs.AI
🔢 Mathematical Foundations
📄 Paper
⚡ AI Lesson
3mo ago
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
arXiv:2604.23468v2 Announce Type: cross Abstract: In 2016, Viazovska famously solved the sphere packing problem in dimension $8$, using modular forms to constru
DeepCamp AI