Computers in mathematical inquiry (2008)

by J Avigad
Venue:The Philosophy of Mathematical Practice