Algorithmic foundations for exact discrete probabilistic reasoning
By Steven Holtzen
The Body of Proof: How Inscriptions Shape Mathematical Discovery
By Shadab Tabatabaeian
Transforming numbers – Why is arithmetic geometry geometry?
By Colin McLarty , José Ferreiros , Kim Minhyong