ZFLean: a framework for set-level mathematics in Lean. ~ Vincent Trélat, Matteo Pouillat. arxiv.org/abs/2604.24195
@jalonso.eurosky.social
@jalonso.eurosky.socialZFLean: a framework for set-level mathematics in Lean. ~ Vincent Trélat, Matteo Pouillat. arxiv.org/abs/2604.24195
@jalonso.eurosky.socialFormally certifying the vertex set of a polyhedron faster than informal enumeration. ~ Xavier Allamigeon, Yazid Id-Sahra, Pierre-Yves Strub. arxiv.org/abs/2610.11913
@jalonso.eurosky.socialA Lean~4 framework for the radii polynomial method. ~ Fengyang Wang. arxiv.org/abs/2610.023...
@andreasreisbooks.bsky.socialDaily cozy math 🌙 How much is 66 + 64 − 36? Solution step by step in today's video - follow for a new puzzle every day. Free math tools: lern-digital.de #math #mentalmath #cozy
@fabricframes.bsky.social#Sold Oct8 #tellingtime #colorwheel #papercraft #Telling #Time #Clock Face #Color #Wheel Movable Hour Minute Hands #Printable $3 #TpT #IXL #sale #forsale 20% off #Oct9 #Oct10 #Oct11 2026 #math #teachers #kids #parents #school www.teacherspayteachers.com/Product/Tell...
@percybuttons3.mathstodon.xyz.ap.brid.gyProblem for October 9th from the 2026 AMS Daily Epsilon of Math Calendar
@DailyEpsilon
#math #maths #mathematics #mathstodon
@megamitts.bsky.socialEcho 9th October 2026
For more visit
www.instagram.com/echoesofthev...
#p5js #processing #shaderart #trigonometry #geometry #geometricart #art #monochrome #blackandwhite #mathart #math #lines #generativeart #algorithm #echo #scifi #scifiart #algorithmicart #shaders #moire
@paysmaths.bsky.social9 octobre 1581 : #CeJourLà naissance de Claude-Gaspard Bachet de Méziriac (†26/2/1638), mathématicien et poète français, auteur de récréations mathématiques, traducteur de Diophante.
buff.ly/zocuBm0
#mathématiques #maths #math
@douglashowland.bsky.socialI just finished my MAT 117 final with a 94%—only one question wrong. Across four math exams this term, I missed only two questions total. I put a lot of hours into this course, and I’m proud of how that work paid off. ☺️
@arxiv-daily-bot.bsky.socialOutperformance Inverse Optimization: Learning Objective Functions that Outperform Agent Decisions
Akira Kitaoka
#arXiv #cs.AI #math.OC #math.ST #stat.ML #stat.TH
@jeandeslunes.bsky.social
@lcapote1973.bsky.social
@fractalcurves.bsky.social
@blenderheadill.bsky.social
@sciencehumor-io.bsky.social
