Spahn Alexandre Miquel

website

Output

The experimental effectiveness of mathematical proof, pdf