Computers in mathematical inquiry (2008)

by J Avigad
Venue:in The Philosophy of Mathematical Practice