#ExperimentalMath
I'm delighted that Giulia Codenotti has joined the editorial board at #ExperimentalMath . Giulia is an expert in discrete #geometry at @freieuniversitaet.bsky.social
Giulia Codenotti's webpage
codenotti.github.io
August 15, 2025 at 4:50 PM
"Short, Highly Imprimitive Words Yield Hyperbolic One-Relator Groups" by Christopher Cashen and Charlotte Hoffmann. #ExperimentalMath #GroupTheory #MathSky
Short, Highly Imprimitive Words Yield Hyperbolic One-Relator Groups
We give experimental support for a conjecture of Louder and Wilton saying that words of imprimitivity rank greater than two yield hyperbolic one-relator groups.
www.tandfonline.com
July 24, 2025 at 4:25 PM
I'm delighted that Jonathan Spreer has joined the editorial board at #ExperimentalMath . Jonathan is an expert in #topology at @sydneymathsstats.bsky.social
Jonathan Spreer
Dr Jonathan Spreer Associate Professor Address: School of Mathematics and Statistics F07 The University of Sydney NSW 2006 Australia Office: Carslaw Building, Room 623 Email:…
sites.google.com
August 20, 2025 at 8:25 AM
"Minimal Nonsolvable Bieberbach Groups" by R. Lutowski and A. Szczepański. #ExperimentalMath #GroupTheory #MathSky
Minimal Nonsolvable Bieberbach Groups
Several authors have shown that there exist nonsolvable Bieberbach groups of dimension 15. In this paper, we show that this is, in fact, a minimal dimension for such groups.
www.tandfonline.com
October 29, 2025 at 9:25 AM
"Schemes in Lean" by Kevin Buzzard @xenaproject.bsky.social , Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández, and Scott Morrison. #ExperimentalMath #Lean #ProofAssistant #MathSky
Schemes in Lean
We tell the story of how schemes were formalized in three different ways in the Lean theorem prover.
www.tandfonline.com
May 12, 2025 at 4:58 PM
"The Generators of a Colon Ideal with an Application to the Weak Lefschetz Property for Monomial Almost Complete Intersections in Three Variables" by Matthew Davidson Booth and Adela Vraciu. #ExperimentalMath #MathSky #CommutativeAlgebra

www.tandfonline.com/doi/full/10....
The Generators of a Colon Ideal with an Application to the Weak Lefschetz Property for Monomial Almost Complete Intersections in Three Variables
Much progress has been made in classifying when the weak Lefschetz property holds for A=F[x,y,z]/I where char(F)=0 and I=(xd1,yd2,zd3,xa1ya2za3) is a monomial almost complete intersection. We conne...
www.tandfonline.com
September 16, 2026 at 8:25 AM
"The Unknotting Number, Hard Unknot Diagrams, and Reinforcement Learning" by Taylor Applebaum, Sam Blackwell, Alex Davies, Thomas Edlich, András Juhász, Marc Lackenby, Nenad Tomašev, and Daniel Zheng. #ExperimentalMath #KnotTheory #AI #DeepMind #MathSky
The Unknotting Number, Hard Unknot Diagrams, and Reinforcement Learning
We have developed a reinforcement learning agent that often finds a minimal sequence of unknotting crossing changes for a knot diagram with up to 200 crossings, hence giving an upper bound on the unknotting number. We have used this to determine the unknotting number of 57k knots. We took diagrams of connected sums of such knots with oppositely signed signatures, where the summands were overlaid. The agent has found examples where several of the crossing changes in an unknotting collection of crossings result in hyperbolic knots. Based on this, we have shown that, given knots K and K' that satisfy some mild assumptions, there is a diagram of their connected sum and u(K)+u(K') unknotting crossings such that changing any one of them results in a prime knot. As a by-product, we have obtained a dataset of 2.6 million distinct hard unknot diagrams; most of them under 35 crossings. Assuming the additivity of the unknotting number, we have determined the unknotting number of 43 at most 12-crossing knots for which the unknotting number is unknown.
www.tandfonline.com
December 17, 2025 at 5:44 PM
I'm delighted that Johan Commelin has joined the editorial board at #ExperimentalMath . Johan is an expert in #arithmeticgeometry with an interest in the formalisation of mathematics, and a member of Utrecht University and the #Lean FRO.
Johan Commelin
I work part-time as universitair docent (assistant professor) at Utrecht University, and part time at the Lean FRO. My main interests lie in arithmetic geometry and formalization of mathematics. From…
math.commelin.net
August 13, 2025 at 4:44 PM