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