🏆 Congratulations to PhD researcher Orla O’Neill on winning the Judges’ Prize for the best research poster at the 2026 #UoRPhDConf!
#Mathematics #MathematicalResearch #PhDResearch #PhD
#Mathematics #MathematicalResearch #PhDResearch #PhD
September 16, 2026 at 12:05 PM
🏆 Congratulations to PhD researcher Orla O’Neill on winning the Judges’ Prize for the best research poster at the 2026 #UoRPhDConf!
#Mathematics #MathematicalResearch #PhDResearch #PhD
#Mathematics #MathematicalResearch #PhDResearch #PhD
At @icerm.bsky.social, @emilyriehl.bsky.social, Jonathan Weinberger, and I are organizing “Teaching Higher Category Theory with Computers,” using #sHoTT + #Rzk to teach ∞-category theory in practice.
Interested? Check this out👇
www.linkedin.com/posts/nimara...
(2/2)
Interested? Check this out👇
www.linkedin.com/posts/nimara...
(2/2)
#ai #formalization #icerm #ai #artificialintelligence #formalization #formalmethods #mathematics #math #puremathematics #mathematicalresearch #matheducation #education #stem #stemeducation… | Nima Ras...
✨🤖 AI ➡️ Formalization ➡️ Teaching Math 📚✨
There is a lot of discussion right now about how #AI 🤖 and #Formalization ✅ will shape the future of mathematical research 🧠📐
Shout-out to the exciting wor...
www.linkedin.com
July 8, 2026 at 11:11 AM
At @icerm.bsky.social, @emilyriehl.bsky.social, Jonathan Weinberger, and I are organizing “Teaching Higher Category Theory with Computers,” using #sHoTT + #Rzk to teach ∞-category theory in practice.
Interested? Check this out👇
www.linkedin.com/posts/nimara...
(2/2)
Interested? Check this out👇
www.linkedin.com/posts/nimara...
(2/2)
Higher-order affine Sobolev inequalities
Tristan Bullion-Gauthier
Paper
Details
#HigherOrderAffineSobolevInequalities #TristanBullionGauthier #MathematicalResearch
Tristan Bullion-Gauthier
Paper
Details
#HigherOrderAffineSobolevInequalities #TristanBullionGauthier #MathematicalResearch
June 24, 2025 at 9:03 AM
Higher-order affine Sobolev inequalities
Tristan Bullion-Gauthier
Paper
Details
#HigherOrderAffineSobolevInequalities #TristanBullionGauthier #MathematicalResearch
Tristan Bullion-Gauthier
Paper
Details
#HigherOrderAffineSobolevInequalities #TristanBullionGauthier #MathematicalResearch