## Computers in mathematical inquiry (2008)

by
Jeremy Avigad

Venue: | in The Philosophy of Mathematical Practice |

Citations: | 3 - 0 self |